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 %}
2014-05-15 17:36:06 +02:00
{% 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 %}