Add docs nav and side nav

[web.git] / _includes / top_nav.html

diff --git a/_includes/top_nav.html b/_includes/top_nav.html
index 2aa702487ca85690f8f863fa6457b3aa063cfe3b..981e58273f15800b883aebd322001d894590f3c6 100644 (file)
--- a/_includes/top_nav.html
+++ b/_includes/top_nav.html
@@ -4,5 +4,5 @@
 <li{% if page.url == '/development.html' %} class="active"{% endif %}><a href="{{ site.prefix }}development.html">Development</a></li>
 <li{% if page.url == '/todo.html' %} class="active"{% endif %}><a href="{{ site.prefix }}todo.html">Todo</a></li>
 <li{% if page.url == '/downloads.html' %} class="active"{% endif %}><a href="{{ site.prefix }}downloads.html">Downloads</a></li>
-<li{% if page.url == '/docs/' %} class="active"{% endif %}><a href="{{ site.prefix }}docs/index.html">Documentation</a></li>
+<li{% if page.url contains '/docs/' %} class="active"{% endif %}><a href="{{ site.prefix }}docs/index.html">Documentation</a></li>
 <li{% if page.url == '/about.html' %} class="active"{% endif %}><a href="{{ site.prefix }}about.html">About</a></li>