Fix theme margins

Fix spacing that was changed due to the restructuring of foldable tool
panels.
This commit is contained in:
Lawrence Lee
2021-12-19 14:51:47 -08:00
parent 012103b4e2
commit a7010d25cd
14 changed files with 85 additions and 68 deletions

View File

@@ -766,6 +766,29 @@ button.radio#histButton:hover {
border-bottom: none;
}
/* ExpanderContents is just a logical container. Don't add additional spacing. */
#ExpanderBox > .ExpanderContents > * {
margin: 0;
min-height: 0;
padding: 0;
}
/* For sub-tools containers that go below another widget, add some margin
* between them if the container has children. */
#MyExpander .SubToolsContainer:not(:first-child) > :first-child {
margin-top: 0.3333333333333333em;
}
#MyExpander .SubToolsContainer {
min-height: 0;
}
.SubToolsContainer > #MyExpander,
.ToolParamBlock > #MyExpander,
.ExpanderContents,
#MyExpander .ToolParamBlock {
margin: 0;
}
/* Tool background */
#ExpanderBox > box,
@@ -1046,6 +1069,10 @@ dialog frame > label:not(.dummy) {
padding: 0;
}
#ToolPanelNotebook .PanelEnding {
margin-top: 4px;
}
#ToolPanelNotebook header tabs {
padding: 0.0833333333333333em;
background-color: #2A2A2A;