marbux wrote:
You have to create a userChrome.css file.
No one has to create a userChrome.css file unless they want to manipulate the UI of a specific Mozilla.org application profile.
Once it is set up, if you exit FF and relaunch it, the settings will be transferred to the file that renders when you enter about:config in the location bar.
Absolutely nothing you put in userChrome.css is ever transferred to user.js, the only file that you change when you make a change using about:config.
Hint: some of their sample code at the web site gives type sizes in millimeters ("mm"). You can safely switch those to point sizes ("pt").
3mm and 3pt aren't even close to the same thing, so following that advice could cause a pretty big mess. 3pt is 3/72" (0.04167"), while 3mm is 0.1181", nearly three times as much.
There is a CSS hack at the Mozilla customizing site for switching screen resolution on a per-site basis, and I have playing with it on my Todo list.
Sounds like you're thinking of per-site user CSS, which has nothing to do with screen resolution, beyond compensating for sites that presume you're using common low screen resolutions like 1024x768 or less and setting their CSS font sizes in small px values. Site specific CSS was not implemented until after Firefox 1.0 branched over a year and a half ago, and will make its official Firefox debut in v1.5 within about a week or so.
I am still looking for a system-wide fix.
Is everything on your system seeing the same DPI? Is your DPI appropriately set? -- "I can do all things through Him who gives me strength." Philippians 4:13 NIV Team OS/2 ** Reg. Linux User #211409 Felix Miata *** http://members.ij.net/mrmazda/auth/