diff --git a/docs_theme/main.html b/docs_theme/main.html index a0f4d4067..c7bf06f5b 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -65,7 +65,7 @@
-
+
-
+
{% block content %} {% if page.meta.source %} {% for filename in page.meta.source %}