[gnome-software/gnome-3-20] css: insensitive kudo-pill tweaks

[Kalev Lember <klember src gnome org>]

commit b04d0306f0cb4bfa957760eed24b0288c6b73e06
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Thu Jun 30 11:04:45 2016 +0200

    css: insensitive kudo-pill tweaks
    
    make it look more, well, insensitive.

 src/gtk-style.css |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/gtk-style.css b/src/gtk-style.css
index c915295..f74425c 100644
--- a/src/gtk-style.css
+++ b/src/gtk-style.css
@@ -35,7 +35,8 @@
 
 /* should be :disabled but we need to support older versions of GTK */
 .kudo-pill:insensitive {
-       background-color: shade(@theme_bg_color, 0.8);
+       color: @theme_bg_color;
+       background-color: mix(@insensitive_fg_color, @theme_bg_color, 0.6);
 }
 
 .kudo-label {