From b34d18fa77592244882566046f0f5946aa148409 Mon Sep 17 00:00:00 2001 From: simonmar Date: Fri, 2 Aug 2002 09:08:22 +0000 Subject: [haddock @ 2002-08-02 09:08:22 by simonmar] The and
 environments seem to use a font that is a little too small in IE. 
 Compensate.

(suggestion from Daan Leijen).
---
 html/haddock.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/html/haddock.css b/html/haddock.css
index 63ddaf13..b0315959 100644
--- a/html/haddock.css
+++ b/html/haddock.css
@@ -16,6 +16,10 @@ TABLE.vanilla {
   /* I can't seem to specify cellspacing or cellpadding properly using CSS... */
 }
 
+/*  font is a little too small in MSIE */
+TT  { font-size: 100%; }
+PRE { font-size: 100%; }
+
 TD {
   border-width: 0px;
 }
-- 
cgit v1.2.3