diff --git a/theme/toc.html b/theme/toc.html index 31941fc8ae..a7d4d8a438 100644 --- a/theme/toc.html +++ b/theme/toc.html @@ -1,40 +1,18 @@ {# loop through all navigation items #} -{# if the current item has children #} -{% if nav_item.children %} - {# if the current item title does not start with _ #} - {% if not nav_item.title.startswith("_") %} + +{# if the current item title does not start with _ #} +{% if not nav_item.title.startswith("_") %} + {# if the current item has children #} + {% if nav_item.children %}
- {# if current page title is _Tools #} - {% elif nav_item.title == "_Tools" %} - {% if current_page and current_page.title == "Tools" %} - - {% else %} - {% if current_page and current_page.ancestors %} - {% for doc in current_page.ancestors %} - {% if nav_item.title == doc.title %} - - {% endif %} - {% endfor %} - {% endif %} - {% endif %} - {% endif %} -{# if the current item does not have children #} -{% else %} - {# if the current item title does not start with _ #} - {% if not nav_item.title.startswith("_") %} + {# if the current item does not have children #} + {% else %}