{#- Template file for the header. -#} {%- import "buttons.html" as buttons -%}
{#- show logo on the left side of the header -#} {%- if logo -%} Logo {%- endif -%} {#- show manual title in the middle -#}

{{ docstitle }}

{#- show a search input field on the right side -#}