diff options
author | simonmar <unknown> | 2002-08-02 09:08:22 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-08-02 09:08:22 +0000 |
commit | b34d18fa77592244882566046f0f5946aa148409 (patch) | |
tree | a4f0122333c13373bfeb6cae2e49a6d3690c5085 /html | |
parent | d6edc43ef6c96e1c2c0c0564cfe502f17d0a53ed (diff) |
[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).
Diffstat (limited to 'html')
-rw-r--r-- | html/haddock.css | 4 |
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; } |