- From: Aryeh Gregor <ayg@aryeh.name>
- Date: Thu, 19 Apr 2012 10:40:38 +0300
- To: Ryosuke Niwa <rniwa@webkit.org>
- Cc: John Daggett <jdaggett@mozilla.com>, Christoph Päper <christoph.paeper@crissov.de>, "Kang-Hao (Kenny) Lu" <kennyluck@csail.mit.edu>, WWW Style <www-style@w3.org>, Ehsan Akhgari <ehsan@mozilla.com>
On Wed, Apr 18, 2012 at 6:42 PM, Ryosuke Niwa <rniwa@webkit.org> wrote: > Only if the mapping was that simple... > > http://trac.webkit.org/browser/trunk/Source/WebCore/css/CSSStyleSelector.cpp?rev=113922#L4920 Well, we don't have to care about what happens if the user changes their preferences. They can make all kinds of crazy things happen. But the default is different for different fonts -- sigh. As soon as I do <font size=7 face=monospace>, browsers give totally different computed sizes -- 45px in Chrome, 36px in Gecko, 48px in IE/Opera. But for all I know those are only valid on the specific systems I tested on. So really, at this point what I'd like to see is actual standardization of the meaning of the various <font size>s. Ideally, they should be standardized at fixed pixel sizes regardless of font-family -- with any luck that's web-compatible. If not, I guess we're stuck with <font size=7> even in CSS mode.
Received on Thursday, 19 April 2012 07:41:33 UTC