[gnome-builder] workspace: adjust workspace pane styling

[Christian Hergert <chergert src gnome org>]

commit f3940102e7dabc30cfb0d4605e6ce89ac3257b81
Author: Christian Hergert <christian hergert me>
Date:   Fri Jun 5 19:07:38 2015 -0700

    workspace: adjust workspace pane styling

 data/theme/Adwaita-shared.css |    7 +++++++
 data/ui/gb-workspace-pane.ui  |    1 +
 2 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/Adwaita-shared.css b/data/theme/Adwaita-shared.css
index 96dc651..5c1730a 100644
--- a/data/theme/Adwaita-shared.css
+++ b/data/theme/Adwaita-shared.css
@@ -45,3 +45,10 @@ GbNewProjectDialog GtkFileChooserButton.linked-on-right .button {
 GbWorkspacePane GtkBox.header {
   border-bottom: 1px solid @borders;
 }
+GbWorkspacePane GtkStackSwitcher.flat .button {
+  border: none;
+  box-shadow: none;
+  background: none;
+  border-radius: 0px;
+  border-bottom: 2px solid @theme_selected_bg_color;
+}
diff --git a/data/ui/gb-workspace-pane.ui b/data/ui/gb-workspace-pane.ui
index c3e7ffe..647820f 100644
--- a/data/ui/gb-workspace-pane.ui
+++ b/data/ui/gb-workspace-pane.ui
@@ -24,6 +24,7 @@
                 <property name="visible">true</property>
                 <style>
                   <class name="dim-label"/>
+                  <class name="flat"/>
                 </style>
               </object>
             </child>