doc/_themes/sphinx_rtd_theme/search.html

   1 {#
   2     basic/search.html
   3     ~~~~~~~~~~~~~~~~~
   4
   5     Template for the search page.
   6
   7     :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
   8     :license: BSD, see LICENSE for details.
   9 #}
  10 {%- extends "layout.html" %}
  11 {% set title = _('Search') %}
  12 {% set script_files = script_files + ['_static/searchtools.js'] %}
  13 {% block footer %}
  14   <script type="text/javascript">
  15     jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });
  16   </script>
  17   {# this is used when loading the search index using $.ajax fails,
  18      such as on Chrome for documents on localhost #}
  19   <script type="text/javascript" id="searchindexloader"></script>
  20   {{ super() }}
  21 {% endblock %}
  22 {% block body %}
  23   <noscript>
  24   <div id="fallback" class="admonition warning">
  25     <p class="last">
  26       {% trans %}Please activate JavaScript to enable the search
  27       functionality.{% endtrans %}
  28     </p>
  29   </div>
  30   </noscript>
  31
  32   {% if search_performed %}
  33     <h2>{{ _('Search Results') }}</h2>
  34     {% if not search_results %}
  35       <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>
  36     {% endif %}
  37   {% endif %}
  38   <div id="search-results">
  39   {% if search_results %}
  40     <ul>
  41     {% for href, caption, context in search_results %}
  42       <li>
  43         <a href="{{ pathto(item.href) }}">{{ caption }}</a>
  44         <p class="context">{{ context|e }}</p>
  45       </li>
  46     {% endfor %}
  47     </ul>
  48   {% endif %}
  49   </div>
  50 {% endblock %}