minor UI tweaks

This commit is contained in:
2026-01-18 08:39:30 -05:00
parent 01551790ea
commit 2e3a11a9bb
2 changed files with 67 additions and 34 deletions

View File

@@ -248,12 +248,20 @@ body.is-resizing {
}
.sub-panel .panel-body {
padding: 0 12px 12px;
padding: 12px;
}
.panel-body {
margin-top: 0;
padding: 0 16px 16px;
padding: 12px 16px 16px;
}
.sub-panel .panel-body.panel-body-inherited {
padding: 0 12px 12px;
}
.sub-panel .scope-group-inherited {
margin-top: 0;
}
.panel[open] .panel-summary {