# HG changeset patch # User Maciej Fijalkowski <fijall@gmail.com> # Date 1268416003 0 # Fri Mar 12 17:46:43 2010 +0000 # Branch extradoc # Node ID 3ac500ba3a80b7af58a333b19cf68696a5bbba48 # Parent 26157ff8f1eb666444ab35715d8a9519778bfb63 increase font size by one. Small is nice, but causes windows rendering problems diff --git a/css/site.css b/css/site.css --- a/css/site.css +++ b/css/site.css @@ -247,8 +247,8 @@ } #main pre { - font-size: 14px; - font-family: "inconsolata-1", Monaco, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", monospace; + font-size: 15px; + font-family: "inconsolata-2", "inconsolata-1", Monaco, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", monospace; } #main ul, #main ol {