diff --git a/doc/en/_themes/flask/layout.html b/doc/en/_themes/flask/layout.html index 55cb4ce14..a46d8b87e 100644 --- a/doc/en/_themes/flask/layout.html +++ b/doc/en/_themes/flask/layout.html @@ -5,7 +5,7 @@ {% endif %} - + {% endblock %} {%- block relbar2 %}{% endblock %} {% block header %} diff --git a/doc/en/_themes/flask/static/flasky.css_t b/doc/en/_themes/flask/static/flasky.css_t index 9c5fd9526..de8e7b141 100644 --- a/doc/en/_themes/flask/static/flasky.css_t +++ b/doc/en/_themes/flask/static/flasky.css_t @@ -9,7 +9,7 @@ {% set page_width = '940px' %} {% set sidebar_width = '220px' %} {% set base_font = '"Gudea", sans-serif' %} -{% set header_font = '"Rancho", serif' %} +{% set header_font = '"Exo 2", serif' %} {% set link_color = '#490' %} {% set link_hover_color = '#9c0' %} @@ -177,6 +177,10 @@ div.indexwrapper h1 { background: url({{ theme_index_logo }}) no-repeat center center; height: {{ theme_index_logo_height }}; } +{% else %} +div.indexwrapper div.body h1 { + font-size: 200%; +} {% endif %} div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; } div.body h2 { font-size: 180%; }