55 lines
1.9 KiB
HTML
55 lines
1.9 KiB
HTML
{% extends "layout.html" %}
|
|
{% block header %}
|
|
<header>
|
|
<h1>Search</h1>
|
|
</header>
|
|
{% endblock %}
|
|
{% set title = _('Search') %}
|
|
{% set script_files = script_files + ['_static/searchtools.js'] %}
|
|
{% block extrahead %}
|
|
<script type="text/javascript">
|
|
jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });
|
|
</script>
|
|
{# this is used when loading the search index using $.ajax fails,
|
|
such as on Chrome for documents on localhost #}
|
|
<script type="text/javascript" id="searchindexloader"></script>
|
|
{{ super() }}
|
|
{% endblock %}
|
|
{% block body %}
|
|
<div id="fallback" class="admonition warning">
|
|
<script type="text/javascript">$('#fallback').hide();</script>
|
|
<p>
|
|
{% trans %}Please activate JavaScript to enable the search
|
|
functionality.{% endtrans %}
|
|
</p>
|
|
</div>
|
|
<p>
|
|
{% trans %}From here you can search these documents. Enter your search
|
|
words into the box below and click "search". Note that the search
|
|
function will automatically search for all of the words. Pages
|
|
containing fewer words won't appear in the result list.{% endtrans %}
|
|
</p>
|
|
<form action="" method="get">
|
|
<input type="text" name="q" value="" />
|
|
<input type="submit" value="{{ _('search') }}" />
|
|
<span id="search-progress" style="padding-left: 10px"></span>
|
|
</form>
|
|
{% if search_performed %}
|
|
<h2>{{ _('Search Results') }}</h2>
|
|
{% if not search_results %}
|
|
<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>
|
|
{% endif %}
|
|
{% endif %}
|
|
<div id="search-results">
|
|
{% if search_results %}
|
|
<ul>
|
|
{% for href, caption, context in search_results %}
|
|
<li><a href="{{ pathto(item.href) }}">{{ caption }}</a>
|
|
<div class="context">{{ context|e }}</div>
|
|
</li>
|
|
{% endfor %}
|
|
</ul>
|
|
{% endif %}
|
|
</div>
|
|
{% endblock %}
|