From de2560e0f879a187d1f1ec04c8daa7aa5d0bfe4f Mon Sep 17 00:00:00 2001
From: benoitc <bchesneau@gmail.com>
Date: Mon, 22 Feb 2010 21:44:19 +0100
Subject: [PATCH] fix font-size in pre under firefox

---
 doc/htdocs/css/style.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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;