[gnome-builder] themes: tweak border radius for utilities buttons

[Christian Hergert <chergert src gnome org>]

commit 5842598176980c0ca66bd7fe23b2fb114e17baf0
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jan 21 02:45:03 2018 -0800

    themes: tweak border radius for utilities buttons
    
    3px is what Adwaita uses, so match that.

 data/themes/shared/shared-editor.css | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index 6df5380ef..c8d220af4 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -120,12 +120,11 @@ ideeditorutilities dzltab:hover {
   background-color: mix(@theme_bg_color, @borders, 0.1);
 }
 ideeditorutilities dzltab:first-child {
-  border-radius: 6px 6px 0 0;
+  border-radius: 3px 3px 0 0;
   border-width: 1px 1px 0 1px;
 }
 ideeditorutilities dzltab:last-child {
-  border-radius: 6px;
-  border-radius: 0 0 6px 6px;
+  border-radius: 0 0 3px 3px;
   border-bottom-width: 1px;
 }
 ideeditorutilities dzltabstrip {