2009-08-25 16:23:01 +02:00
|
|
|
/* Author: Mihai Bazon, September 2002
|
|
|
|
* http://students.infoiasi.ro/~mishoo
|
|
|
|
*
|
|
|
|
* Table Of Content generator
|
|
|
|
* Version: 0.4
|
|
|
|
*
|
|
|
|
* Feel free to use this script under the terms of the GNU General Public
|
|
|
|
* License, as long as you do not remove or alter this notice.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* modified by Troy D. Hanson, September 2006. License: GPL */
|
|
|
|
/* modified by Stuart Rackham, October 2006. License: GPL */
|
|
|
|
|
|
|
|
function getText(el) {
|
|
|
|
var text = "";
|
|
|
|
for (var i = el.firstChild; i != null; i = i.nextSibling) {
|
|
|
|
if (i.nodeType == 3 /* Node.TEXT_NODE */) // IE doesn't speak constants.
|
|
|
|
text += i.data;
|
|
|
|
else if (i.firstChild != null)
|
|
|
|
text += getText(i);
|
|
|
|
}
|
|
|
|
return text;
|
|
|
|
}
|
|
|
|
|
|
|
|
function TocEntry(el, text, toclevel) {
|
|
|
|
this.element = el;
|
|
|
|
this.text = text;
|
|
|
|
this.toclevel = toclevel;
|
|
|
|
}
|
|
|
|
|
|
|
|
function tocEntries(el, toclevels) {
|
|
|
|
var result = new Array;
|
|
|
|
var re = new RegExp('[hH]([2-'+(toclevels+1)+'])');
|
|
|
|
// Function that scans the DOM tree for header elements (the DOM2
|
|
|
|
// nodeIterator API would be a better technique but not supported by all
|
|
|
|
// browsers).
|
|
|
|
var iterate = function (el) {
|
|
|
|
for (var i = el.firstChild; i != null; i = i.nextSibling) {
|
|
|
|
if (i.nodeType == 1 /* Node.ELEMENT_NODE */) {
|
|
|
|
var mo = re.exec(i.tagName)
|
|
|
|
if (mo)
|
|
|
|
result[result.length] = new TocEntry(i, getText(i), mo[1]-1);
|
|
|
|
iterate(i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
iterate(el);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
// This function does the work. toclevels = 1..4.
|
|
|
|
function generateToc(toclevels) {
|
|
|
|
var toc = document.getElementById("toc");
|
|
|
|
var entries = tocEntries(document.getElementsByTagName("body")[0], toclevels);
|
|
|
|
for (var i = 0; i < entries.length; ++i) {
|
|
|
|
var entry = entries[i];
|
|
|
|
if (entry.element.id == "")
|
|
|
|
entry.element.id = "toc" + i;
|
|
|
|
var a = document.createElement("a");
|
|
|
|
a.href = "#" + entry.element.id;
|
|
|
|
a.appendChild(document.createTextNode(entry.text));
|
|
|
|
var div = document.createElement("div");
|
|
|
|
div.appendChild(a);
|
|
|
|
div.className = "toclevel" + entry.toclevel;
|
|
|
|
toc.appendChild(div);
|
|
|
|
}
|
|
|
|
if (entries.length == 0)
|
|
|
|
document.getElementById("header").removeChild(toc);
|
|
|
|
}
|
2009-09-23 00:46:56 +02:00
|
|
|
|
|
|
|
(function() {
|
|
|
|
var includes = ['sh_main.js', 'sh_javascript.min.js', 'sh_vim-dark.css'];
|
|
|
|
var head = document.getElementsByTagName("head")[0];
|
|
|
|
|
|
|
|
for (var i = 0; i < includes.length; i ++) {
|
|
|
|
var ext = includes[i].match(/\.([^.]+)$/);
|
|
|
|
switch (ext[1]) {
|
|
|
|
case 'js':
|
|
|
|
var element = document.createElement('script');
|
|
|
|
element.type = 'text/javascript';
|
|
|
|
element.src = includes[i];
|
|
|
|
break;
|
|
|
|
case 'css':
|
|
|
|
var element = document.createElement('link');
|
|
|
|
element.type = 'text/css';
|
|
|
|
element.rel = 'stylesheet';
|
|
|
|
element.media = 'screen';
|
|
|
|
element.href = includes[i];
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
head.appendChild(element);
|
|
|
|
}
|
|
|
|
var i = setInterval(function () {
|
|
|
|
if (window["sh_highlightDocument"]) {
|
|
|
|
sh_highlightDocument();
|
|
|
|
clearInterval(i);
|
|
|
|
}
|
|
|
|
}, 100);
|
|
|
|
})();
|