rustdoc: instead of .setting-name { width: 100% }, use default div CSS

This commit is contained in:
Michael Howell 2023-01-17 11:49:36 -07:00
parent 38a76f3322
commit 54089e6390
2 changed files with 1 additions and 5 deletions

View File

@ -33,10 +33,6 @@
padding-bottom: 1px;
}
.radio-line .setting-name {
width: 100%;
}
.radio-line .choice {
margin-top: 0.1em;
margin-bottom: 0.1em;

View File

@ -135,7 +135,7 @@
// This is a select setting.
output += `\
<div class="radio-line" id="${js_data_name}">
<span class="setting-name">${setting_name}</span>
<div class="setting-name">${setting_name}</div>
<div class="choices">`;
onEach(setting["options"], option => {
const checked = option === setting["default"] ? " checked" : "";