| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
1 |
{# |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
2 |
basic/search.html |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
3 |
~~~~~~~~~~~~~~~~~ |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
4 |
|
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
5 |
Template for the search page. |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
6 |
|
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
7 |
:copyright: Copyright 2007-2015 by the Sphinx team, see AUTHORS. |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
8 |
:license: BSD, see LICENSE for details. |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
9 |
#} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
10 |
{%- extends "layout.html" %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
11 |
{% set title = _('Search') %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
12 |
{% set script_files = script_files + ['_static/searchtools.js'] %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
13 |
{% block extrahead %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
14 |
<script type="text/javascript"> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
15 |
jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); }); |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
16 |
</script> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
17 |
{# this is used when loading the search index using $.ajax fails, |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
18 |
such as on Chrome for documents on localhost #} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
19 |
<script type="text/javascript" id="searchindexloader"></script> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
20 |
{{ super() }} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
21 |
{% endblock %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
22 |
{% block body %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
23 |
<h1 id="search-documentation">{{ _('Search') }}</h1> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
24 |
<div id="fallback" class="admonition warning"> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
25 |
<script type="text/javascript">$('#fallback').hide();</script> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
26 |
<p> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
27 |
{% trans %}Please activate JavaScript to enable the search |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
28 |
functionality.{% endtrans %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
29 |
</p> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
30 |
</div> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
31 |
<p> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
32 |
{% trans %}From here you can search these documents. Enter your search |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
33 |
words into the box below and click "search". Note that the search |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
34 |
function will automatically search for all of the words. Pages |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
35 |
containing fewer words won't appear in the result list.{% endtrans %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
36 |
</p> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
37 |
{{ searchform('form-inline', True) }} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
38 |
{% if search_performed %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
39 |
<h2>{{ _('Search Results') }}</h2> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
40 |
{% if not search_results %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
41 |
<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> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
42 |
{% endif %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
43 |
{% endif %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
44 |
<div id="search-results"> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
45 |
{% if search_results %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
46 |
<ul> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
47 |
{% for href, caption, context in search_results %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
48 |
<li><a href="{{ pathto(item.href) }}">{{ caption }}</a> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
49 |
<div class="context">{{ context|e }}</div> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
50 |
</li> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
51 |
{% endfor %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
52 |
</ul> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
53 |
{% endif %} |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
54 |
</div> |
| f8deb5b9 |
Poul Sander |
2022-01-15 13:55 |
55 |
{% endblock %} |
|
|
1970-01-01 00:00 |
56 |
|