rustdoc: remove no-op CSS .srclink { font-weight; font-size }#102330
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 28, 2022
Merged
rustdoc: remove no-op CSS .srclink { font-weight; font-size }#102330bors merged 1 commit intorust-lang:masterfrom
.srclink { font-weight; font-size }#102330bors merged 1 commit intorust-lang:masterfrom