Re: Mozilla 0.9.5, font sizes
On Tue, 16 Oct 2001, Alan Shutko wrote:
> "Karsten M. Self" <firstname.lastname@example.org> writes:
> > To this extent, the CSS spec is severely flawed in that it grants
> > precedence to website author, not reader. This is bass ackwards.
> One major point of CSS was explicitly to grant precedence to reader to
> override things. It's browser vendors/authors who have been unable to
> grasp this concept, and come up with a decent UI.
Mozilla has a perfectly good UI for this. Just uncheck that box in the
font preferences panel that allows web pages to use their own fonts. Your
fonts will be used all the time.
In galeon, there is fast access to this preferences in the main menubar.
Just pick View->use my fonts (or whatever it really is).
Finally, any rule that appears in user.css with an important selector will
override any web page. If you insist on certain fonts, you can simply
define a rule in user.css for the <body> element with font-size: 500pts.
Neither the W3C nor Mozilla have failed us in this regard.