diff options
Diffstat (limited to 'docs/themes/sphinx_rtd_theme/search.html')
-rw-r--r-- | docs/themes/sphinx_rtd_theme/search.html | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/docs/themes/sphinx_rtd_theme/search.html b/docs/themes/sphinx_rtd_theme/search.html index 10ac568c41d..4c282db1f89 100644 --- a/docs/themes/sphinx_rtd_theme/search.html +++ b/docs/themes/sphinx_rtd_theme/search.html @@ -5,21 +5,23 @@ Template for the search page. :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS. - :license: BSD, see LICENSE for details. + :license: BSD, see https://github.com/sphinx-doc/sphinx/blob/master/LICENSE for details. #} {%- extends "layout.html" %} {% set title = _('Search') %} +{% set display_vcs_links = False %} {%- block scripts %} {{ super() }} - <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script> + <script src="{{ pathto('_static/searchtools.js', 1) }}"></script> + <script src="{{ pathto('_static/language_data.js', 1) }}"></script> {%- endblock %} {% block footer %} - <script type="text/javascript"> + <script> 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> + <script id="searchindexloader"></script> {{ super() }} {% endblock %} {% block body %} |