Initial commit

doc/js/toc.js

@@ -0,0 +1,40 @@
+var toctitle = document.getElementById('toctitle');
+var path = window.location.pathname;
+if (toctitle != null) {
+    var oldtoc = toctitle.nextElementSibling;
+    var newtoc = document.createElement('div');
+    newtoc.setAttribute('id', 'tocbot');
+    newtoc.setAttribute('class', 'js-toc desktop-toc');
+    oldtoc.setAttribute('class', 'mobile-toc');
+    oldtoc.parentNode.appendChild(newtoc);
+    tocbot.init({
+        contentSelector: '#content',
+        headingSelector: 'h1, h2, h3, h4',
+        positionFixedSelector: 'body',
+        fixedSidebarOffset: 90,
+        smoothScroll: false
+    });
+    if (!path.endsWith("index.html") && !path.endsWith("/")) {
+        var link = document.createElement("a");
+        if (document.getElementById('index-link')) {
+            indexLinkElement = document.querySelector('#index-link > p > a');
+            linkHref = indexLinkElement.getAttribute("href");
+            link.setAttribute("href", linkHref);
+        } else {
+            link.setAttribute("href", "index.html");
+        }
+        link.innerHTML = "<span><i class=\"fa fa-chevron-left\" aria-hidden=\"true\"></i></span> Back to index";
+        var block = document.createElement("div");
+        block.setAttribute('class', 'back-action');
+        block.appendChild(link);
+        var toc = document.getElementById('toc');
+        var next = document.getElementById('toctitle').nextElementSibling;
+        toc.insertBefore(block, next);
+    }
+}
+
+var headerHtml = '';
+
+var header = document.createElement("div");
+header.innerHTML = headerHtml;
+document.body.insertBefore(header, document.body.firstChild);

doc/js/tocbot/tocbot.css

@@ -0,0 +1 @@
+.toc{overflow-y:auto}.toc>.toc-list{overflow:hidden;position:relative}.toc>.toc-list li{list-style:none}.toc-list{margin:0;padding-left:10px}a.toc-link{color:currentColor;height:100%}.is-collapsible{max-height:1000px;overflow:hidden;transition:all 300ms ease-in-out}.is-collapsed{max-height:0}.is-position-fixed{position:fixed !important;top:0}.is-active-link{font-weight:700}.toc-link::before{background-color:#EEE;content:' ';display:inline-block;height:inherit;left:0;margin-top:-1px;position:absolute;width:2px}.is-active-link::before{background-color:#54BC4B}