rustdoc: simplify CSS selectors on top-doc and non-exhaustive toggles#105320
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 6, 2022
Merged
rustdoc: simplify CSS selectors on top-doc and non-exhaustive toggles#105320bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
