Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-01 00:59:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make border radii clip their contents.

Browse source 
Needed for browser.html rounded corners.
This commit is contained in:
Patrick Walton 2016-02-29 14:31:08 -08:00
parent aea8d8959d
commit 28a71c4820
5 changed files with 70 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

24
tests/wpt/mozilla/meta/MANIFEST.json
View file

@ -788,6 +788,18 @@
"url": "/_mozilla/css/border_radius_clip_a.html"
}
],
"css/border_radius_clipping_contents_a.html": [
{
"path": "css/border_radius_clipping_contents_a.html",
"references": [
[
"/_mozilla/css/border_radius_clipping_contents_ref.html",
"=="
]
],
"url": "/_mozilla/css/border_radius_clipping_contents_a.html"
}
],
"css/border_radius_dashed_a.html": [
{
"path": "css/border_radius_dashed_a.html",
@ -6988,6 +7000,18 @@
"url": "/_mozilla/css/border_radius_clip_a.html"
}
],
"css/border_radius_clipping_contents_a.html": [
{
"path": "css/border_radius_clipping_contents_a.html",
"references": [
[
"/_mozilla/css/border_radius_clipping_contents_ref.html",
"=="
]
],
"url": "/_mozilla/css/border_radius_clipping_contents_a.html"
}
],
"css/border_radius_dashed_a.html": [
{
"path": "css/border_radius_dashed_a.html",