{# Displays links to the top-level TOCtree elements, in the header navbar. #}