Adapt stylesheets to recent changes in jQuery UI 1.9

Thomas Bruederli

2012-11-21 5e1775691ce503521745f6380cadb7a295bd681d

 plugins/jqueryui/themes/classic/jquery-ui-1.9.1.custom.css

@@ -387,7 +387,7 @@
   line-height:1.5;
   zoom:1;
}
.ui-menu .ui-menu-item a.ui-state-hover,
.ui-menu .ui-menu-item a.ui-state-focus,
.ui-menu .ui-menu-item a.ui-state-active {
   font-weight: normal;
   margin: -1px;