Stanimir Stamenkov wrote: > Sun, 1 Mar 2009 19:38:24 -0500, /Roger Fink/: > >> As is true for gray-modern, which is what I use exclusively, but the >> SeaMonkey project would benefit overall from a revisiting of this >> issue, as there is no obvious downside to offering users an easily >> managed choice on an issue that is important to many people.. > > I don't think adjusting the GUI element font sizes is stuff to put > in the main application. It would cause the GUI overloaded yet more > for use by too few people. Changing the fonts of a theme could also > break it in a way - I've previously done this with the modern theme. > So probably it is best for the individual themes to supply > additional customization options if they deviate from the system > defaults. In this regard I see your problem as deficiency of the > modern theme. For anyone insisting on using fancy custom graphics > theme there's always the variant of using the "userChrome.css".
OK. Just to clarify, Gray-Modern carries over the windows system settings for menu fonts. It's a beautiful, minimalist piece of work and I hope the theme author sees fit to update it for SM3. _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
