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

Trying again with less quoting, since original bounced as

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

See also the apparent theme margin/padding wackiness in 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  ***

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