rustdoc: simplify settings popover DOM, CSS, JS#107232
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 25, 2023
Merged
rustdoc: simplify settings popover DOM, CSS, JS#107232bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom