summaryrefslogtreecommitdiff
path: root/desktop-themes
diff options
context:
space:
mode:
Diffstat (limited to 'desktop-themes')
-rw-r--r--desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css11
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css11
-rw-r--r--desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css11
3 files changed, 21 insertions, 12 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index db1d142a..f55858bd 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -416,7 +416,7 @@ GtkScale.mark {
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 @@ GtkTreeMenu .menuitem * {
.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 @@ GtkTreeMenu .menuitem * {
.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 @@ GtkTreeMenu .menuitem * {
/* 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,
@@ -1106,6 +1106,7 @@ GtkTreeMenu .menuitem * {
.menubar .menuitem {
border-style: none;
padding: 3px 5px;
+ background-color: transparent;
}
.menubar .menuitem:hover {
@@ -1130,6 +1131,7 @@ GtkTreeMenu .menuitem * {
.menu .menuitem {
-GtkMenuItem-arrow-scaling: 0.5;
+ background-color: @menu_bg_color;
padding: 4px;
}
@@ -1184,6 +1186,7 @@ GtkTreeMenu .menuitem *:hover,
.menuitem.separator {
color: @menu_separator_color;
+ padding: 3px 1px 3px 1px;
-GtkMenuItem-horizontal-padding: 0;
}
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index db1d142a..f55858bd 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -416,7 +416,7 @@ GtkScale.mark {
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 @@ GtkTreeMenu .menuitem * {
.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 @@ GtkTreeMenu .menuitem * {
.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 @@ GtkTreeMenu .menuitem * {
/* 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,
@@ -1106,6 +1106,7 @@ GtkTreeMenu .menuitem * {
.menubar .menuitem {
border-style: none;
padding: 3px 5px;
+ background-color: transparent;
}
.menubar .menuitem:hover {
@@ -1130,6 +1131,7 @@ GtkTreeMenu .menuitem * {
.menu .menuitem {
-GtkMenuItem-arrow-scaling: 0.5;
+ background-color: @menu_bg_color;
padding: 4px;
}
@@ -1184,6 +1186,7 @@ GtkTreeMenu .menuitem *:hover,
.menuitem.separator {
color: @menu_separator_color;
+ padding: 3px 1px 3px 1px;
-GtkMenuItem-horizontal-padding: 0;
}
diff --git a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
index 29ad24ab..3ea6cac0 100644
--- a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css
@@ -416,7 +416,7 @@ GtkScale.mark {
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 @@ GtkTreeMenu .menuitem * {
.menu {
background-color: @theme_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 @@ GtkTreeMenu .menuitem * {
.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 @@ GtkTreeMenu .menuitem * {
/* 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,
@@ -1106,6 +1106,7 @@ GtkTreeMenu .menuitem * {
.menubar .menuitem {
border-style: none;
padding: 3px 5px;
+ background-color: transparent;
}
.menubar .menuitem:hover {
@@ -1130,6 +1131,7 @@ GtkTreeMenu .menuitem * {
.menu .menuitem {
-GtkMenuItem-arrow-scaling: 0.5;
+ background-color: @menu_bg_color;
padding: 4px;
}
@@ -1184,6 +1186,7 @@ GtkTreeMenu .menuitem *:hover,
.menuitem.separator {
color: @menu_separator_color;
+ padding: 3px 1px 3px 1px;
-GtkMenuItem-horizontal-padding: 0;
}