From 0e664d3471bd52a738928b2f0821a45de3b0e28a Mon Sep 17 00:00:00 2001 From: holger krekel Date: Tue, 17 Dec 2013 13:21:39 +0100 Subject: [PATCH] don't use guidea as font as it appears to give troubles to windows/chrome users, see also here: http://stackoverflow.com/questions/11487427/is-there-any-font-smoothing-in-google-chrome --- doc/en/_themes/flask/static/flasky.css_t | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/doc/en/_themes/flask/static/flasky.css_t b/doc/en/_themes/flask/static/flasky.css_t index cf4796ece..e07dff9ec 100644 --- a/doc/en/_themes/flask/static/flasky.css_t +++ b/doc/en/_themes/flask/static/flasky.css_t @@ -6,10 +6,8 @@ * :license: Flask Design License, see LICENSE for details. */ -{% set page_width = '940px' %} +{% set page_width = '1020px' %} {% set sidebar_width = '220px' %} -{% set base_font = '"Gudea", sans-serif' %} -{% set header_font = '"Gudea", sans-serif' %} {% set link_color = '#490' %} {% set link_hover_color = '#9c0' %}