From be9333c274ff67e4e3e8c812cab00effa6fc2724 Mon Sep 17 00:00:00 2001 From: Stewart Allen Date: Tue, 24 Feb 2026 01:14:36 -0500 Subject: [PATCH] better solution for left/right borders --- web/kiri/index.css | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/web/kiri/index.css b/web/kiri/index.css index fef9f1b5..614d1ed4 100644 --- a/web/kiri/index.css +++ b/web/kiri/index.css @@ -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);