[gnome-shell] extensionPrefs: Fix prefs button

[Florian Müllner <fmuellner src gnome org>]

commit 669d20bcf05076869a1f15525a48344e46101234
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Feb 4 18:22:27 2016 +0100

    extensionPrefs: Fix prefs button

 js/extensionPrefs/main.js |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index e17a05a..6e09684 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; \
                    }';