/* 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); } (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); })();