Re: [CSS21] [css3-values] px and device pixels

Trying again with less quoting, since original bounced as
550_apparent_spam_rejected.

On 2008/03/25 21:09 (GMT-0700) Brad Kemper apparently typed:

[re: application/scaled px]

> What exactly is the use case for this?

AFAIK, the DOM doesn't know there could be a difference, as I wrote in
https://bugzilla.mozilla.org/show_bug.cgi?id=424375

See also the apparent theme margin/padding wackiness in
https://bugzilla.mozilla.org/attachment.cgi?id=310996 in that bug.

Some Linux users have been seeing 144 DPI or higher reported via DDC/EDID,
and are not pleased with the look of the standard themes when it happens. So
far, layout.css.dpi can be used to make Gecko use less than 144 DPI, but it's
only a kludge that will need to be dealt with when significant numbers of
developers have ready access to 144 or higher environments. I'm guessing
their job might be easier if they had scaled px to work with in theming CSS.
-- 
Let us love by what we do." 1 John 3:18 NLV

 Team OS/2 ** Reg. Linux User #211409

Felix Miata  ***  http://mrmazda.no-ip.com/

Received on Wednesday, 26 March 2008 05:47:54 UTC