Commit Graph

15 Commits

Author SHA1 Message Date
holger krekel abcadc4202 colors as used on the live web page 2014-06-29 09:47:50 +02:00
holger krekel 04118a5761 just use "sans-serif" as the default font, thankfully recommended by hynek. 2013-12-17 14:59:29 +01:00
holger krekel c101c30690 change to the non-serif version of "Deja Vu" 2013-12-17 13:48:59 +01:00
holger krekel 0e664d3471 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
2013-12-17 13:21:39 +01:00
holger krekel 66bd71a5d7 use gudea/gudea as header/body fonts 2013-12-17 08:56:59 +01:00
Tobias Bieniek 6a5456f873 doc: Replaced header font 2013-12-14 15:49:56 +01:00
Tobias Bieniek fe01d1b0df doc: Fixed small res sidebar font color 2013-12-14 15:43:40 +01:00
Tobias Bieniek 54174c308f doc: Use native scrollbars on webkit 2013-12-14 15:38:11 +01:00
Tobias Bieniek fd42133d89 doc: Don't use italic font for internal references 2013-12-12 19:48:36 +01:00
Tobias Bieniek d6d7f3821f doc: Use green color for links 2013-12-12 19:48:13 +01:00
Tobias Bieniek e79b43eeb2 doc: Moved link colors into variables 2013-12-12 19:41:29 +01:00
Tobias Bieniek d5948325d4 doc: Use different font combination 2013-12-12 19:32:38 +01:00
Tobias Bieniek b9b44bb87c doc: Moved font family attributes into variables 2013-12-12 19:29:28 +01:00
Tobias Bieniek 82f017edeb doc: Removed unused themes 2013-12-12 18:48:10 +01:00
Tobias Bieniek ebe0c34a02 doc: Imported Flask Sphinx Styles
from https://github.com/mitsuhiko/flask-sphinx-themes
2013-12-12 18:48:09 +01:00