[gnome-builder] style: fix separator styling in sub-header

[Christian Hergert <chergert src gnome org>]

commit f2cff088e5daac90eae2c436bd417265dc3c1bf9
Author: Christian Hergert <chergert redhat com>
Date:   Sun Dec 20 03:10:44 2015 -0800

    style: fix separator styling in sub-header

 data/theme/Adwaita-dark.css |   14 +++++++-------
 data/theme/Adwaita.css      |    9 ++++-----
 data/ui/ide-editor-view.ui  |    8 --------
 data/ui/ide-layout-tab.ui   |    4 ----
 4 files changed, 11 insertions(+), 24 deletions(-)
---
diff --git a/data/theme/Adwaita-dark.css b/data/theme/Adwaita-dark.css
index e4a4d6b..1d04c81 100644
--- a/data/theme/Adwaita-dark.css
+++ b/data/theme/Adwaita-dark.css
@@ -167,11 +167,10 @@ layouttab label:backdrop {
 }
 
 layouttab separator {
-  color: transparent;
-}
-
-layoutstack.focused layouttab separator {
-  color: #484848;
+  margin: 7px 0 8px 0;
+  padding: 0;
+  background-color: alpha(@borders,.2);
+  min-width: 0px;
 }
 
 layoutstack.focused layouttabbar layouttab:backdrop,
@@ -232,9 +231,10 @@ layoutpane > box > box:first-child {
   background-color: #2e3436;
   border-style: none;
   border-radius: 0px;
-  border-bottom: 1px solid #1c1f1f;
+  border-width: 0px;
   color: #2e3436;
-  box-shadow: 0px 5px 5px -10px #101010 inset;
+  box-shadow: 0px 5px 5px -10px #101010 inset,
+              0px -1px 0px #1c1f1f inset;
 }
 
 layoutpane > box > box:first-child > stackswitcher > button {
diff --git a/data/theme/Adwaita.css b/data/theme/Adwaita.css
index 060ebbf..2551bea 100644
--- a/data/theme/Adwaita.css
+++ b/data/theme/Adwaita.css
@@ -157,11 +157,10 @@ layouttab label:backdrop {
 }
 
 layouttab separator {
-  color: transparent;
-}
-
-layoutstack.focused layouttab separator {
-  color: #babdb6;
+  margin: 7px 0 8px 0;
+  padding: 0;
+  background-color: alpha(@borders,.2);
+  min-width: 0px;
 }
 
 layoutstack.focused layouttabbar layouttab:backdrop,
diff --git a/data/ui/ide-editor-view.ui b/data/ui/ide-editor-view.ui
index 569700f..97f8c96 100644
--- a/data/ui/ide-editor-view.ui
+++ b/data/ui/ide-editor-view.ui
@@ -103,10 +103,6 @@
             </child>
             <child>
               <object class="GtkSeparator">
-                <property name="margin-start">3</property>
-                <property name="margin-end">3</property>
-                <property name="margin-top">10</property>
-                <property name="margin-bottom">10</property>
                 <property name="orientation">vertical</property>
                 <property name="visible">true</property>
               </object>
@@ -127,10 +123,6 @@
             </child>
             <child>
               <object class="GtkSeparator">
-                <property name="margin-start">3</property>
-                <property name="margin-end">3</property>
-                <property name="margin-top">10</property>
-                <property name="margin-bottom">10</property>
                 <property name="orientation">vertical</property>
                 <property name="visible">true</property>
               </object>
diff --git a/data/ui/ide-layout-tab.ui b/data/ui/ide-layout-tab.ui
index cf749ac..29dc84e 100644
--- a/data/ui/ide-layout-tab.ui
+++ b/data/ui/ide-layout-tab.ui
@@ -41,8 +41,6 @@
         </child>
         <child>
           <object class="GtkSeparator">
-            <property name="margin-bottom">10</property>
-            <property name="margin-top">10</property>
             <property name="orientation">vertical</property>
             <property name="visible">true</property>
           </object>
@@ -106,8 +104,6 @@
         </child>
         <child>
           <object class="GtkSeparator">
-            <property name="margin-bottom">10</property>
-            <property name="margin-top">10</property>
             <property name="orientation">vertical</property>
             <property name="visible">true</property>
           </object>