Dear all,
I'm still adjusting the web publishing of org, for I got a little confused about one line:
Here is my configuration for publishing:
--------
:style "
<link rel=\"icon\" href="" type=\"image/x-icon\">
<link rel=\"shortcut icon\" href="">
<link rel=\"stylesheet\" href="" type=\"text/css\"> </link>
<script type=\"text/_javascript_\" src="">
"
-----------
But as I published
foo.org to foo.html, and check the html file, I found what is actually there is
----
<style type="text/css">
<!--/*--><![CDATA[/*><!--*/
html { font-family: Times, serif; font-size: 12pt; }
.title { text-align: center; }
.todo { color: red; }
.done { color: green; }
.tag { background-color: #add8e6; font-weight:normal }
.target { }
.timestamp { color: #bebebe; }
.timestamp-kwd { color: #5f9ea0; }
p.verse { margin-left: 3% }
pre {
border: 1pt solid #AEBDCC;
background-color: #F3F5F7;
padding: 5pt;
font-family: courier, monospace;
font-size: 90%;
overflow:auto;
}
table { border-collapse: collapse; }
td, th { vertical-align: top; }
dt { font-weight: bold; }
div.figure { padding: 0.5em; }
div.figure p { text-align: center; }
.linenr { font-size:smaller }
.code-highlighted {background-color:#ffff00;}
.org-info-js_info-navigation { border-style:none; }
#org-info-js_console-label { font-size:10px; font-weight:bold;
white-space:nowrap; }
.org-info-js_search-highlight {background-color:#ffff00; color:#000000;
font-weight:bold; }
/*]]>*/-->
</style>
<link rel="icon" href="" type="image/x-icon">
<link rel="shortcut icon" href="">
<link rel="stylesheet" href="" type="text/css"> </link> ONLY This part is in my CONF file
<script type="text/_javascript_" src="">
<script type="text/_javascript_" src="" href="http://orgmode.org/org-" target="_blank">http://orgmode.org/org-info.js"></script>
<script type="text/_javascript_" >
<!--/*--><![CDATA[/*><!--*/
org_html_manager.set("TOC_DEPTH", "3");
org_html_manager.set("LINK_HOME", "index.html");
org_html_manager.set("LINK_UP", "index.html");
org_html_manager.set("LOCAL_TOC", "0");
org_html_manager.set("VIEW_BUTTONS", "0");
org_html_manager.set("MOUSE_HINT", "underline");
org_html_manager.set("FIXED_TOC", "0");
org_html_manager.set("TOC", "0");
org_html_manager.set("VIEW", "overview");
org_html_manager.setup(); // activate after the parameters are set
/*]]>*///-->
</script>
<script type="text/_javascript_">
<!--/*--><![CDATA[/*><!--*/
function CodeHighlightOn(elem, id)
{
var target = document.getElementById(id);
if(null != target) {
elem.cacheClassElem = elem.className;
elem.cacheClassTarget = target.className;
target.className = "code-highlighted";
elem.className = "code-highlighted";
}
}
function CodeHighlightOff(elem, id)
{
var target = document.getElementById(id);
if(elem.cacheClassElem)
elem.className = elem.cacheClassElem;
if(elem.cacheClassTarget)
target.className = elem.cacheClassTarget;
}
/*]]>*///-->
</script>
--------------------------------
So where does other part of the style come from, and is it possible to control these styles?
All the best,
Chao