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 a86ab931033c7b88031ab9c075f2917038fe97c1..3ac55da7a57154bbfcbec758495c0faf4104326d 100644 (file)
--- 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;
 }