{# TODO: This is a bit of a hack. We don't want to refer to the file specifically. #}
{% include "nav.html" %}
    {% 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 %}
{% if meta.source %} {% for filename in meta.source %} {{ filename }} {% endfor %} {% endif %} {{ content }}