diff options
author | Andrey Andreev <narf@devilix.net> | 2018-01-13 12:57:11 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2018-01-13 12:57:11 +0100 |
commit | 02a0518e1c56ba3506f370362ac5ebdb8a138312 (patch) | |
tree | 8b4684192b403dcae17d298eb4fc9e7ab001acad /user_guide_src/source/_themes/sphinx_rtd_theme/search.html | |
parent | f0b9735d5857e6c07c8f5824b13cff4828db3cfe (diff) |
[ci skip] 3.1.7 release
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/search.html')
-rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/search.html | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/search.html b/user_guide_src/source/_themes/sphinx_rtd_theme/search.html deleted file mode 100644 index e3aa9b5c6..000000000 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/search.html +++ /dev/null @@ -1,50 +0,0 @@ -{# - basic/search.html - ~~~~~~~~~~~~~~~~~ - - Template for the search page. - - :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS. - :license: BSD, see LICENSE for details. -#} -{%- extends "layout.html" %} -{% set title = _('Search') %} -{% set script_files = script_files + ['_static/searchtools.js'] %} -{% block footer %} - <script type="text/javascript"> - jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); }); - </script> - {# this is used when loading the search index using $.ajax fails, - such as on Chrome for documents on localhost #} - <script type="text/javascript" id="searchindexloader"></script> - {{ super() }} -{% endblock %} -{% block body %} - <noscript> - <div id="fallback" class="admonition warning"> - <p class="last"> - {% trans %}Please activate JavaScript to enable the search - functionality.{% endtrans %} - </p> - </div> - </noscript> - - {% if search_performed %} - <h2>{{ _('Search Results') }}</h2> - {% if not search_results %} - <p>{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}</p> - {% endif %} - {% endif %} - <div id="search-results"> - {% if search_results %} - <ul> - {% for href, caption, context in search_results %} - <li> - <a href="{{ pathto(item.href) }}">{{ caption }}</a> - <p class="context">{{ context|e }}</p> - </li> - {% endfor %} - </ul> - {% endif %} - </div> -{% endblock %} |