1 files changed, 46 insertions, 0 deletions
diff --git a/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff
new file mode 100644
index 0000000000000..1f229d7d8812c
--- /dev/null
+++ b/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff
@@ -0,0 +1,46 @@
+--- a/gtk-3.0/gtk-widgets.css
++++ b/gtk-3.0/gtk-widgets.css
+@@ -416,7 +416,7 @@
+ 	border-color: @border_color;
+ 	border-style: solid;
+ 	border-radius: 3px;
+-	background-color: @theme_base_color;
++	background-color: @theme_bg_color;
+ 	padding: 0;
+ }
+ 
+@@ -1057,7 +1057,7 @@
+ .menu {
+ 	background-color: @menu_bg_color;
+ 	color: @menu_fg_color;
+-	padding: 0;
++	padding: 1px;
+ 	border-style: solid;
+ 	border-width: 1px;
+ 	border-color: @menu_border_color;
+@@ -1065,7 +1065,7 @@
+ 
+ .menu.button {
+ 	background-image: none;
+-	background-color: @theme_base_color;
++	background-color: @menu_bg_color;
+ 	color: @internal_element_color;
+ 
+ 	border-image: none;
+@@ -1092,7 +1092,7 @@
+ /* this controls the general appearance of the menubar */
+ .menubar {
+ 	border-style: none;
+-	padding: 4px;
++	padding: 1px;
+ 	-GtkWidget-window-dragging: true;
+ 	-GtkMenuBar-internal-padding: 1;
+ 	background-image: -gtk-gradient (linear,
+@@ -1130,6 +1130,7 @@
+ 
+ .menu .menuitem {
+ 	-GtkMenuItem-arrow-scaling: 0.5;
++	background-color: @menu_bg_color;
+ 	padding: 4px;
+ }
+ 
+\ No newline at end of file