rustdoc: remove no-op CSS nav.sub { font-size: 1rem }
#103268
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 20, 2022
Merged
rustdoc: remove no-op CSS `nav.sub { font-size: 1rem }`#103268bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom