Sat, 28 Feb 2009 09:54:17 -0800, /Peter Potamus the Purple Hippo/:
Stanimir Stamenkov wrote:
GUI controls appearance is generally inherited from the underlying
graphic desktop environment. If you want the font of the menus
larger, just adjust it through the Display Appearance (Advanced)
settings of your Windows Desktop. You may also adjust the "Message
Box" font as it controls the appearance of the text in other than menu
sorry to say, but I control my via the script I provided.
If one uses a non-classic theme which doesn't honor the system
settings, yes, user style rules will be needed to adjust the fonts.
support-seamonkey mailing list