From 7d03598f2cb00d25231a3efe5a8637be118dfb8b Mon Sep 17 00:00:00 2001
From: jzaefferer <joern.zaefferer@gmail.com>
Date: Thu, 24 Feb 2011 15:57:02 +0100
Subject: [PATCH] Menu: Outline outline on focussed menu

---
 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 7854fe232..20fd2ce56 100644
--- a/themes/base/jquery.ui.menu.css
+++ b/themes/base/jquery.ui.menu.css
@@ -12,6 +12,7 @@
 	padding: 2px;
 	margin: 0;
 	display:block;
+	outline: none;
 }
 .ui-menu .ui-menu {
 	margin-top: -3px;
-- 
2.39.5