rustdoc: instead of .setting-name { width: 100% }
, use default div CSS#106996
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 18, 2023
Merged
rustdoc: instead of `.setting-name { width: 100% }`, use default div CSS#106996bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom