nghttp2/doc/_themes/sphinx_rtd_theme/search.html

56 lines
1.7 KiB
HTML
Raw Normal View History

2013-12-06 17:27:56 +01:00
{#
basic/search.html
~~~~~~~~~~~~~~~~~
Template for the search page.
:copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
:license: BSD, see LICENSE for details.
#}
{%- extends "layout.html" %}
{% set title = _('Search') %}
2020-07-24 13:18:59 +02:00
{% set display_vcs_links = False %}
{%- block scripts %}
{{ super() }}
<script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
{%- endblock %}
{% block footer %}
2013-12-06 17:27:56 +01:00
<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 %}
<noscript>
<div id="fallback" class="admonition warning">
<p class="last">
2020-07-24 13:18:59 +02:00
{% trans trimmed %}Please activate JavaScript to enable the search
2013-12-06 17:27:56 +01:00
functionality.{% endtrans %}
</p>
</div>
</noscript>
{% if search_performed %}
2020-07-24 13:18:59 +02:00
{# Translators: Search is a noun, not a verb #}
2013-12-06 17:27:56 +01:00
<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>
<p class="context">{{ context|e }}</p>
</li>
{% endfor %}
</ul>
{% endif %}
</div>
{% endblock %}