Merge pull request #978 from ix5/docs-search-fix

[docs] Add jquery and make search work again
isso-comments · Nov 28, 2023 · d01d881 · d01d881
2 parents 21ded32 + c78432c
commit d01d881
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/docs/_static/js/vendor/jquery-3.7.1.min.js b/docs/_static/js/vendor/jquery-3.7.1.min.js
diff --git a/docs/_theme/layout.html b/docs/_theme/layout.html
@@ -39,7 +39,7 @@
 {%- endif %}
 {%- endmacro %}
 
-<html>
+<html{% if language is not none %} lang="{{ language }}"{% endif %} data-content_root="{{ content_root }}">
   <head>
     <meta charset="utf-8">
     {{ metatags }}

diff --git a/docs/_theme/search.html b/docs/_theme/search.html
@@ -5,7 +5,8 @@ <h1>Search</h1>
     </header>
 {% endblock %}
 {% set title = _('Search') %}
-{% set script_files = script_files + ['_static/searchtools.js'] + ['_static/language_data.js'] %}
+{% set script_files = script_files + ['_static/searchtools.js'] + ['_static/language_data.js']
+                      + ['_static/js/vendor/jquery-3.7.1.min.js'] %}
 {% block footer %}
   <script type="text/javascript">
     jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });