summaryrefslogtreecommitdiff
path: root/_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html
diff options
context:
space:
mode:
Diffstat (limited to '_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html')
-rw-r--r--_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html48
1 files changed, 48 insertions, 0 deletions
diff --git a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html
new file mode 100644
index 00000000..5d194d85
--- /dev/null
+++ b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/search.html
@@ -0,0 +1,48 @@
+{%- extends "basic/search.html" %}
+
+{% block body %}
+ <h1 id="search-documentation">{{ _('Search') }}</h1>
+ <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>
+
+ <div class="search-page-form">
+ <form class="form-inline" action="{{ pathto('search') }}" method="GET" role="form">
+ <div class="input-group">
+ <input name="q" type="text" class="form-control" />
+ <span class="input-group-btn">
+ <button class="btn btn-default" type="button">{{ _('search') }}</button>
+ </span>
+ </div>
+ <span id="search-progress" style="padding-left: 10px"></span>
+ </form>
+ </div>
+
+ {% 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 %}