{#- Full replacement of shadcn's templates/header.html. The theme's own header only includes templates/version_select.html behind an "is mike installed" check — its bundled JS expects mike's versions.json. This project gets version data from the RTD Addons API instead (docs/javascript/readthedocs.js), so that guard is dropped in favor of unconditionally including our own version_select.html override. -#}
{% if config.theme.topbar_sections %} {% include "templates/header_navigation.html" %} {% endif %}
{% if config.repo_url %} {% if config.theme.show_stargazers %} {{ config.repo_name }} {% endif %} {% endif %} {% include "templates/version_select.html" %}