Index: wp-admin/css/wp-admin.dev.css
===================================================================
--- wp-admin/css/wp-admin.dev.css	(revision 13457)
+++ wp-admin/css/wp-admin.dev.css	(working copy)
@@ -3686,7 +3686,7 @@
 	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;