From f14b4d439e6dd6f3097ec26e71af599b9432e2d6 Mon Sep 17 00:00:00 2001
From: Csaba Jakosa <megax@yeahunter.hu>
Date: Thu, 20 Oct 2016 21:49:56 +0200
Subject: [PATCH] Fix title-bar padding in gnome-builder. Fixes #605

---
 .../scss/apps/_gnome-applications.scss         | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/gtk-3.20/scss/apps/_gnome-applications.scss b/src/gtk-3.20/scss/apps/_gnome-applications.scss
index fd31bf2..83dbdd2 100644
--- a/src/gtk-3.20/scss/apps/_gnome-applications.scss
+++ b/src/gtk-3.20/scss/apps/_gnome-applications.scss
@@ -11,3 +11,21 @@
         &.progress-fast { color: shade($selected_bg_color, .7); }
     }
 }
+
+
+/*****************
+ ! Gnome Builder *
+******************/
+
+@include exports("gnome-builder") {
+    workbench.csd > stack.titlebar:not(headerbar) {
+        padding: 0;
+        background: none;
+        border: 0;
+        box-shadow: none;
+
+        headerbar {
+            &, &:first-child, &:last-child { border-radius: $roundness $roundness 0 0; }
+        }
+    }
+}