[blep_]

It's almost like font size should have been solely a per-user setting in the browser, and not a per-page setting.