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