rustdoc: remove no-op CSS #settings-menu { padding: 0 }#101584
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 9, 2022
Merged
rustdoc: remove no-op CSS `#settings-menu { padding: 0 }`#101584bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
