Javascript to generate TOCs

1 files changed, 31 insertions, 0 deletions

diff --git a/static/js/toc.js b/static/js/toc.js
new file mode 100644
index 0000000..5fbba70
--- /dev/null
+++ b/static/js/toc.js
@@ -0,0 +1,31 @@
+function createToc(pages) {
+    var tdiv = document.getElementById("toc");
+    if (tdiv)
+    {
+        var a = tdiv.appendChild(document.createElement('span'));
+	    // a.onclick = showhideToc;
+	    a.id = 'contentheader';
+	    a.innerHTML = 'Contents';
+
+        var ldiv = tdiv.appendChild(document.createElement('ul'));
+        ldiv.id = 'innertoc';
+
+        for (key in pages) {
+            var link = ldiv.appendChild(document.createElement('li')).appendChild(document.createElement('a'));
+            link.innerHTML = pages[key];
+            link.className = 'tocLink';
+            link.href = '#' + key;
+        }
+
+        // showhideToc();
+    }
+}
+
+var TocState = 'none';
+
+function showhideToc() {
+	TocState = (TocState == 'none') ? 'block' : 'none';
+	var newText = (TocState == 'none') ? 'show page contents' : 'hide page contents';
+	document.getElementById('contentheader').innerHTML = newText;
+	document.getElementById('innertoc').style.display = TocState;
+}