diff options
author | Hugo Lima <hugo.lima@openbossa.org> | 2009-10-21 15:12:34 -0200 |
---|---|---|
committer | Luciano Miguel Wolf <luciano.wolf@indt.org.br> | 2009-10-21 16:26:44 -0300 |
commit | d1af6dc97bbf18577c7a3c4e7a505d1596473cd9 (patch) | |
tree | c3461171ce9756700b1ebc1414643ee05cc5efb0 /doc/_themes/pysidedocs/search.html | |
parent | 17a82a3123c8f0d21aa4e32e295f729d862e65f4 (diff) |
Added pysidedocs theme to the generatorrunner documentation.
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 %} |