[gnome-todo/wip/christopherdavis/temp-fix-split-header] theme: Fix unwanted spacing in titlebar

[Christopher Davis <christopherdavis src gnome org>]

commit ad1d945dd3a675e541824d75e70c39074d8c8b18
Author: Christopher Davis <brainblasted disroot org>
Date:   Tue Nov 12 11:38:02 2019 -0800

    theme: Fix unwanted spacing in titlebar
    
    The split headerbar has some unwanted spacing due to
    https://gitlab.gnome.org/GNOME/gtk/issues/2233.
    
    This commit provides a temporary fix until this issue is
    resolved in GTK.

 src/theme/Adwaita.css | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/src/theme/Adwaita.css b/src/theme/Adwaita.css
index 410744c..f96f702 100644
--- a/src/theme/Adwaita.css
+++ b/src/theme/Adwaita.css
@@ -133,6 +133,13 @@ image.color-circle-icon {
 .titlebar > separator:dir(rtl) { margin-right: -1px; }
 .titlebar > headerbar:first-child:dir(rtl) { margin-left: 1px; }
 
+/*
+ * Override the CSS for a Box in a titlebar in order to fix unwanted spacing.
+ *
+ * TODO: Remove when https://gitlab.gnome.org/GNOME/gtk/issues/2233 is fixed
+ */
+box.titlebar { border-spacing: 0; }
+
 
 /* Color button */
 colorbutton {