{# Search input and button #}
{# Button to show search-box on small screens #}
{# This button is hidden, but exists because an element with data-toggle attr is relied on by bootstrap. #}
    {# Table-of-contents button #}
    {# Optional forward-back buttons #} {% if config.extra.history_buttons %}
    {% endif %} {# Logo and title #} {% if config.extra.logo %} {% endif %}
    {{ config.site_name }}
    {% if config.extra.version %} {{ config.extra.version }} {% endif %}