diff --git a/doc/htdocs/css/style.css b/doc/htdocs/css/style.css
index 1417f3a2..f7e80ad8 100644
--- a/doc/htdocs/css/style.css
+++ b/doc/htdocs/css/style.css
@@ -30,8 +30,10 @@ padding:0 0 .5em;
 }
 
 pre {
-font-size:1em;
 font-family:'andale mono', 'lucida console', monospace;
+font:100% monospace;
+*font-size:75%
+
 white-space:pre;
 background:#ffd;
 margin:3px 3px 2em 3px;