On 6 February 2016 at 19:11, Sam Varshavchik <[email protected]> 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 _______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected]
