- 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
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 UTC