I've just made a breakthrough. Setting layout.css.devPixelsPerPx to 1.7 is better than setting zoom because a) you don't have to type ctrl-0 all the time, and b) you can still zoom out or in if you want.
I had to change the font size of the menus though, as they were too large. That can be done by setting up a userChrome.css. _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
