From 45e91bd5507ff913fcfe1882133dfb86ad4c08ce Mon Sep 17 00:00:00 2001
From: Mark <mr.mark.sweeney@gmail.com>
Date: Sat, 17 Jun 2023 15:10:17 +0100
Subject: [PATCH] fixes menu bar being todark for gray theme

---
 themes/Default/common.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/themes/Default/common.css b/themes/Default/common.css
index 28ff367f88..077e39024f 100644
--- a/themes/Default/common.css
+++ b/themes/Default/common.css
@@ -372,6 +372,11 @@ border {
 
 /* Top menu items  */
 
+/* give the menu bar a color, fix for the default color being too dark */
+menubar {
+  background-color: @bg-color;
+}
+
 /* The top menu item itself: File, Edit ... */
 menuitem menuitem {
   color: @fg-color;