docs: layout.html: Add content_root property

Needed for search functionality, otherwise `contentRoot` in `searchtools.js` will be `undefined`. See sphinx-doc/sphinx#11608 and sphinx-doc/sphinx@8e730ae
isso-comments · Nov 17, 2023 · c78432c · c78432c
1 parent e6cae76
commit c78432c
Showing 1 changed file with 1 addition and 1 deletion.
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 }}