From 25be142723568421b3c22a058ea2490bf87950fb Mon Sep 17 00:00:00 2001 From: David Wosnitza Date: Fri, 12 Dec 2014 15:37:28 +0100 Subject: changed theme to sphinx_rtd_theme Signed-off-by: David Wosnitza --- .../source/_themes/sphinx_rtd_theme/search.html | 50 ++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/search.html (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/search.html') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/search.html b/user_guide_src/source/_themes/sphinx_rtd_theme/search.html new file mode 100644 index 000000000..e3aa9b5c6 --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/search.html @@ -0,0 +1,50 @@ +{# + 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 %} + + {# 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 %} +

{{ _('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 %} +
    + {% for href, caption, context in search_results %} +
  • + {{ caption }} +

    {{ context|e }}

    +
  • + {% endfor %} +
+ {% endif %} +
+{% endblock %} -- cgit v1.2.3-24-g4f1b