W3C home > Mailing lists > Public > www-style@w3.org > March 2013

Re: [mediaqueries4] Media queries for multichannel audio ?

From: Florian Rivoal <florian@rivoal.net>
Date: Thu, 21 Mar 2013 21:23:13 +0100
To: "Mark Watson" <watsonm@netflix.com>, "Kenneth Rohde Christiansen" <kenneth.r.christiansen@intel.com>
Cc: "www-style@w3.org" <www-style@w3.org>
Message-ID: <op.wubb8zs7f5de51@riboaru-nashiosamus-imac-2.local>
On Wed, 20 Mar 2013 16:09:02 +0100, Kenneth Rohde Christiansen  
<kenneth.r.christiansen@intel.com> wrote:

> WebKit has devicePixelRatio so you can device the device size by using
> that. Something to query that should probably be standardized, but
> media queries are not exactly for querying exact values.

Something has been standardized, actually:

http://www.w3.org/TR/css3-mediaqueries/#resolution

The following:

   @media (min-resolution: 2dppx) { ... }

is completely equivalent to:

   @media (min-device-pixel-ratio: 2) { ... }

if the dppx unit is not available, you can get the exact same result (if a  
bit less author friendly) with

@media (min-resolution: 192dpi) { ... }

The dppx / dpcm / dpi units are defined in terms of device pixel per CSS  
px / CSS cm / CSS inch, so that it would work.

  - Florian
Received on Thursday, 21 March 2013 20:23:42 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 17:21:07 GMT