rustdoc: instead of .setting-name { width: 100% }, use default div CSS#106996
Merged
bors merged 2 commits intorust-lang:masterfrom notriddle:notriddle/settings-line-divJan 18, 2023
+28-5
.setting-name { width: 100% }, use default div CSS#106996