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