{% block navbartoc %} {% include "globaltoc.html" %} {% endblock %} {% if theme_navbar_links %} {%- for link in theme_navbar_links %} {%- if link[1] is string %}
• {{ link[0] }}
{%- else %}
• {{ link[0] }}
  {%- for child in link[1] %}
  • {{ child[0] }}
  {%- endfor %}
{%- endif %} {%- endfor %} {% endif %}
• GitLab
{% block navbarextra %} {% endblock %} {% if theme_source_link_position == "nav" %}
• {% include "sourcelink.html" %}
{% endif %}

{% block navbarsearch %} {% include "navbarsearchbox.html" %} {% endblock %}