mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-01 22:55:23 +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;'
29 lines
494 B
HTML
29 lines
494 B
HTML
<!doctype html>
|
|
<html><head>
|
|
<title>Border clipping</title>
|
|
<style>
|
|
.div1 { width: 50px; height: 50px;
|
|
border: 10px solid black;
|
|
border-radius: 20px;
|
|
position: fixed;
|
|
left: 50px;
|
|
top: 50px;
|
|
}
|
|
|
|
.div2 {
|
|
width: 40px; height: 40px;
|
|
border: 10px solid black;
|
|
background: black;
|
|
border-radius: 10px;
|
|
position: fixed;
|
|
left: 55px;
|
|
top: 55px;
|
|
}
|
|
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<div class="div1"/>
|
|
<div class="div2"/>
|
|
</body></html>
|