mkdocs/custom_theme/partials/toc.html

{#-
  This file was automatically generated - do not edit
-#}
{% import "partials/language.html" as lang with context %}
<nav class="md-nav md-nav--secondary">
  {% set toc_ = page.toc %}
  {% if toc_ | first is defined and "\x3ch1 id=" in page.content %}
    {% set toc_ = (toc_ | first).children %}
  {% endif %}
  {% if toc_ | first is defined %}
    <label class="md-nav__title" for="__toc">{{ lang.t("toc.title") }}</label>
    <ul class="md-nav__list" data-md-scrollfix>
      {% for toc_item in toc_ %}
        {% include "partials/toc-item.html" %}
      {% endfor %}
      {% if page.meta.source and page.meta.source | length > 0 %}
        <li class="md-nav__item">
          <a href="#__source" title="{{ lang.t('meta.source') }}" class="md-nav__link md-nav__link--active">
            {{ lang.t("meta.source") }}
          </a>
        </li>
      {% endif %}
      {% set disqus = config.extra.disqus %}
      {% if page and page.meta and page.meta.disqus is string %}
        {% set disqus = page.meta.disqus %}
      {% endif %}
      {% if not page.is_homepage and disqus %}
        <li class="md-nav__item">
          <a href="#__comments" title="{{ lang.t('meta.comments') }}" class="md-nav__link md-nav__link--active">
            {{ lang.t("meta.comments") }}
          </a>
        </li>
      {% endif %}
    </ul>
  {% endif %}
  {% if page.is_homepage %}
  <p></p>
  <a class="twitter-timeline" href="https://twitter.com/EclipseEpsilon?ref_src=twsrc%5Etfw">Epsilon on Twitter</a> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
  {% endif %}
</nav>