rustdoc: remove no-op CSS #main-content > .item-info { margin-top: 0 }#103940
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 4, 2022
#main-content > .item-info { margin-top: 0 }#103940