From ef3a60d7ed097f8917449c3cfaead8147221bfed Mon Sep 17 00:00:00 2001
From: Fatburger3 <fatburgeriii@gmail.com>
Date: Wed, 16 Dec 2015 17:57:37 -0800
Subject: [PATCH] Fixed problem with gnome-terminal shrinking.

---
 Paper/gtk-3.0/gtk-widgets.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Paper/gtk-3.0/gtk-widgets.css b/Paper/gtk-3.0/gtk-widgets.css
index 1781338..7c87a26 100644
--- a/Paper/gtk-3.0/gtk-widgets.css
+++ b/Paper/gtk-3.0/gtk-widgets.css
@@ -40,7 +40,7 @@
     -GtkWindow-resize-grip-width: 0;
     -GtkWindow-resize-grip-height: 0;
 
-    padding: 0;
+    /*padding: 0;*/
     background-color: inherit;
     color: inherit;
 /*    outline-color: rgba(46, 52, 54, 0.3);
@@ -104,4 +104,4 @@
 @import url("widgets/toolbars.css");
 @import url("widgets/tooltips.css");
 @import url("widgets/views.css");
-@import url("widgets/windows.css");
\ No newline at end of file
+@import url("widgets/windows.css");