{# Displays links to the top-level TOCtree elements, in the header navbar. #}
<nav>
  <ul class="bd-navbar-elements navbar-nav">
    {{ generate_header_nav_html(n_links_before_dropdown=theme_header_links_before_dropdown, dropdown_text=theme_header_dropdown_text) }}
  </ul>
</nav>
