diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-11 18:48:55 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:05 +0100 |
| commit | 1b75246cb65fd484cb9b0a0b167a6f01b22c02de (patch) | |
| tree | babe8eb77fa8a59f5702150c41e835a6d2108425 /doc-tool/resources | |
| parent | 48db40565b84ac4a3181bdc95533d28180edb10b (diff) | |
| download | dotty-1b75246cb65fd484cb9b0a0b167a6f01b22c02de.tar.gz dotty-1b75246cb65fd484cb9b0a0b167a6f01b22c02de.tar.bz2 dotty-1b75246cb65fd484cb9b0a0b167a6f01b22c02de.zip | |
Better naming in doc layout
Diffstat (limited to 'doc-tool/resources')
| -rw-r--r-- | doc-tool/resources/_layouts/doc.html | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc-tool/resources/_layouts/doc.html b/doc-tool/resources/_layouts/doc.html index cf66225d7..4c31d1e88 100644 --- a/doc-tool/resources/_layouts/doc.html +++ b/doc-tool/resources/_layouts/doc.html @@ -11,14 +11,14 @@ layout: main <a class="title" href="#">API</a> </li> {% endif %} - {% for item in docs %} + {% for pkg in docs %} <li class="index-entity entity-package"> - <a href="#">{{ item.name }}</a> + <a href="#">{{ pkg.name }}</a> </li> - {% for child in item.members %} - {% if child.kind != "package" %} + {% for member in pkg.members %} + {% if member.kind != "package" %} <li class="index-entity"> - <a href="#">{{ child.kind }} {{ child.name }}</a> + <a href="#">{{ member.kind }} {{ member.name }}</a> </li> {% endif %} {% endfor %} @@ -26,8 +26,8 @@ layout: main </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 id="menu-toggle" onclick="toggleMenu()"> + <i class="fa fa-bars" aria-hidden="true"></i> </div> {{ content }} </div> |