- From: Kenneth Rohde Christiansen <kenneth.christiansen@gmail.com>
- Date: Thu, 21 Mar 2013 21:34:40 +0100
- To: Florian Rivoal <florian@rivoal.net>
- Cc: Mark Watson <watsonm@netflix.com>, "www-style@w3.org" <www-style@w3.org>
Yes, you can check whether the value is equal to a value, but not ask
directly what that value is. For instance on the Nexus 7 the value is
something like 1.324312
Kenneth
On Thu, Mar 21, 2013 at 9:23 PM, Florian Rivoal <florian@rivoal.net> wrote:
> 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
>
--
Kenneth Rohde Christiansen
Senior Engineer, WebKit, Qt, EFL
Phone +45 4294 9458 / E-mail kenneth at webkit.org
﹆﹆﹆
Received on Thursday, 21 March 2013 20:35:30 UTC