1 {% extends "layout.html" %}

     2 {% set title = _('Search') %}

     3 {% set script_files = script_files + ['_static/searchtools.js'] %}

     4 {% block body %}

     5   <h1 id="search-documentation">{{ _('Search') }}</h1>

     6   <p>

     7     {% trans %}From here you can search these documents. Enter your search

     8     words into the box below and click "search". Note that the search

     9     function will automatically search for all of the words. Pages

    10     containing fewer words won't appear in the result list.{% endtrans %}

    11   </p>

    12   <form action="" method="get">

    13     <input type="text" name="q" value="" />

    14     <input type="submit" value="{{ _('search') }}" />

    15     <span id="search-progress" style="padding-left: 10px"></span>

    16   </form>

    17   {% if search_performed %}

    18     <h2>{{ _('Search Results') }}</h2>

    19     {% if not search_results %}

    20       <p>{{ _('Your search did not match any results.') }}</p>

    21     {% endif %}

    22   {% endif %}

    23   <div id="search-results">

    24   {% if search_results %}

    25     <ul>

    26     {% for href, caption, context in search_results %}

    27       <li><a href="{{ pathto(item.href) }}">{{ caption }}</a>

    28         <div class="context">{{ context|e }}</div>

    29       </li>

    30     {% endfor %}

    31     </ul>

    32   {% endif %}

    33   </div>

    34 {% endblock %}

    35 {% block footer %}

    36   {{ super() }}

    37   <script type="text/javascript" src="searchindex.js"></script>

    38 {% endblock %}