From b34d18fa77592244882566046f0f5946aa148409 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 2 Aug 2002 09:08:22 +0000
Subject: [haddock @ 2002-08-02 09:08:22 by simonmar] The <TT> and <PRE>
 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(+)

(limited to 'html')

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... */
 }
 
+/* <TT> font is a little too small in MSIE */
+TT  { font-size: 100%; }
+PRE { font-size: 100%; }
+
 TD {
   border-width: 0px;
 }
-- 
cgit v1.2.3