From aae62df4fb3db8d12b0366aaaa864f57d5334199 Mon Sep 17 00:00:00 2001
From: Salim B <salim@posteo.de>
Date: Fri, 16 Oct 2020 00:04:50 +0200
Subject: [PATCH 1/2] tweak GNOME menu bar:

- decrease height by 10px, saving vertical space

- use same background color as the rest of the menu bar and change drop-down color accordingly. this looks more clean.
---
 inst/resources/stylesheets/rstudio-gnome-dark.qss | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/inst/resources/stylesheets/rstudio-gnome-dark.qss b/inst/resources/stylesheets/rstudio-gnome-dark.qss
index d2b9ba2..bab6614 100644
--- a/inst/resources/stylesheets/rstudio-gnome-dark.qss
+++ b/inst/resources/stylesheets/rstudio-gnome-dark.qss
@@ -1,7 +1,7 @@
 QMenuBar {
-  background-color: rgb(60, 60, 60);
+  background-color: rgb(37, 37, 37);
   color: rgb(204, 204, 204);
-  height: 30px;
+  height: 20px;
   font-size: 13px;
 }
 
@@ -15,7 +15,7 @@ QMenuBar::item:selected {
 }
 
 QMenu {
-  background-color: rgb(37, 37, 37);
+  background-color: rgb(62, 62, 62);
   color: rgb(204, 204, 204);
   font-size: 13px;
   padding: 6.5px 0;
@@ -24,7 +24,6 @@ QMenu {
 QMenu::item {
   height: 24px;
   padding: 0 26px;
-  border: 1px solid rgb(37, 37, 37);
 }
 
 QMenu::item:checked,

From 917ea693400205975784884d537566f1e7cae10b Mon Sep 17 00:00:00 2001
From: Salim B <salim@posteo.de>
Date: Fri, 16 Oct 2020 00:54:57 +0200
Subject: [PATCH 2/2] adjust GNOME menu bar highlighting

---
 inst/resources/rscodeio_tomorrow_night_bright.rstheme | 2 +-
 inst/resources/stylesheets/rstudio-gnome-dark.qss     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/inst/resources/rscodeio_tomorrow_night_bright.rstheme b/inst/resources/rscodeio_tomorrow_night_bright.rstheme
index cc2e5a5..320eb72 100644
--- a/inst/resources/rscodeio_tomorrow_night_bright.rstheme
+++ b/inst/resources/rscodeio_tomorrow_night_bright.rstheme
@@ -971,7 +971,7 @@
 }
 
 .rstudio-themes-flat .gwt-MenuItem-selected {
-  background-color: rgb(9, 71, 113) !important;
+  background-color: rgb(91, 91, 91) !important;
 }
 
 .rstudio-themes-flat .gwt-MenuItemSeparator > .menuSeparatorInner {
diff --git a/inst/resources/stylesheets/rstudio-gnome-dark.qss b/inst/resources/stylesheets/rstudio-gnome-dark.qss
index bab6614..a30ad85 100644
--- a/inst/resources/stylesheets/rstudio-gnome-dark.qss
+++ b/inst/resources/stylesheets/rstudio-gnome-dark.qss
@@ -36,7 +36,7 @@ QMenu::item:disabled {
 }
 
 QMenu::item:selected {
-  background-color: rgb(9, 71, 113);
+  background-color: rgb(91, 91, 91);
 }
 
 QMenu::item:selected:disabled {