rustdoc: remove CSS @media (min-width: 701px)
#103164
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 19, 2022
Merged
rustdoc: remove CSS `@media (min-width: 701px)`#103164bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom