diff --git a/docs/source/mjtheme/layout.html b/docs/source/mjtheme/layout.html index 7e4ca1dd4..f7e71a429 100644 --- a/docs/source/mjtheme/layout.html +++ b/docs/source/mjtheme/layout.html @@ -108,7 +108,7 @@ {%- for scriptfile in script_files %} {%- endfor %} - + {%- if use_opensearch %}