diff options
Diffstat (limited to 'taler_sphinx_theme/guzzle_sphinx_theme/search.html')
-rw-r--r-- | taler_sphinx_theme/guzzle_sphinx_theme/search.html | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/taler_sphinx_theme/guzzle_sphinx_theme/search.html b/taler_sphinx_theme/guzzle_sphinx_theme/search.html new file mode 100644 index 00000000..5d194d85 --- /dev/null +++ b/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 %} |