From a3c52c2cfe7ee5c3382ac0579eb96ec6962b7f47 Mon Sep 17 00:00:00 2001
From: John Preston <johnprestonmail@gmail.com>
Date: Tue, 22 Aug 2023 11:32:52 +0200
Subject: [PATCH] Make box content divider smaller.

---
 ui/layers/layers.style | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/layers/layers.style b/ui/layers/layers.style
index 4f487ef..1a3caa7 100644
--- a/ui/layers/layers.style
+++ b/ui/layers/layers.style
@@ -156,7 +156,7 @@ boxLoadingSize: 20px;
 
 boxDividerTop: icon {{ "box_divider_top", boxDividerFg }};
 boxDividerBottom: icon {{ "box_divider_bottom", boxDividerFg }};
-boxDividerHeight: 10px;
+boxDividerHeight: 8px;
 
 separatePanelBorderCacheSize: 60px;
 separatePanelTitleHeight: 62px;