From 669d20bcf05076869a1f15525a48344e46101234 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 4 Feb 2016 18:22:27 +0100
Subject: [PATCH] extensionPrefs: Fix prefs button

---
 js/extensionPrefs/main.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index e17a05a95..6e0968485 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -24,7 +24,6 @@ const GnomeShellIface = '<node> \
 </node>';
 
 const customCss = '.prefs-button { \
-                       padding: 8px; \
                        border-radius: 20px; \
                    }';