[gnome-themes-standard] HighContrast: improve style for insensitive colors

[Cosimo Cecchi <cosimoc src gnome org>]

commit 7694e164ad6330042a1864373f6172c36c57dcf6
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Fri Jan 4 11:48:30 2013 +0100

    HighContrast: improve style for insensitive colors
    
    Set a global insensitive color, so that applications that assume it's
    different from the regular text color don't get black when querying a
    color from the theme.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=691100

 themes/HighContrast/gtk-3.0/gtk-widgets.css |   26 ++++++++++++++++++++------
 1 files changed, 20 insertions(+), 6 deletions(-)
---
diff --git a/themes/HighContrast/gtk-3.0/gtk-widgets.css b/themes/HighContrast/gtk-3.0/gtk-widgets.css
index 58648fe..8b3db27 100644
--- a/themes/HighContrast/gtk-3.0/gtk-widgets.css
+++ b/themes/HighContrast/gtk-3.0/gtk-widgets.css
@@ -63,6 +63,7 @@ GtkClutterOffscreen {
 *:insensitive {
     background-color: @theme_button_insensitive_bg;
     border-color: @theme_button_insensitive_active_bg;
+    color: @theme_insensitive_color;
 }
 
 *:selected {
@@ -250,20 +251,22 @@ GtkLevelBar.vertical {
 
 .button:insensitive {
     background-color: @theme_button_insensitive_bg;
-    color: @theme_button_insensitive_fg;
     border-color: @theme_button_insensitive_border;
 }
 
-GtkComboBox:insensitive {
-    color: @theme_button_insensitive_fg
-}
-
 .button:insensitive:active {
     background-color: @theme_button_insensitive_active_bg;
-    color: @theme_button_insensitive_active_fg;
     border-color: @theme_button_insensitive_active_border;
 }
 
+.button *:insensitive {
+    color: @theme_button_insensitive_fg;
+}
+
+.button *:insensitive:active {
+    color: @theme_button_insensitive_active_fg;
+}
+
 .button:hover {
     background-color: @theme_fg_color;
     border-color: @theme_fg_color;
@@ -275,6 +278,17 @@ GtkComboBox:insensitive {
     border-color: @theme_fg_color;
 }
 
+GtkComboBox .separator {
+    /* always disable separators */
+    -GtkWidget-wide-separators: true;
+    -GtkWidget-horizontal-separator: 0;
+    -GtkWidget-vertical-separator: 0;
+}
+
+GtkComboBox *:insensitive {
+    color: @theme_button_insensitive_fg
+}
+
 /***********
  * Entries *
  ***********/