diff --git a/docs_theme/main.html b/docs_theme/main.html index 74a605cdd..3b588db5d 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -127,53 +127,7 @@
- - - - - - - - - {% for path in config.extra_javascript %} - - {% endfor %} - - - +