Menu: simplify and improve item styling (add margin, tighter multi-line)

Author: fnagel

themes/base/jquery.ui.menu.css

@@ -20,10 +20,11 @@
 	position: absolute;
 }
 .ui-menu .ui-menu-item {
-	margin: 0;
+	border: 1px solid transparent;
+	margin: .5em 0;
 	display: block;
-	padding: 2px .4em;
-	line-height: 1.5;
+	padding: .3em 1em;
+	line-height: 1.3;
 	min-height: 0; /* support: IE7 */
 	font-weight: normal;
 	/* support: IE10, see #8844 */
@@ -36,17 +37,6 @@
 	line-height: 0;
 	border-width: 1px 0 0 0;
 }
-.ui-menu .ui-state-focus,
-.ui-menu .ui-state-active {
-	font-weight: normal;
-	margin: -1px;
-}
-
-.ui-menu .ui-state-disabled {
-	font-weight: normal;
-	margin: .4em 0 .2em;
-	line-height: 1.5;
-}
 .ui-menu .ui-state-disabled a {
 	cursor: default;
 }