Greywolf:
>I was able top change the fonts in the header pane, etc,
I remember doing this in the past.
>by using Windows Personalize applet.
No Win here. Not even a desktop environment. *g* But there was the
necessity to change the size of the fonts.
----- userChrome.css -----
* {
font-size: 11pt !important;
font-family: arial !important;
}
---------------
Hartmut
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
