From c9cd4cea2a3b2f38e2624de117ff3340b68de5e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ville=20P=C3=A4tsi?= <drc@gimp.org>
Date: Mon, 12 Jun 2023 22:43:41 +0200
Subject: [PATCH] themes: less thick menu separators and thick dark borders in
 menu tooltips.

---
 themes/Default/common.css | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/themes/Default/common.css b/themes/Default/common.css
index 95e4c468dc..28ff367f88 100644
--- a/themes/Default/common.css
+++ b/themes/Default/common.css
@@ -250,6 +250,10 @@ paned separator {
   padding: 3px;
 }
 
+paned menu separator {
+    padding: 0px;
+}
+
 .view button {
   background-color: @bg-color;
   border-color: @border-color;
@@ -350,8 +354,9 @@ tooltip {
 
 /* The border around a tooltip */
 .background {
-  background-color: @border-color;
-  border: 1px;
+  background-color: @bg-color;
+  border-color: @border-color;
+  border-width: 1px;
 }
 
 /* The border around a frame */