rustdoc: remove no-op CSS h1-6 { border-bottom-color }#102034
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 20, 2022
Merged
rustdoc: remove no-op CSS `h1-6 { border-bottom-color }`#102034bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom