diff options
Diffstat (limited to 'doc/_themes/pysidedocs/search.html')
-rw-r--r-- | doc/_themes/pysidedocs/search.html | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/doc/_themes/pysidedocs/search.html b/doc/_themes/pysidedocs/search.html deleted file mode 100644 index d745532..0000000 --- a/doc/_themes/pysidedocs/search.html +++ /dev/null @@ -1,26 +0,0 @@ -{% 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 %} |