Minor cleanup in rustdoc --check-theme#70706

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

gizmondo:check-themegizmondo/rust:check-themeCopy head branch name to clipboard