Minor editor CSS cleanup.

This commit is contained in:
Dermot Duffy
2022-10-01 12:08:26 -07:00
parent b9d1d019c2
commit 3e02aeb80b
2 changed files with 8 additions and 13 deletions
+4 -9
View File
@@ -72,29 +72,24 @@ div.upgrade span {
padding-right: 15px;
}
.submenu {
border: 1px solid var(--divider-color);
}
.submenu.selected {
border: 1px solid var(--primary-color);
}
// Nested menus should shrink width.
.submenu .submenu {
.submenu {
width: calc(100% - 10px * 2);
margin-left: auto;
margin-right: auto;
margin-bottom: 10px;
}
.submenu .submenu:first-child {
// Add a margin above a submenu unless it's another submenu.
.submenu:first-child,
:not(.submenu) + .submenu {
margin-top: 10px;
}
.submenu :not(.submenu.selected) {
border: none;
}
.submenu .controls {
display: inline-block;
margin-left: auto;