aboutsummaryrefslogtreecommitdiff
path: root/desktop/clearlooks-phenix-theme/patches/d3f5b4ff41b0cef32e87ab99d991434b91580605.diff
blob: 1f229d7d8812c39883c674245b40864cce520d2e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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;
 }