From bce99537c67aa7fd658f306a50cb7f2e815e597c Mon Sep 17 00:00:00 2001
From: Donovan Glover <donovan@dglover.co>
Date: Sun, 17 Dec 2017 23:38:00 -0500
Subject: [PATCH] Add padding to terminal windows with gtk.css

---
 dotfiles/.config/gtk-3.0/gtk.css | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dotfiles/.config/gtk-3.0/gtk.css

diff --git a/dotfiles/.config/gtk-3.0/gtk.css b/dotfiles/.config/gtk-3.0/gtk.css
new file mode 100644
index 0000000..460d581
--- /dev/null
+++ b/dotfiles/.config/gtk-3.0/gtk.css
@@ -0,0 +1,7 @@
+.termite {
+    padding: 30px;
+    /* TODO: Use 15px for normal windows
+     * and 30px all around for floating windows */
+    padding-top: 15px;
+    padding-bottom: 0;
+}