diff options
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 %} |