diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index f0e6b50b..c68a09fb 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -18,15 +18,22 @@

{{ site.description | default: site.github.project_tagline }}

- {% if site.nav %} + + {% if page.url == "/" %} + Quick start
+ {% else %} Quick start
+ {% endif %} + {% for item in site.nav %} - {{ item.title }}
+ {% if page.url contains item.url %} + {{ item.title }}
+ {% else %} + {{ item.title }}
+ {% endif %} {% endfor %} - {% endif %} - {% if site.github.is_project_page %} + Code - {% endif %}