diff --git a/docs/theme/main.html b/docs/theme/main.html index c0c457ee..d4b99844 100644 --- a/docs/theme/main.html +++ b/docs/theme/main.html @@ -13,4 +13,5 @@ {% block extrahead %} + {% endblock %}