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
..
animated	style: Correct background/foreground ratio mixing.	2018-07-16 19:44:04 +02:00
computed	style: Make webkit device-pixel-ratio media queries a proper alias to resolution.	2018-08-18 17:54:54 +02:00
generics	style: Avoid getting zero normalized vector of rotate3d for animations.	2018-07-24 03:26:12 +02:00
specified	style: Simplify some code in NoCalcLength::parse_dimension.	2018-08-18 17:54:54 +02:00
distance.rs	Run rustfmt on selectors, servo_arc, and style.	2018-04-10 17:35:15 -07:00
mod.rs	style: Avoid useless allocations in custom property name serialization.	2018-06-12 12:15:11 -07:00