Emilio Cobos Álvarez
|
67f2185f54
|
style: Make webkit device-pixel-ratio media queries a proper alias to resolution.
According to the spec:
https://compat.spec.whatwg.org/#css-media-queries-webkit-device-pixel-ratio
And to the Chromium implementation:
https://cs.chromium.org/chromium/src/third_party/blink/renderer/core/css/media_query_evaluator.cc?l=366&rcl=1d7328865bcf06a687aafc18ff95d55317030672
They're no different than resolution.
In our implementation `resolution` does slightly different stuff. Given we
still haven't shipped -webkit-device-pixel-ratio, making this match resolution
looks better than the opposite.
Differential Revision: https://phabricator.services.mozilla.com/D3588
|
2018-08-18 17:54:54 +02:00 |
|