From: Russ Cox Date: Thu, 24 Sep 2009 04:38:52 +0000 (-0700) Subject: change code font to "monospace", which will X-Git-Tag: weekly.2009-11-06~501 X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=b817e97961ce47b0bafde75c1038ba2074f84897;p=gostls13.git change code font to "monospace", which will let the browser use the font the user has set up as the default fixed-width font, instead of forcing Courier. also set the size to 100%, which means 100% of the font size in the surrounding text. this looks a little better in the main body but much better when the code is in a heading (like Package unsafe). R=r DELTA=4 (1 added, 0 deleted, 3 changed) OCL=34947 CL=34947 --- diff --git a/doc/style.css b/doc/style.css index a86ab93103..3ac55da7a5 100644 --- a/doc/style.css +++ b/doc/style.css @@ -1,11 +1,12 @@ code, .code { - font-size: 9pt; - font-family: Courier, Courier New, monospace; + font-size: 100%; + font-family: monospace; color:#007000; } kbd { - font-family: Courier, Courier New, monospace; + font-size: 100%; + font-family: monospace; font-weight: bold; } @@ -104,7 +105,7 @@ div#linkList li.navhead { } .navtop { - font-size: xx-small; + font-size: xx-small; float: right; }