{#- Template file for the header. If there is a logo, clicking the logo leads back to the homepage. If there is no logo, clicking the manual title leads back to the homepage. -#} {%- import "buttons.html" as buttons -%}
{#- show logo on the left side of the header -#} {%- if logo -%} Logo {#- show manual title in the middle -#}

{{ docstitle }}

{%- else -%}

{{ docstitle }}

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