fonts.

[Lee Mallabone <lee0 callnetuk com>]

Hi,

Is there any way to change the default fonts of the gnome help browser?
I've been using it as an info browser (something it does very well btw),
but the fairly small times-new-roman font is really not very nice on the
eyes...

Regards,

--
Lee.
http://atlas.cs.york.ac.uk/~lrpm100/

"At the start of the [browser] 'war', Netscape had licence agreements with
more than 1000 Internet providers around the world to buy and distribute
the Navigator browser. Two years later, it had none."