0
|
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 %}
|