[gnome-builder/wip/chergert/layout] style: tweak styling for handle in editor sidebar

[Christian Hergert <chergert src gnome org>]

commit 9261b736ef34c43bed9985e4b3acf9ace5d2e5e6
Author: Christian Hergert <chergert redhat com>
Date:   Fri Jun 30 21:05:46 2017 -0700

    style: tweak styling for handle in editor sidebar
    
    We really didn't have a design for this, but we need to allow the
    user to control how much to grow the top area. The normal @borders
    color is too dark, so this reduces it a bit.

 data/themes/shared/shared-layout.css |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/data/themes/shared/shared-layout.css b/data/themes/shared/shared-layout.css
index b08dba6..4e6a9de 100644
--- a/data/themes/shared/shared-layout.css
+++ b/data/themes/shared/shared-layout.css
@@ -62,6 +62,10 @@ ideeditorsidebar > stackswitcher {
   margin: 6px;
 }
 
+dzldockpaned ideeditorsidebar .handle {
+ border: 1px solid alpha(@borders, 0.3);
+}
+
 ideeditorsidebar label.title {
   margin: 8px 6px 3px 6px;
   font-weight: bold;