From 956c4863454756d407fe541ccff7fb1833c1ad9e Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 16 Aug 2013 19:33:41 -0400
Subject: [PATCH] theme: Remove unsupported properties

margins are not (yet!) supported in gnome-shell.
---
 data/theme/gnome-shell.css | 2 --
 1 file changed, 2 deletions(-)

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index a8ac44b94..74d8f4be3 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1820,8 +1820,6 @@ StScrollBar StButton#vhandle:active {
 }
 
 .modal-dialog-button {
-    margin-left: 10px;
-    margin-right: 10px;
     padding: 4px 32px 5px;
 }