From 8c3ee80204dd0c1d9654254285023868b5f48b88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=CC=88rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Wed, 6 Nov 2013 19:06:35 +0100
Subject: [PATCH] Menu: Set cursor:pointer for menu items. Fixes the regression
 from removal of anchors, which caused a text cursor to appear on non-disabled
 items.

---
 themes/base/jquery.ui.menu.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/themes/base/jquery.ui.menu.css b/themes/base/jquery.ui.menu.css
index c3ff16464..7970422c7 100644
--- a/themes/base/jquery.ui.menu.css
+++ b/themes/base/jquery.ui.menu.css
@@ -22,6 +22,7 @@
 	margin: 0;
 	display: block;
 	padding: 3px .4em;
+	cursor: pointer;
 	min-height: 0; /* support: IE7 */
 	/* support: IE10, see #8844 */
 	list-style-image: url(data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7);