On Thu, 16 Mar 2023 02:49:28 -0400
"hobie of RMN" <hobie@rumormillnews.com> wrote:
Hello hobie,
I guess I should be looking for a place to adjust settings of the window >>manager..?
That tends to adjust settings globally. If other windows haven't
changed in appearance, then everything else /might/ end up with fonts
smaller than you would like.
To affect Ff only, you may wish to investigate using userChrome.css;
This file will be in a directory called chrome, somewhere under the ~/.mozilla directory. There should be an example CSS file there you
can use as a template.
Thanks, Dan and Brad. :) I rebooted the machine (not just the desktop)
and everything returned to normal. Go figure. :)
--hobie
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)