diff options
| author | Michael Howell <michael@notriddle.com> | 2022-11-02 10:10:44 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-11-02 10:10:44 -0700 |
| commit | deb6538348644b5b8357a0f5dd3b34b27702ed43 (patch) | |
| tree | f3a1a4f00ab1e43d44ad9c2c67490cce01ace417 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | c0a76127283bc963b085f54a1b275a8e281e81e6 (diff) | |
| download | rust-deb6538348644b5b8357a0f5dd3b34b27702ed43.tar.gz rust-deb6538348644b5b8357a0f5dd3b34b27702ed43.zip | |
rustdoc: remove unused mobile CSS `.rustdoc { padding-top: 0 }`
When this rule was added in dd437ee6ed81f85c715bf415d261feca484bb39f, as
`body { padding-top: 0 }`, the desktop body tag had non-zero top padding.
This padding was removed in 135281ed1525db15edd8ebd092aa10aa40df2386.
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
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions