Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rustdoc: remove unused mobile CSS
.rustdoc { padding-top: 0 }
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
- Loading branch information