diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-10 17:53:05 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:05 +0100 |
commit | 48db40565b84ac4a3181bdc95533d28180edb10b (patch) | |
tree | 2b1454ae3bd6df01e4ac827cf57ee51d40d5327b /doc-tool/resources/_layouts/doc.html | |
parent | 7b3588fbff791679fc82c4fe21085eb97a97cf0a (diff) | |
download | dotty-48db40565b84ac4a3181bdc95533d28180edb10b.tar.gz dotty-48db40565b84ac4a3181bdc95533d28180edb10b.tar.bz2 dotty-48db40565b84ac4a3181bdc95533d28180edb10b.zip |
Add initial defaults to page generation
Diffstat (limited to 'doc-tool/resources/_layouts/doc.html')
-rw-r--r-- | doc-tool/resources/_layouts/doc.html | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/doc-tool/resources/_layouts/doc.html b/doc-tool/resources/_layouts/doc.html new file mode 100644 index 000000000..cf66225d7 --- /dev/null +++ b/doc-tool/resources/_layouts/doc.html @@ -0,0 +1,42 @@ +--- +layout: main +--- + +<div id="content-wrapper"> + <div class="index-wrapper"> + {% include "toc" %} + <ul class="index-entities"> + {% if docs.size > 0 %} + <li class="index-entity"> + <a class="title" href="#">API</a> + </li> + {% endif %} + {% for item in docs %} + <li class="index-entity entity-package"> + <a href="#">{{ item.name }}</a> + </li> + {% for child in item.members %} + {% if child.kind != "package" %} + <li class="index-entity"> + <a href="#">{{ child.kind }} {{ child.name }}</a> + </li> + {% endif %} + {% endfor %} + {% endfor %} + </ul> + </div> + <div id="content-body"> + <div id="top-drawer"> + <a href="#menu-toggle" id="menu-toggle" onclick="toggleMenu()"><i class="fa fa-bars" aria-hidden="true"></i></a> + </div> + {{ content }} + </div> +</div> + + +<script> +function toggleMenu() { + var wrapper = document.getElementById("content-wrapper"); + wrapper.classList.toggle("toggled"); +} +</script> |