{% 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 %}Enter a search term above to search the documentation.{% endtrans %}