rustdoc: remove no-op mobile CSS .sidebar { margin: 0; padding: 0 }
#105309
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 6, 2022
Merged
rustdoc: remove no-op mobile CSS `.sidebar { margin: 0; padding: 0 }`#105309bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom