Document dottydoc capabilities, add anchored headers

1 files changed, 49 insertions, 0 deletions

diff --git a/doc-tool/resources/_layouts/sidebar.html b/doc-tool/resources/_layouts/sidebar.html
new file mode 100644
index 000000000..b3947c884
--- /dev/null
+++ b/doc-tool/resources/_layouts/sidebar.html
@@ -0,0 +1,49 @@
+---
+layout: main
+---
+
+<div id="content-wrapper">
+    <div class="index-wrapper">
+        {% include "toc" %}
+        <ul class="index-entities">
+        {% if docs.size > 0 %}
+        <li class="index-title">
+            <span>API</span>
+        </li>
+        {% endif %}
+        {% for pkg in docs %}
+            <li class="index-entity entity-package">
+                <a class="entity-name" href="{{ site.baseurl }}/api/{{ pkg.path | join: "/" }}/index.html">{{ pkg.name }}</a>
+            </li>
+            {% for member in pkg.children %}
+                {% if member.kind == "object" and member.hasCompanion %}
+                {% elsif member.kind != "package" %}
+                <li class="index-entity {% if member.hasCompanion %} with-companion {% endif %}">
+                    <div class="entity-kinds">
+                        {% if member.hasCompanion %}
+                        <a class="letter-anchor object" href="{{ site.baseurl }}/api/{{ member.companionPath | join: "/" }}.html">O</a>
+                        {% endif %}
+                        <a class="letter-anchor {{ member.kind }}" href="{{ site.baseurl }}/api/{{ member.path | join: "/" }}.html">{{ member.kind | first | capitalize }}</a>
+                    </div>
+                    <a class="entity-name" href="{{ site.baseurl }}/api/{{ member.path | join: "/" }}.html">{{ member.name }}</a>
+                </li>
+                {% endif %}
+            {% endfor %}
+        {% endfor %}
+        </ul>
+    </div>
+    <div id="content-body">
+        <div id="menu-toggle" onclick="toggleMenu()">
+            <i class="fa fa-bars" aria-hidden="true"></i>
+        </div>
+        {{ content }}
+    </div>
+</div>
+
+
+<script>
+function toggleMenu() {
+    var wrapper = document.getElementById("content-wrapper");
+    wrapper.classList.toggle("toggled");
+}
+</script>