From 68ba112a045735b36b85db288cfe69fb4e01ffce Mon Sep 17 00:00:00 2001
From: aidan <EMH_Mark_I@protonmail.com>
Date: Sun, 13 Jan 2019 22:08:31 -0600
Subject: [PATCH] Update Patch

---
 Extras/override/gtk.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Extras/override/gtk.css b/Extras/override/gtk.css
index 8680aee..fb8611b 100755
--- a/Extras/override/gtk.css
+++ b/Extras/override/gtk.css
@@ -3,6 +3,12 @@ doesn't work for the pulse audio icon unfortunately.*/
 #xfce4-power-manager-plugin { 
     padding: 6px 6px; }
 
+/* Force MATE panel tasklist margins */
+#tasklist-button {
+    margin-left: 2px;
+    margin-right: 2px;
+}
+
 /* GNOME Disk utility */
 /* This is a fix for the GNOME disk application which uses its own CSS to 
 theme the grid style; overriding user themes. In reality this doesn’t work 
@@ -14,4 +20,4 @@ background-color: @bg_shade;
   border-radius: 0px;
   outline-color: white; }
   .gnome-disk-utility-grid:backdrop {
-    background-color: @bg_shade; }
\ No newline at end of file
+    background-color: @bg_shade; }