Hartmut Figge wrote:
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


Thanks!

You did, though, assumed that I had a clue! ;-)

Done now.
_______________________________________________
support-seamonkey mailing list
support-seamonkey@lists.mozilla.org
https://lists.mozilla.org/listinfo/support-seamonkey

Reply via email to