W3C home > Mailing lists > Public > www-style@w3.org > April 2012

Re: [css3-fonts] Addition of font-size: xxx-large

From: Aryeh Gregor <ayg@aryeh.name>
Date: Thu, 19 Apr 2012 10:40:38 +0300
Message-ID: <CAKA+Axkr7FAqtW0jQrVcCinN282rBcOa2GeDtOHoxNp0tm9Vsg@mail.gmail.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:14 UTC