From b817e97961ce47b0bafde75c1038ba2074f84897 Mon Sep 17 00:00:00 2001 From: Russ Cox Date: Wed, 23 Sep 2009 21:38:52 -0700 Subject: [PATCH] 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 --- doc/style.css | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/style.css b/doc/style.css index a86ab931033..3ac55da7a57 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; }