summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2014-11-17 15:12:10 +0100
committerraveit65 <[email protected]>2014-11-17 15:12:10 +0100
commit9b7d8c3ba99b53e5ff56d365409ed69a5475d088 (patch)
treeaef909526063f774b04bd3654c0aed012b0a504a
parentf88336eb4651426fce679ebcc35dce7de1ea1d91 (diff)
downloadmate-themes-9b7d8c3ba99b53e5ff56d365409ed69a5475d088.tar.bz2
mate-themes-9b7d8c3ba99b53e5ff56d365409ed69a5475d088.tar.xz
ContrastHigh GTK3: fix missing borders in insensitive menuitems
-rw-r--r--desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css7
1 files changed, 7 insertions, 0 deletions
diff --git a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
index cd877d6f..9a1dec90 100644
--- a/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/ContrastHigh/gtk-3.0/gtk-widgets.css
@@ -457,12 +457,19 @@ GtkComboBox .button {
/*********
* Menus *
*********/
+
.menuitem {
color: @theme_fg_color;
}
.menuitem:insensitive {
color: @theme_button_insensitive_fg;
+ border-style: solid;
+ border-left-color: @theme_fg_color;
+ border-right-color: @theme_fg_color;
+ border-top-color: transparent;
+ border-bottom-color: transparent;
+ border-width: 1px;
}
.menubar .menuitem {