{% extends "base.html" %} {% block htmltitle %}{% trans %}Search{% endtrans %} - {{ config.site_name }}{% endblock %} {# The search plugin's search/main.js needs `base_url` (set in base.html) plus these two element ids. It rewrites #mkdocs-search-results in place. #} {% block content %}

{% trans %}Search results{% endtrans %}

{# The search plugin's main.js only rewrites this container once it has a query to run, so whatever sits here is what a visitor with no query sees — and "Searching…" claimed a search was in progress forever. Keep the prompt as the default and switch to the progress message only when there is a term to look up, which is also the only case where the container is short-lived. #} {# The plugin's main.js renders every hit as an

, which would jump straight from the

above and skip a level. This heading fills the gap; it is redundant next to "Search results", hence hidden from sight. #}

{% trans %}Results{% endtrans %}

{% trans %}Enter a search term above to search the documentation.{% endtrans %}

{# Locale prefixes, so the script below can tell which language a result URL belongs to. Empty on a single-language site, where it never filters. Read off the plugin config rather than `i18n_config`: the search plugin builds this page as a static template, and mkdocs-static-i18n only puts `i18n_config` on a real page context. #} {%- set prefixes = [] %} {%- set i18n_plugin = config.plugins.get('i18n') %} {%- if i18n_plugin %} {%- for language in i18n_plugin.config.languages if language.build and not language.default %} {%- set _ = prefixes.append(language.locale) %} {%- endfor %} {%- endif %} {% endblock %} {% block pagination %}{% endblock %}