rustdoc: remove unused mobile CSS .rustdoc { padding-top: 0 }#103890
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2022
Merged
rustdoc: remove unused mobile CSS .rustdoc { padding-top: 0 }#103890bors merged 1 commit intorust-lang:masterfrom
.rustdoc { padding-top: 0 }#103890bors merged 1 commit intorust-lang:masterfrom