{#- 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 %}

{{ docstitle }}

{%- endset -%} {%- set logo_img -%} Logo {%- endset -%} {%- macro headerlink(inner, padding=false) -%} {{ inner }} {%- endmacro -%}
{#- 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 -#}