diff --git a/doc/_themes/sphinx_rtd_theme/layout.html b/doc/_themes/sphinx_rtd_theme/layout.html index 48b64f59..20a13eef 100644 --- a/doc/_themes/sphinx_rtd_theme/layout.html +++ b/doc/_themes/sphinx_rtd_theme/layout.html @@ -23,7 +23,7 @@ {% endif %} {# CSS #} - + {# OPENSEARCH #} {% if not embedded %} @@ -82,7 +82,9 @@ {# SIDE NAV, TOGGLES ON MOBILE #}