Bug 431305: Panes different height in the Add-ons Manager, patch by Dão Gottwald <dao@mozilla.com>, r=mossop, a=damon

toolkit/themes/gnomestripe/mozapps/extensions/extensions.css

@@ -1,6 +1,6 @@
 #extensionsBox {
   margin: 10px 8px 0 8px;
-  min-width:1px;
+  min-width: 1px;
 }
 
 /* Addons notification */
@@ -19,7 +19,7 @@ notification {
   -moz-border-right-colors: ThreeDHighlight ThreeDLightShadow;
   -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;
   -moz-border-left-colors: ThreeDShadow ThreeDDarkShadow;
-  margin: 0 !important;
+  margin: 0;
 }
 
 #resizerBox {

toolkit/themes/winstripe/mozapps/extensions/extensions.css

@@ -1,6 +1,6 @@
 #extensionsBox {
   margin: 10px 10px 0px 10px;
-  min-width:1px;
+  min-width: 1px;
 }
 
 #extensionsView {
@@ -9,6 +9,7 @@
   -moz-border-right-colors: ThreeDHighlight ThreeDLightShadow;
   -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;
   -moz-border-left-colors: ThreeDShadow ThreeDDarkShadow;
+  margin: 0;
 }
 
 #resizerBox {