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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions