[gnome-builder] style: remove old styling

[Christian Hergert <chergert src gnome org>]

commit 3e7fbc4e58262db71a6637df8655ed78342447c1
Author: Christian Hergert <christian hergert me>
Date:   Fri Jun 24 20:14:47 2016 -0700

    style: remove old styling

 data/theme/shared.css |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/data/theme/shared.css b/data/theme/shared.css
index a4e70ce..3c05b5f 100644
--- a/data/theme/shared.css
+++ b/data/theme/shared.css
@@ -162,10 +162,6 @@ omnisearchdisplay omnisearchgroup omnisearchrow:selected {
  * preferences perspective, including groups, rows,
  * sidebar, etc.
  */
-workbench preferences stacksidebar list {
-  border-right: 1px solid alpha(@borders, 0.4);
-  background-color: @theme_base_color;
-}
 workbench preferences preferencesgroup list row {
   padding: 10px;
   border-bottom: 1px solid alpha(@borders, 0.2);