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

Merge pull request #3499 from pcwalton/ua-fixes

Browse source 
style: Tweak the UA style a little bit.

Reviewed-by: SimonSapin
This commit is contained in:
bors-servo 2014-09-27 03:03:31 -06:00
commit a2220f1ea4
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
components/style/user-agent.css
View file

@ -25,8 +25,8 @@ hr, menu, pre { display: block; unicode-bidi: embed }
h3 { font-size: 1.17em; margin: .83em 0 } h3 { font-size: 1.17em; margin: .83em 0 }
h4, h4,
blockquote, blockquote,
fieldset, form, fieldset, dir,
dir, menu { margin: 1.12em 0 } menu { margin: 1.12em 0 }
h5 { font-size: .83em; margin: 1.5em 0 } h5 { font-size: .83em; margin: 1.5em 0 }
h6 { font-size: .75em; margin: 1.67em 0 } h6 { font-size: .75em; margin: 1.67em 0 }
h1, h2, h3, h4, h1, h2, h3, h4,
@ -116,3 +116,4 @@ area:link,
link:link { color: blue } link:link { color: blue }
script { display: none } script { display: none }
style { display: none } style { display: none }
input[type="hidden"] { display: none !important }