[gnome-builder] css: remove dead code

[Christian Hergert <chergert src gnome org>]

commit a871435beb277d15d7ee8eb1c280d25d093d8661
Author: Christian Hergert <christian hergert me>
Date:   Wed Apr 8 22:45:44 2015 -0700

    css: remove dead code

 data/css/builder.Adwaita.css |   36 ------------------------------------
 1 files changed, 0 insertions(+), 36 deletions(-)
---
diff --git a/data/css/builder.Adwaita.css b/data/css/builder.Adwaita.css
index 185ca31..afd21fc 100644
--- a/data/css/builder.Adwaita.css
+++ b/data/css/builder.Adwaita.css
@@ -55,42 +55,6 @@ GdTaggedEntry {
 
 
 /*
- * Workspace switcher, thin-panel on left side.
- */
-GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton {
-    background-color: transparent;
-    background-image: none;
-    border-radius: 4px 4px 4px 4px;
-    border-width: 1px 1px 1px 1px;
-    border-style: none;
-    box-shadow: none;
-    -GtkButton-image-spacing: 0;
-    -GtkButton-inner-border: 0;
-    padding: 4px 1px 4px 1px;
-}
-GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:checked {
-    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: shade(@theme_base_color, 0.80);
-    transition-duration: 0ms;
-}
-GtkStackSwitcher.gb-workspace-switcher > GtkRadioButton:active {
-    background-color: shade(@theme_base_color, 0.80);
-    border-style: solid;
-    border-width: 1px 1px 1px 1px;
-    border-color: shade(@theme_base_color, 0.60);
-    transition-duration: 0ms;
-}
-
-
-/*
  * Preferences sidebar style.
  */
 .preferences.sidebar GtkViewport {