Ticket #12412: wp-admin.dev.css.diff

wp-admin/css/wp-admin.dev.css

@@ -3686 +3686 @@
         padding: 4px 20px 6px;
         text-decoration: none;
         background-color: #fafafa;
-        margin: 0;
+        margin: 0 6px 0 0;
         -moz-border-radius: 5px 5px 0 0;
         -webkit-border-top-left-radius: 5px;
         -webkit-border-top-right-radius: 5px;