From 3df3c68c3fb9ddf6c4f8c341ff6670703c6e28b6 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Thu, 30 Sep 2021 12:59:15 -0400 Subject: minimizing api documentation for faster builds and version updates --- sphinx_rtd/search.html | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 sphinx_rtd/search.html (limited to 'sphinx_rtd/search.html') diff --git a/sphinx_rtd/search.html b/sphinx_rtd/search.html new file mode 100644 index 00000000..4c282db1 --- /dev/null +++ b/sphinx_rtd/search.html @@ -0,0 +1,56 @@ +{# + 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 #} +

{{ _('Search Results') }}

+ {% if not search_results %} +

{{ _('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 %} +
+ {% if search_results %} + + {% endif %} +
+{% endblock %} -- cgit v1.3.1