diff options
Diffstat (limited to 'doc/_themes/pysidedocs/search.html')
-rw-r--r-- | doc/_themes/pysidedocs/search.html | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/_themes/pysidedocs/search.html b/doc/_themes/pysidedocs/search.html new file mode 100644 index 000000000..d7455327a --- /dev/null +++ b/doc/_themes/pysidedocs/search.html @@ -0,0 +1,26 @@ +{% extends "layout.html" %} +{% set title = _('Search') %} +{% set script_files = script_files + ['_static/searchtools.js'] %} +{% block body %} +<div class="section"> + <h1 id="search-documentation">Search Results</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> + {% if search_performed %} + {% if not search_results %} + <p>{{ _('Your search did not match any results.') }}</p> + {% endif %} + {% endif %} + <div id="search-results"> + </div> +</div> +{% endblock %} +{% block footer %} + {{ super() }} + <script type="text/javascript" src="searchindex.js"></script> +{% endblock %} |