{#-
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 -%}
{%- set manual_title %}
{#- show logo on the left side of the header -#}
{% if logo %}
{% if pagename != master_doc %}
{{ headerlink(logo_img) }}
{% else %}
{{ logo_img }}
{% endif %}
{{ manual_title }}
{%- else -%}
{% if pagename != master_doc %}
{{ headerlink(manual_title) }}
{% else %}
{{ manual_title }}
{% endif %}
{%- endif -%}
{#- show a search input field on the right side -#}