{# TODO: This is a bit of a hack. We don't want to refer to the file specifically. #}
{% include "nav.html" %}
×
Documentation search
{% for toc_item in toc %}
{{ toc_item.title }}
{% for toc_item in toc_item.children %}
{{ toc_item.title }}
{% endfor %} {% endfor %} {# TODO: This is a bit of a hack. We don't want to refer to the file specifically. #} {% if current_page.input_path == 'index.md' %}
{% endif %}
{{ content }}