nghttp2/doc/_themes/sphinx_rtd_theme/search.html

57 lines
1.7 KiB
HTML
Raw Permalink 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.
2022-07-12 15:23:12 +02:00
:license: BSD, see https://github.com/sphinx-doc/sphinx/blob/master/LICENSE for details.
2013-12-06 17:27:56 +01:00
#}
{%- extends "layout.html" %}
{% set title = _('Search') %}
2020-07-24 13:18:59 +02:00
{% set display_vcs_links = False %}
{%- block scripts %}
{{ super() }}
2022-07-12 15:23:12 +02:00
<script src="{{ pathto('_static/searchtools.js', 1) }}"></script>
<script src="{{ pathto('_static/language_data.js', 1) }}"></script>
2020-07-24 13:18:59 +02:00
{%- endblock %}
{% block footer %}
2022-07-12 15:23:12 +02:00
<script>
2013-12-06 17:27:56 +01:00
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 #}
2022-07-12 15:23:12 +02:00
<script id="searchindexloader"></script>
2013-12-06 17:27:56 +01:00
{{ 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 %}