From 0be76bbcfd7a2092aca1b4b01b90dab4e4fe00da Mon Sep 17 00:00:00 2001
From: Felix Nagel <info@felixnagel.com>
Date: Wed, 13 Nov 2013 21:05:20 +0100
Subject: [PATCH] Selectmenu: adjust to menu item style changes

---
 themes/base/jquery.ui.selectmenu.css | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/themes/base/jquery.ui.selectmenu.css b/themes/base/jquery.ui.selectmenu.css
index 0d54350a9..87318da97 100644
--- a/themes/base/jquery.ui.selectmenu.css
+++ b/themes/base/jquery.ui.selectmenu.css
@@ -20,9 +20,7 @@
 	overflow: auto;
 	/* Support: IE7 */
 	overflow-x: hidden;
-}
-.ui-selectmenu-menu .ui-menu-item {
-	padding: 0.3em 1em;
+	padding-bottom: 1px;
 }
 .ui-selectmenu-menu .ui-menu .ui-selectmenu-optgroup {
 	font-size: 1em;