wehub-resource-sync
60 lines
1.8 KiB
HTML
60 lines
1.8 KiB
HTML
{#
|
|
basic/search.html
|
|
~~~~~~~~~~~~~~~~~
|
|
|
|
Template for the search page.
|
|
|
|
:copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
|
|
:license: BSD, see LICENSE for details.
|
|
|
|
Taken from https://github.com/sphinx-doc/sphinx/blob/v3.5.4/sphinx/themes/basic/search.html
|
|
#}
|
|
{%- extends "layout.html" %}
|
|
{% set title = _('Search') %}
|
|
{%- block scripts %}
|
|
{{ super() }}
|
|
<script src="{{ pathto('_static/searchtools.js', 1) }}"></script>
|
|
<script src="{{ pathto('_static/language_data.js', 1) }}"></script>
|
|
{%- endblock %}
|
|
{% block extrahead %}
|
|
<script src="{{ pathto('searchindex.js', 1) }}" defer></script>
|
|
{{ super() }}
|
|
{% endblock %}
|
|
{% block body %}
|
|
<h1 id="search-documentation">{{ _('Search') }}</h1>
|
|
<div id="fallback" class="admonition warning">
|
|
<script>$('#fallback').hide();</script>
|
|
<p>
|
|
{% trans %}Please activate JavaScript to enable the search
|
|
functionality.{% endtrans %}
|
|
</p>
|
|
</div>
|
|
<p>
|
|
{% trans %}Searching for multiple words only shows matches that contain
|
|
all words.{% endtrans %}
|
|
</p>
|
|
<!-- Hide searchbox -->
|
|
<!-- <form action="" method="get">
|
|
<input type="text" name="q" aria-labelledby="search-documentation" value="" />
|
|
<input type="submit" value="{{ _('search') }}" />
|
|
</form> -->
|
|
<span id="search-progress" style="padding-left: 10px"></span>
|
|
{% 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 %}
|