[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).

1 files changed, 4 insertions, 0 deletions

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;
 }