bundles/org.simantics.workbench.search/search/base/jquery.ui.menu.css

   1 /*!
   2  * jQuery UI Menu 1.10.3
   3  * http://jqueryui.com
   4  *
   5  * Copyright 2013 jQuery Foundation and other contributors
   6  * Released under the MIT license.
   7  * http://jquery.org/license
   8  *
   9  * http://docs.jquery.com/UI/Menu#theming
  10  */
  11 .ui-menu {
  12         list-style: none;
  13         padding: 2px;
  14         margin: 0;
  15         display: block;
  16         outline: none;
  17 }
  18 .ui-menu .ui-menu {
  19         margin-top: -3px;
  20         position: absolute;
  21 }
  22 .ui-menu .ui-menu-item {
  23         margin: 0;
  24         padding: 0;
  25         width: 100%;
  26         /* support: IE10, see #8844 */
  27         list-style-image: url(data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7);
  28 }
  29 .ui-menu .ui-menu-divider {
  30         margin: 5px -2px 5px -2px;
  31         height: 0;
  32         font-size: 0;
  33         line-height: 0;
  34         border-width: 1px 0 0 0;
  35 }
  36 .ui-menu .ui-menu-item a {
  37         text-decoration: none;
  38         display: block;
  39         padding: 2px .4em;
  40         line-height: 1.5;
  41         min-height: 0; /* support: IE7 */
  42         font-weight: normal;
  43 }
  44 .ui-menu .ui-menu-item a.ui-state-focus,
  45 .ui-menu .ui-menu-item a.ui-state-active {
  46         font-weight: normal;
  47         margin: -1px;
  48 }
  49
  50 .ui-menu .ui-state-disabled {
  51         font-weight: normal;
  52         margin: .4em 0 .2em;
  53         line-height: 1.5;
  54 }
  55 .ui-menu .ui-state-disabled a {
  56         cursor: default;
  57 }
  58
  59 /* icon support */
  60 .ui-menu-icons {
  61         position: relative;
  62 }
  63 .ui-menu-icons .ui-menu-item a {
  64         position: relative;
  65         padding-left: 2em;
  66 }
  67
  68 /* left-aligned */
  69 .ui-menu .ui-icon {
  70         position: absolute;
  71         top: .2em;
  72         left: .2em;
  73 }
  74
  75 /* right-aligned */
  76 .ui-menu .ui-menu-icon {
  77         position: static;
  78         float: right;
  79 }