diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-11-02 22:06:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-02 22:06:29 +0100 |
| commit | 36d813498c50b9014463f5b7162066113fdb57f1 (patch) | |
| tree | 83a34d1def5e2e91aa71653850c5e7de06eb60f6 /compiler/rustc_codegen_llvm/src | |
| parent | 88f9f49b47cea22a28d91932ed5d3100d127512e (diff) | |
| parent | deb6538348644b5b8357a0f5dd3b34b27702ed43 (diff) | |
| download | rust-36d813498c50b9014463f5b7162066113fdb57f1.tar.gz rust-36d813498c50b9014463f5b7162066113fdb57f1.zip | |
Rollup merge of #103890 - notriddle:notriddle/mobile-rustdoc-padding-top, r=GuillaumeGomez
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 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions