[OT] Web font sizing

[Walter Bright]

Stewart Gordon wrote:
> But maybe it's acceptable if all you're doing is compensating for the 
> font you've chosen looking a little bigger or smaller at the same point 
> size than the default Times New Roman.  That said:
> - somebody might have set a different font as default in browser 
> settings or a user stylesheet
> - who decreed that the factory default in all graphical browsers shall 
> be Times New Roman, anyway?

With style sheets, you can set the font size as larger or smaller than the 
default. This should be good enough. Setting fonts as pixel sizes is just wrong.