From d00730500f25aab931b6be6a54c369b09e135ae5 Mon Sep 17 00:00:00 2001
From: Pascal Zingg <pzingg@fastforward.ch>
Date: Wed, 21 Oct 2015 11:19:08 +0200
Subject: [PATCH] removed CSS rule to prevent shrinking of gnome-terminal

---
 Paper/gtk-3.0/widgets/notebook.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Paper/gtk-3.0/widgets/notebook.css b/Paper/gtk-3.0/widgets/notebook.css
index 3f224c8..c8f7b46 100644
--- a/Paper/gtk-3.0/widgets/notebook.css
+++ b/Paper/gtk-3.0/widgets/notebook.css
@@ -291,7 +291,6 @@
 .notebook tab .button:active,
 .notebook tab .button:hover {
     color: @backdrop_text;
-    border: none;
     background-image: none;
     background: none;
     border-radius: 4px;
@@ -330,4 +329,4 @@
 
 .notebook tab .button:backdrop:hover {
     color: @backdrop_foreground;
-}
\ No newline at end of file
+}