diff --git a/docs_theme/main.html b/docs_theme/main.html index 21e9171a2..8ce5b026f 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -5,17 +5,17 @@ {% if page.title %}{{ page.title }} - {% endif %}{{ config.site_name }} - + - - - - + + + + - - - - + + + + {% for path in config.extra_javascript %}