The popular theme font size changer Firefox plugin, https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/, no longer supports Linux.
The default Firefox font size is too small for people with poor eyesight. As far as I can tell, the only thing that official "Firefox themes" do is set a background image for the UI. As Benny Hill would say, biiiiiiiiiiiiig …deal.
The top-ranked comment on that extension page suggests hacking "userChrome- example.css" in ~/.mozilla/firefox.
$ find ~/.mozilla/firefox -name userChrome-example.css -print $
There goes that idea.
Googling around the only other suggestion I found was to hack layout.css.devPixelsPerPx setting in about:config. All that did, apparently, was making the Firefox UI elements themselves bigger, but their font size – the menu and the URL bar – remained exactly the same.
Anyone has other suggestions?
On Sat, 06 Feb 2016 12:11:58 -0500 Sam Varshavchik mrsam@courier-mta.com wrote:
The popular theme font size changer Firefox plugin, https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/, no longer supports Linux.
The default Firefox font size is too small for people with poor eyesight.
[snip]
Anyone has other suggestions?
There is the advanced setting in preferences where you can tell firefox to use your fonts and sizes for all web pages, and set a minimum font size.
There is a plugin called nosquint. I'm not sure if it still works with the latest firefox, because of the requirement to use frames for plugins, but it used to do a wonderful job of keeping things a reasonable size.
stan writes:
On Sat, 06 Feb 2016 12:11:58 -0500 Sam Varshavchik mrsam@courier-mta.com wrote:
The popular theme font size changer Firefox plugin, https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/, no longer supports Linux.
The default Firefox font size is too small for people with poor eyesight.
[snip]
Anyone has other suggestions?
There is the advanced setting in preferences where you can tell firefox to use your fonts and sizes for all web pages, and set a minimum font size.
Thanks, but I was not referring to web content. The "Zoom Page" plugin takes care of that just fine.
I am referring to Firefox UI elements. The Firefox menu bar, the URL bar, and the rest of the UI elements. The "Zoom Page" plugin, and other plugins of its kind, like Nosquint, only affect the web page contents, but not the rest of the Firefox UI.
Allegedly, on or about 06 February 2016, Sam Varshavchik sent:
I am referring to Firefox UI elements. The Firefox menu bar, the URL bar, and the rest of the UI elements. The "Zoom Page" plugin, and other plugins of its kind, like Nosquint, only affect the web page contents, but not the rest of the Firefox UI.
Do they not inherit the desktop fonts?
On 02/06/2016 09:57 PM, Tim wrote:
Allegedly, on or about 06 February 2016, Sam Varshavchik sent:
I am referring to Firefox UI elements. The Firefox menu bar, the URL bar, and the rest of the UI elements. The "Zoom Page" plugin, and other plugins of its kind, like Nosquint, only affect the web page contents, but not the rest of the Firefox UI.
Do they not inherit the desktop fonts?
Correct, at least it does in the KDE version.
Jon
Allegedly, on or about 06 February 2016, stan sent:
There is the advanced setting in preferences where you can tell firefox to use your fonts and sizes for all web pages, and set a minimum font size.
That has always had at least two problems:
Pages that fit text between graphics, that don't scale well when you change your font size.
Pages that define the line spacing as well as font size, to cram more in, and you change your font size without increasing the line spacing, as well, end up with overlapping text.
Allegedly, on or about 06 February 2016, Sam Varshavchik sent:
The top-ranked comment on that extension page suggests hacking "userChrome-example.css" in ~/.mozilla/firefox.
$ find ~/.mozilla/firefox -name userChrome-example.css -print $
There goes that idea.
It may be one of those files that doesn't exist unless you create it. Or, there may be a default in the program's directory, that gets used until you put one in your homespace.
And sometimes you find that the filename has changed, slightly, between versions.
On 6 February 2016 at 19:11, Sam Varshavchik mrsam@courier-mta.com wrote:
The popular theme font size changer Firefox plugin, https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/, no longer supports Linux.
The default Firefox font size is too small for people with poor eyesight. As far as I can tell, the only thing that official "Firefox themes" do is set a background image for the UI. As Benny Hill would say, biiiiiiiiiiiiig …deal.
The top-ranked comment on that extension page suggests hacking "userChrome-example.css" in ~/.mozilla/firefox.
$ find ~/.mozilla/firefox -name userChrome-example.css -print $
There goes that idea.
Googling around the only other suggestion I found was to hack layout.css.devPixelsPerPx setting in about:config. All that did, apparently, was making the Firefox UI elements themselves bigger, but their font size – the menu and the URL bar – remained exactly the same.
Anyone has other suggestions?
A very late reply; have a look at http://kb.mozillazine.org/UserChrome.css
-
Ahmad Samir -
Jon Danniken -
Sam Varshavchik -
stan -
Tim