[gnome-builder] theme: make styling more portable

[Christian Hergert <chergert src gnome org>]

commit de11523112aae57196989a827f10cb3b6ca4e3cd
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jan 20 22:49:02 2018 -0800

    theme: make styling more portable

 data/themes/shared/shared-editor.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index f08f4b694..6df5380ef 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -108,6 +108,7 @@ ideeditorsidebar .flat-menu-button:hover {
 ideeditorutilities dzltab {
   background: @theme_bg_color;
   padding: 6px 8px;
+  margin: 0;
   border-style: solid;
   border-color: @borders;
   border-width: 1px 1px 0 1px;
@@ -128,6 +129,6 @@ ideeditorutilities dzltab:last-child {
   border-bottom-width: 1px;
 }
 ideeditorutilities dzltabstrip {
-  margin: 3px 0px 5px 0;
+  margin: 5px;
   border-style: none;
 }