From 04118a57619c9961985f271558990a4dcf85320c Mon Sep 17 00:00:00 2001 From: holger krekel Date: Tue, 17 Dec 2013 14:59:29 +0100 Subject: [PATCH] just use "sans-serif" as the default font, thankfully recommended by hynek. --- doc/en/_themes/flask/layout.html | 1 - doc/en/_themes/flask/static/flasky.css_t | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/en/_themes/flask/layout.html b/doc/en/_themes/flask/layout.html index 9d96584c1..19c43fbbe 100644 --- a/doc/en/_themes/flask/layout.html +++ b/doc/en/_themes/flask/layout.html @@ -5,7 +5,6 @@ {% 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 f84fca698..b3f39fd92 100644 --- a/doc/en/_themes/flask/static/flasky.css_t +++ b/doc/en/_themes/flask/static/flasky.css_t @@ -10,7 +10,8 @@ {% set sidebar_width = '220px' %} {% set link_color = '#490' %} {% set link_hover_color = '#9c0' %} -{% set base_font = '"Deja+Vu", sans-serif' %} +{% set base_font = 'sans-serif' %} +{% set header_font = 'sans-serif' %} @import url("basic.css");