diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-12 14:40:51 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:07 +0100 |
| commit | 3e16bfd9c32d965820121abc0083e8db94537821 (patch) | |
| tree | e8a1c6f4208fb71aba521cb945d0c0a02ce262f7 /doc-tool/resources/_includes/toc.html | |
| parent | 3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052 (diff) | |
| download | dotty-3e16bfd9c32d965820121abc0083e8db94537821.tar.gz dotty-3e16bfd9c32d965820121abc0083e8db94537821.tar.bz2 dotty-3e16bfd9c32d965820121abc0083e8db94537821.zip | |
Add scala-logo svg
Diffstat (limited to 'doc-tool/resources/_includes/toc.html')
| -rw-r--r-- | doc-tool/resources/_includes/toc.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc-tool/resources/_includes/toc.html b/doc-tool/resources/_includes/toc.html index 88113d2f0..8f3b1e222 100644 --- a/doc-tool/resources/_includes/toc.html +++ b/doc-tool/resources/_includes/toc.html @@ -1,8 +1,16 @@ {% assign parent = page.path | first %} <ul class="toc"> <li> + <a id="home-button" href="{{ site.baseurl }}/index.html"> + {% include "scala-logo.html" %} + </a> + </li> + <li> <a href="{{ site.baseurl }}/blog/index.html">Blog</a> </li> + <li class="toc-title"> + <a href="{{ site.baseurl }}/docs/index.html">Docs</a> + </li> <li> <a class="toggle-children" onclick="tocToggleChild('usage')">Usage</a> <ul id="usage" class="{% if parent == "usage" %} show {% else %} hide {% endif %}"> |