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;
}
|
