[gnome-builder] theme: remove unneeded css junk

[Christian Hergert <chergert src gnome org>]

commit 38958e3124a0efbe06348fabfb84a8aef4a8f4af
Author: Christian Hergert <christian hergert me>
Date:   Mon Sep 14 18:39:33 2015 -0700

    theme: remove unneeded css junk

 data/theme/Adwaita-shared.css |   16 ++++------------
 1 files changed, 4 insertions(+), 12 deletions(-)
---
diff --git a/data/theme/Adwaita-shared.css b/data/theme/Adwaita-shared.css
index abba02c..108aa09 100644
--- a/data/theme/Adwaita-shared.css
+++ b/data/theme/Adwaita-shared.css
@@ -35,23 +35,15 @@ GbEditorTweakWidget GtkScrolledWindow {
 GbViewStack GtkBox.header.notebook {
   border-bottom: 1px solid @borders;
 }
-GbViewStack:not(.focused) GtkBox.header.notebook,
-#project_sidebar_header:not(.focused) {
+GbViewStack:not(.focused) GtkBox.header.notebook {
   background-color: shade (@theme_bg_color, 0.95);
 }
-GbEditorWorkspace > GtkPaned > GtkBox > GtkBox.header.notebook {
-  border-bottom: 1px solid @borders;
-}
+
+
+/* New project dialog */
 GbNewProjectDialog GtkFileChooserButton.linked-on-right .button {
   border-radius: 3px 0 0 3px;
 }
-GbViewStack GtkBox.header.notebook .button {
-  padding: none;
-  margin: none;
-  border: none;
-  box-shadow: none;
-  background-image: none;
-}
 
 
 /*