> And you can add hard coded font sizes in websites to that list, I know
> you can overide stylesheets but it's annoying to have to go to such
> lengths to read sites like cnn.com.

It's actually really easy to do in mozilla. Just add one line to your
prefs.js and you're done, forever. No recurring annoyance, no per-site
policies.

user_pref("font.minimum-size.x-western", 13);

See http://www.mozilla.org/unix/customizing.html for details. Search the
page for the string "Don't ever"


-- 
Mike Schiraldi
VeriSign Applied Research

Attachment: smime.p7s
Description: application/pkcs7-signature

Reply via email to