diff --git a/sphinx_rtd_theme/search.html b/sphinx_rtd_theme/search.html deleted file mode 100644 index f85a6dae2..000000000 --- a/sphinx_rtd_theme/search.html +++ /dev/null @@ -1,55 +0,0 @@ -{# - basic/search.html - ~~~~~~~~~~~~~~~~~ - - Template for the search page. - - :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS. - :license: BSD, see https://github.com/sphinx-doc/sphinx/blob/master/LICENSE for details. -#} -{%- extends "layout.html" %} -{% set title = _('Search') %} -{% set display_vcs_links = False %} -{%- block scripts %} - {{ super() }} - -{%- endblock %} -{% block footer %} - - {# this is used when loading the search index using $.ajax fails, - such as on Chrome for documents on localhost #} - - {{ super() }} -{% endblock %} -{% block body %} - - - {% if search_performed %} - {# Translators: Search is a noun, not a verb #} -
{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}
- {% endif %} - {% endif %} -{{ context|e }}
-