diff options
author | Amar Takhar <amar@rtems.org> | 2016-01-19 20:37:04 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:25 -0400 |
commit | a316b1ff6d765fe0d3631282e750c94470612e97 (patch) | |
tree | 577d0a4cd9659c9834d39eb944a9d662d4f6f2dd /common/sphinx_rtd_theme_rtems/search.html | |
parent | Fix typo and add another dependency. (diff) | |
download | rtems-docs-a316b1ff6d765fe0d3631282e750c94470612e97.tar.bz2 |
Add support for singlehtml (inlined) HTML file, plus some other fixes.
* This is still broken.
* Rename sphinx_rtd_theme so it doesn't pickup locally installed ones
* Add a hack to theme.css to get around inliner bug.
* Some unrelated fixups in common/waf.py
Unfortunatly several dozen fixes got merged into this.
Diffstat (limited to 'common/sphinx_rtd_theme_rtems/search.html')
-rw-r--r-- | common/sphinx_rtd_theme_rtems/search.html | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/common/sphinx_rtd_theme_rtems/search.html b/common/sphinx_rtd_theme_rtems/search.html new file mode 100644 index 0000000..e3aa9b5 --- /dev/null +++ b/common/sphinx_rtd_theme_rtems/search.html @@ -0,0 +1,50 @@ +{# + basic/search.html + ~~~~~~~~~~~~~~~~~ + + Template for the search page. + + :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS. + :license: BSD, see LICENSE for details. +#} +{%- extends "layout.html" %} +{% set title = _('Search') %} +{% set script_files = script_files + ['_static/searchtools.js'] %} +{% block footer %} + <script type="text/javascript"> + jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); }); + </script> + {# this is used when loading the search index using $.ajax fails, + such as on Chrome for documents on localhost #} + <script type="text/javascript" id="searchindexloader"></script> + {{ super() }} +{% endblock %} +{% block body %} + <noscript> + <div id="fallback" class="admonition warning"> + <p class="last"> + {% trans %}Please activate JavaScript to enable the search + functionality.{% endtrans %} + </p> + </div> + </noscript> + + {% 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> + <p class="context">{{ context|e }}</p> + </li> + {% endfor %} + </ul> + {% endif %} + </div> +{% endblock %} |