rustdoc: remove font family CSS on .rustdoc-toggle summary::before#102624
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 4, 2022
Merged
rustdoc: remove font family CSS on `.rustdoc-toggle summary::before`#102624bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
