{% if theme_logo_icon %} {% else %} ${{ html_title }} logo$ {% endif %} {{ theme_nav_title or shorttitle }}

Version

{%- if theme_repo_url %}

{% include "repo.html" %}

{% endif %} {% include "globaltoc.html" %}