rustdoc: simplify settings, help, and copy button CSS by not reusing#106234
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 29, 2022
Merged
rustdoc: simplify settings, help, and copy button CSS by not reusing#106234bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom