mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 12:37:37 +00:00
8537cb241d
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;'
28 lines
480 B
HTML
28 lines
480 B
HTML
<!doctype html>
|
|
<html><head>
|
|
<title>Border clipping</title>
|
|
<style>
|
|
.div1 { width: 50px; height: 50px;
|
|
border: 10px solid blue;
|
|
position: fixed;
|
|
background: blue;
|
|
left: 50px;
|
|
top: 50px;
|
|
}
|
|
|
|
.div2 { width: 50px; height: 50px;
|
|
border: 10px solid red;
|
|
position: fixed;
|
|
background: red;
|
|
left: 80px;
|
|
top: 80px;
|
|
border-radius: 10px;
|
|
}
|
|
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<div class="div1"/>
|
|
<div class="div2"/>
|
|
</body></html>
|