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

Move margin_a.html to wpt reftests.

Browse source
This commit is contained in:
Ms2ger 2015-11-20 11:56:42 +01:00
parent 872334a364
commit 1a55b4a5fe
4 changed files with 25 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2559,6 +2559,18 @@
"url": "/_mozilla/css/many_brs_a.html"
}
],
"css/margin_a.html": [
{
"path": "css/margin_a.html",
"references": [
[
"/_mozilla/css/margin_b.html",
"=="
]
],
"url": "/_mozilla/css/margin_a.html"
}
],
"css/margin_padding_inline_block_a.html": [
{
"path": "css/margin_padding_inline_block_a.html",
@ -7792,6 +7804,18 @@
"url": "/_mozilla/css/many_brs_a.html"
}
],
"css/margin_a.html": [
{
"path": "css/margin_a.html",
"references": [
[
"/_mozilla/css/margin_b.html",
"=="
]
],
"url": "/_mozilla/css/margin_a.html"
}
],
"css/margin_padding_inline_block_a.html": [
{
"path": "css/margin_padding_inline_block_a.html",

75
tests/wpt/mozilla/tests/css/margin_a.html Normal file
View file

@ -0,0 +1,75 @@
<html>
<head>
<link rel=match href=margin_b.html>
<title>margin</title>
<style>
html {
font-size: 15px;
}
div {
background: yellow;
padding: 10px 10px 10px 10px;
margin: 10px 10px 10px 10px;
}
p {
color: white;
background: blue;
padding: 10px 10px 10px 10px;
margin: 10px 10px 10px 10px;
border-style: solid;
border-width: medium;
border-color: red;
}
.nomargin {
margin: 0px 10px 0px 10px;
}
.margin5 {
margin: 5px 10px 5px 10px;
}
.margin10 {
margin: 10px 10px 10px 10px;
}
.margin15 {
margin: 15px 10px 15px 10px;
}
.margin25 {
margin: 25px 10px 25px 10px;
}
.nopadding {
padding: 0px 0px 0px 0px;
}
.noborder {
border: 0px 0px 0px 0px;
}
</style>
</head>
<body>
<div>
<p class="margin15">p1</p>
<p class="margin10">p2</p>
<p class="margin15">p3</p>
</div>
<div class="nopadding" class="noborder" class="margin15">
<p>p4</p>
<p>p5</p>
</div>
<div class="margin5">
<p class="margin10">p6</p>
<p class="margin5">p7</p>
<p class="margin15">p8</p>
</div>
<div class="nopadding" class="noborder" class="margin15">
<p class="nomargin">p9</p>
</div>
<div class="nopadding" class="noborder" class="nomargin">
<p class="margin15">p10</p>
</div>
<div class="nopadding" class="noborder" class="nomargin">
<p class="margin15">p11</p>
</div>
<div class="nopadding" class="noborder" class="margin5">
<p class="margin25">p12</p>
</div>
</body>
</html>

74
tests/wpt/mozilla/tests/css/margin_b.html Normal file
View file

@ -0,0 +1,74 @@
<html>
<head>
<title>margin</title>
<style>
html {
font-size: 15px;
}
div {
background: yellow;
padding: 10px 10px 10px 10px;
margin: 10px 10px 10px 10px;
}
p {
color: white;
background: blue;
padding: 10px 10px 10px 10px;
margin: 10px 10px 10px 10px;
border-style: solid;
border-width: medium;
border-color: red;
}
.nomargin {
margin: 0px 10px 0px 10px;
}
.margin5 {
margin: 5px 10px 5px 10px;
}
.margin10 {
margin: 10px 10px 10px 10px;
}
.margin15 {
margin: 15px 10px 15px 10px;
}
.margin25 {
margin: 25px 10px 25px 10px;
}
.nopadding {
padding: 0px 0px 0px 0px;
}
.noborder {
border: 0px 0px 0px 0px;
}
</style>
</head>
<body>
<div>
<p class="margin15">p1</p>
<p class="margin5">p2</p>
<p class="margin15">p3</p>
</div>
<div class="nopadding" class="noborder" class="margin15">
<p>p4</p>
<p>p5</p>
</div>
<div class="margin10">
<p class="margin10">p6</p>
<p class="nomargin">p7</p>
<p class="margin15">p8</p>
</div>
<div class="nopadding" class="noborder" class="margin15">
<p class="nomargin">p9</p>
</div>
<div class="nopadding" class="noborder" class="nomargin">
<p class="margin15">p10</p>
</div>
<div class="nopadding" class="noborder" class="nomargin">
<p class="margin10">p11</p>
</div>
<div class="nopadding" class="noborder" class="nomargin">
<p class="margin25">p12</p>
</div>
</body>
</html>