Jan Andre Ikenmeyer
|
1d6fe65401
|
Update MPL license to https (part 4)
|
2018-11-19 14:47:27 +01:00 |
|
Simon Sapin
|
a15d33a10e
|
cargo fix --edition
|
2018-11-10 17:47:28 +01:00 |
|
Pyfisch
|
9e92eb205a
|
Reorder imports
|
2018-11-06 22:35:07 +01:00 |
|
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 |
|
Emilio Cobos Álvarez
|
164bfbcb40
|
Make servo-tidy happy.
|
2018-05-19 10:15:17 +02:00 |
|
Emilio Cobos Álvarez
|
2f18b67ce1
|
style: Make resolutions more like the rest of the CSS values.
Bug: 1460655
Reviewed-by: xidorn
MozReview-Commit-ID: 3Gt8VX1KhjC
|
2018-05-19 10:15:17 +02:00 |
|