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?

Attachment: pgpC0ROP0Sx_M.pgp
Description: PGP signature

-- 
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org

Reply via email to