+ {% block content %}
+ {{ page.content }}
+ {% endblock %}
+
+ diff --git a/docs/source/custom_theme/base.html b/docs/source/custom_theme/base.html new file mode 100644 index 000000000..7e4ada00a --- /dev/null +++ b/docs/source/custom_theme/base.html @@ -0,0 +1,150 @@ + + + +
+ {%- block site_meta %} + + + + {% if page and page.is_homepage %}{% endif %} + {% if config.site_author %}{% endif %} + {% if config.site_favicon %} + {% else %}{% endif %} + {%- endblock %} + + {%- block htmltitle %} +