Commit deb6538
committed
rustdoc: remove unused mobile CSS
When this rule was added in dd437ee, as
`body { padding-top: 0 }`, the desktop body tag had non-zero top padding.
This padding was removed in 135281e.
This rule no longer overrides a rule in rustdoc's desktop styles, and also
doesn't override the UA stylesheet, since the [HTML standard] has only
margin, not padding, on the page body.
[HTML standard]: https://html.spec.whatwg.org/multipage/rendering.html#the-page.rustdoc { padding-top: 0 }
1 parent c0a7612 commit deb6538
1 file changed
+0
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1677 | 1677 | | |
1678 | 1678 | | |
1679 | 1679 | | |
1680 | | - | |
1681 | 1680 | | |
1682 | 1681 | | |
1683 | 1682 | | |
| |||
0 commit comments