gecko/layout/reftests/image-element/element-paint-sharpness-01b.html
Zack Weinberg ext:(%2C%20L.%20David%20Baron%20%3Cdbaron%40dbaron.org%3E) e4c76eccb0 Bug 451134 (1/2): switch to the official border-radius property names: purely mechanical changes. r=dbaron a2.0=blocking2.0:beta6
This was generated with the command:

LC_ALL=C grep -irlEZe '[-_]moz[-_]border[-_]radius([-_](top|bottom)(right|left))?' * | xargs -0 perl -pi -e \
    's/-moz-border-radius-(top|bottom)(left|right)/border-${1}-${2}-radius/gi;
     s/_moz_border_radius_(top|bottom)Right/border_${1}_right_radius/g;
     s/_moz_border_radius_(top|bottom)Left/border_${1}_left_radius/g;
     s/-moz-border-radius/border-radius/gi;
     s/_moz_border_radius/border_radius/g;'
2010-09-09 08:21:47 -07:00

13 lines
350 B
HTML

<!--
Any copyright is dedicated to the Public Domain.
http://creativecommons.org/licenses/publicdomain/
Test that background-size and zooming don't degrade rendering sharpness.
-->
<!DOCTYPE html>
<html>
<body style="margin:0">
<div style="width:200px; height:200px; border-radius:100%; background-color:lime;"></div>
</body>
</html>