Re: Mozilla: configure menu fonts?

[Mark Garland <magarland@nettally.com>]

On Sun, 12 Aug 2001 05:10:26 Karsten M. Self wrote:
> I've updated to a recent Mozilla under Woody/testing:
> 
> Version: 2:0.9.3-1
> 
> Problem:  the menu fonts are all rather larger than I'd like -- appear
> to be Helvetica or Arial, roughly 16 points.  I prefer fixed fonts for
> all menus, at about 10 points.

There's a known bug with the default Modern theme in Mozilla 0.9.x.  
See:

http://bugzilla.mozilla.org/show_bug.cgi?id=63316

Mark Garland
Tallahassee, Florida