[gnome-builder] styling: use shading of theme_base_color for view switcher

[Christian Hergert <chergert src gnome org>]

commit b3d25e60933697f7920d4d6ce212b19ac67b8ab4
Author: Christian Hergert <christian hergert me>
Date:   Thu Sep 11 00:34:41 2014 -0700

    styling: use shading of theme_base_color for view switcher
    
    This makes the dark variant look better too.

 src/resources/css/builder.Adwaita.css |   12 ++++++++----
 1 files changed, 8 insertions(+), 4 deletions(-)
---
diff --git a/src/resources/css/builder.Adwaita.css b/src/resources/css/builder.Adwaita.css
index 417ed00..89c794f 100644
--- a/src/resources/css/builder.Adwaita.css
+++ b/src/resources/css/builder.Adwaita.css
@@ -95,21 +95,25 @@ GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton {
 }
 
 GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:checked {
-    background-color: #babdb6;
+    background-color: shade(@theme_base_color, 0.70);
     color: #ffffff;
 }
 
+GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:checked:hover {
+    border-color: shade(@theme_base_color, 0.60);
+}
+
 GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:hover {
     border-style: solid;
     border-width: 1px 1px 1px 1px;
-    border-color: #d3d7cf;
+    border-color: shade(@theme_base_color, 0.80);
     transition-duration: 0ms;
 }
 
 GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:active {
-    background-color: #d3d7cf;
+    background-color: shade(@theme_base_color, 0.80);
     border-style: solid;
     border-width: 1px 1px 1px 1px;
-    border-color: #d3d7cf;
+    border-color: shade(@theme_base_color, 0.60);
     transition-duration: 0ms;
 }