From 0351f48dfebbce20baa5c7082fe16041fe899f33 Mon Sep 17 00:00:00 2001
From: Alx Sa <cmyk.student@gmail.com>
Date: Thu, 28 Dec 2023 16:47:10 +0000
Subject: [PATCH] themes: Defining menu, tab, and tooltip styles

This is intended to prevent system theme background-images
and borders from overriding those set by GIMP.
The minimum size of tabs is also explicitly defined.
---
 themes/Default/common.css | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/themes/Default/common.css b/themes/Default/common.css
index c551ff2dea..35cb82acee 100644
--- a/themes/Default/common.css
+++ b/themes/Default/common.css
@@ -145,10 +145,14 @@ notebook header button {
 
 /* Use this to make a border or padding around each tab */
 notebook header tabs tab {
-  padding: 1px;
+  background-color: @bg-color;
+  background-image: none;
+  border: 1px solid @strong-border-color;
   margin-left: 2px;
   margin-right: 2px;
-  border: 1px solid @strong-border-color;
+  min-width: 30px;
+  min-height: 30px;
+  padding: 1px;
 }
 
 /* The underline for selected tabs */
@@ -216,6 +220,7 @@ toolbutton button.flat {
 
 toolbutton button.flat:hover {
   background: @selected-color;
+  border: 1px solid @edge-border-color;
 }
 
 toolbutton button.flat:checked,
@@ -433,10 +438,18 @@ radio {
 
 /* Removes "blurred" effect from tooltip label */
 tooltip {
+  background-color: @bg-color;
   background-image: none;
+  border: 1px solid @edge-border-color;
   text-shadow: 0 0;
 }
 
+tooltip box
+{
+  background-color: @bg-color;
+  border: 0px solid @transparent;
+}
+
 /* The border around a tooltip */
 .background {
   background-color: @bg-color;
@@ -466,9 +479,15 @@ border {
 /* give the menu bar a color, fix for the default color being too dark */
 menubar {
   background-color: @bg-color;
+  background-image: none;
   box-shadow: 0 -1px @edge-border-color inset;
 }
 
+menuitem:hover, menuitem:selected
+{
+  border: 0px solid transparent;
+}
+
 /* The top menu item itself: File, Edit ... */
 menuitem menuitem {
   color: @fg-color;