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

Re: [css3-mediaqueries] Is 'resolution' in terms of device pixels or CSS pixels?

From: Anne van Kesteren <annevk@opera.com>
Date: Mon, 07 Apr 2008 14:11:05 +0200
To: "L. David Baron" <dbaron@dbaron.org>, www-style@w3.org
Message-ID: <op.t88pgrrb64w2qv@annevk-t60.oslo.opera.com>

On Mon, 07 Apr 2008 06:00:08 +0200, L. David Baron <dbaron@dbaron.org>  
wrote:
> The 'resolution' media feature has two new units, 'dpi' and 'dpcm'.
> Are these "dots" supposed to be device pixels or CSS pixels?

I'm not sure.


> (I'm not sure what the use cases for this feature are.  One that I
> could come up with is switching which images to serve (to save
> bandwidth) for images whose sizes are specified in physical units.
> For this use case device pixels would be better.  However, I'm not
> sure what other use cases people have.)

I would not be against dropping this feature.


> http://www.w3.org/TR/2007/CR-css3-mediaqueries-20070606/#units is
> clear that 'px' always mean CSS pixels, but I don't see anywhere
> that defines 'dpi' and 'dpcm'.  (I'd lean towards saying the current
> spec suggests that it's device pixels, but I don't think it's
> clear.)

Would device pixels be better here?


-- 
Anne van Kesteren
<http://annevankesteren.nl/>
<http://www.opera.com/>
Received on Monday, 7 April 2008 12:11:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 13:55:04 GMT