13 Nov
2005
13 Nov
'05
8:51 p.m.
On Sun, Nov 13, 2005 at 09:11:46PM +0100, Wolfgang Jeltsch wrote:
Which browser are you speaking about? I use Konqueror.
I don't know about Konqueror, but in Firefox you can quickly increase or decrease the font size pressing Ctrl with + or -. This is a local per-window, per-tab setting, so it doesn't affect how other pages look. BTW, I don't care if you make fonts on haskell.org bigger - after all I can always press Ctrl and - ;-) Best regards Tomasz