rustdoc: remove no-op CSS `.code-header { border-bottom: none }`#103424

Merged

bors merged 1 commit intorust-lang:masterfrom

notriddle:notriddle/code-header-border-bottom-none

Oct 24, 2022

Commits on Oct 23, 2022

rustdoc: remove no-op CSS `.code-header { border-bottom: none }`
notriddle
committed