{%- extends "layout.html" %} {% set title = _('Search') %} {% set script_files = script_files + ['_static/searchtools.js'] %} {% block extrahead %} {# this is used when loading the search index using $.ajax fails, such as on Chrome for documents on localhost #} {{ super() }} {% endblock %} {% block body %}
{% trans %}Please activate JavaScript to enable the search functionality.{% endtrans %}
{% trans %}Enter your search words into the box below and click "Search". {% endtrans %}
{% if search_performed %}{{ _('Your search did not match any documents.') }}
{% endif %} {% endif %}