better solution for left/right borders

This commit is contained in:
Stewart Allen 2026-02-24 01:14:36 -05:00
commit be9333c274

View file

@ -850,16 +850,9 @@ details[open] summary::after {
#panel-left {
padding-right: 5px;
}
#panel-right > div {
border-left: 1px solid var(--border-gray);
}
#panel-right > div.bottom, .set2-group.bottom {
border-bottom: 1px solid var(--border-gray);
}
#panel-slide {
/* border-right: 1px solid var(--border-gray); */
/* border-bottom: 1px solid var(--border-gray); */
}
.slideshow #panel-slide {
padding-right: 1px;
border-right: 20px solid rgba(128,128,128,0.3);
@ -2222,11 +2215,17 @@ details[open] summary::after {
#dev-list:hover {
background-color: var(--blue-4);
}
#panel-left .set2-group {
border-right: 1px solid var(--border-gray);
}
#panel-right .set2-group {
border-left: 1px solid var(--border-gray);
}
.set2-group {
background-color: var(--menubar-back);
flex-flow: column;
padding: 0 0 2px 0;
border-right: 1px solid var(--border-gray);
/* border-bottom: 1px solid var(--border-gray); */
}
.set2-group .var-row, .var-row {
background: var(--menubar-back);