diff --git a/docs_theme/main.html b/docs_theme/main.html index b4e894781..e83c135d5 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -12,10 +12,12 @@ - + + + + + + + {% for path in config.extra_javascript %} {% endfor %}