Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fixed test failures.

Browse source
This commit is contained in:
Per Lundberg 2016-04-30 22:01:04 +03:00
parent adf68626bd
commit 220722e321
3 changed files with 1 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

1
resources/servo.css
View file

@ -1,3 +1,4 @@
button,
input { background: white; min-height: 1.0em; padding: 0em; padding-left: 0.25em; padding-right: 0.25em; border: solid lightgrey 1px; color: black; font-family: sans-serif; font-size: 0.7em; white-space: nowrap; text-align: left; line-height: 1.8; } input { background: white; min-height: 1.0em; padding: 0em; padding-left: 0.25em; padding-right: 0.25em; border: solid lightgrey 1px; color: black; font-family: sans-serif; font-size: 0.7em; white-space: nowrap; text-align: left; line-height: 1.8; }
textarea { background: white; min-height: 1.0em; padding: 0em; padding-left: 0.25em; padding-right: 0.25em; border: solid lightgrey 1px; color: black; font-family: sans-serif; font-size: 0.7em; white-space: pre; } textarea { background: white; min-height: 1.0em; padding: 0em; padding-left: 0.25em; padding-right: 0.25em; border: solid lightgrey 1px; color: black; font-family: sans-serif; font-size: 0.7em; white-space: pre; }
input::selection, input::selection,

5
tests/wpt/mozilla/tests/css/submit_focus_a.html
View file

@ -1,9 +1,4 @@
<link rel='match' href='submit_focus_b.html'> <link rel='match' href='submit_focus_b.html'>
<style>
button {
display: inline-block;
}
</style>
<button id="1">Submit</button> <button id="1">Submit</button>
<script> <script>
var elem = document.getElementById('1'); var elem = document.getElementById('1');

6
tests/wpt/mozilla/tests/css/submit_focus_b.html
View file

@ -1,9 +1,3 @@
<style>
input {
padding-left: 0;
padding-right: 0;
}
</style>
<input id="1" type="submit"></input> <input id="1" type="submit"></input>
<script> <script>
var elem = document.getElementById('1'); var elem = document.getElementById('1');