From f99c1b81859a1f7dafd43ce5f27eb4d0504403da Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Sun, 14 Mar 2021 11:23:12 -0400
Subject: [PATCH] change GNOME titlebar height

---
 modules/gnome.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/gnome.nix b/modules/gnome.nix
index f0f50f2..7fefa9e 100644
--- a/modules/gnome.nix
+++ b/modules/gnome.nix
@@ -51,7 +51,7 @@
       gsettings set org.gnome.settings-daemon.plugins.power power-button-action 'interactive'
       gsettings set org.gnome.settings-daemon.plugins.power sleep-inactive-ac-type 'nothing'
 
-      echo 'window.ssd headerbar.titlebar { padding-top: 2px; padding-bottom: 2px; }' > ~/.config/gtk-3.0/gtk.css
+      echo 'window.ssd headerbar.titlebar { padding-top: 1px; padding-bottom: 1px; }' > ~/.config/gtk-3.0/gtk.css
     '';
   };
 }