From f3415da15254a62e1f1b312e903d988c73e43c30 Mon Sep 17 00:00:00 2001
From: Josh Sherman <joshsherman@gmail.com>
Date: Wed, 2 Oct 2019 14:01:12 -0500
Subject: [PATCH] Update gtk.css

---
 gnome/gtk.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnome/gtk.css b/gnome/gtk.css
index 49c1491..1c639e5 100644
--- a/gnome/gtk.css
+++ b/gnome/gtk.css
@@ -15,7 +15,7 @@ window.ssd headerbar.titlebar {
 }
 
 window.ssd headerbar * {
-  margin-top: -100px
+  margin-top: -100px;
 }
 
 window.ssd headerbar.titlebar,