{% if theme_navbar_links %} {%- for link in theme_navbar_links %}
• {{ link[0] }}
{%- endfor %} {% endif %} {% block navbartoc %} {% if theme_navbar_pagenav %} {% include "navbartoc.html" %} {% endif %} {% endblock %} {% if theme_navbar_sidebarrel %} {% block sidebarrel %} {% include "relations.html" %} {% endblock %} {% endif %} {% block navbarextra %} {% endblock %} {% if theme_source_link_position == "nav" %}
• {% include "sourcelink.html" %}
{% endif %}

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