{# Template for the search page. #}
{%- extends "layout.html" %}
{% set title = _('Search') %}

{%- block before_body %}
  {{ super() }}
  <script src="{{ pathto('_static/searchtools.js', 1) }}"></script>
  <script src="{{ pathto('_static/language_data.js', 1) }}"></script>
  <script src="{{ pathto('searchindex.js', 1) }}" defer="defer"></script>
  <meta name="robots" content="noindex" />
{% endblock %}

{% block body %}
  <h1 id="search-documentation">{{ _('Search') }}</h1>

  <noscript>
    <div class="admonition warning">
      <p>
        {% trans %}
          Please activate JavaScript to enable the search functionality.
        {% endtrans %}
      </p>
    </div>
  </noscript>

  <p>
    {% trans %}
      Searching for multiple words only shows matches that contain all words.
    {% endtrans %}
  </p>

  <div id="search-results"></div>
{% endblock %}