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

   1 /*!
   2  * jQuery UI CSS Framework 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/Theming/API
  10  */
  11
  12 /* Layout helpers
  13 ----------------------------------*/
  14 .ui-helper-hidden {
  15         display: none;
  16 }
  17 .ui-helper-hidden-accessible {
  18         border: 0;
  19         clip: rect(0 0 0 0);
  20         height: 1px;
  21         margin: -1px;
  22         overflow: hidden;
  23         padding: 0;
  24         position: absolute;
  25         width: 1px;
  26 }
  27 .ui-helper-reset {
  28         margin: 0;
  29         padding: 0;
  30         border: 0;
  31         outline: 0;
  32         line-height: 1.3;
  33         text-decoration: none;
  34         font-size: 100%;
  35         list-style: none;
  36 }
  37 .ui-helper-clearfix:before,
  38 .ui-helper-clearfix:after {
  39         content: "";
  40         display: table;
  41         border-collapse: collapse;
  42 }
  43 .ui-helper-clearfix:after {
  44         clear: both;
  45 }
  46 .ui-helper-clearfix {
  47         min-height: 0; /* support: IE7 */
  48 }
  49 .ui-helper-zfix {
  50         width: 100%;
  51         height: 100%;
  52         top: 0;
  53         left: 0;
  54         position: absolute;
  55         opacity: 0;
  56         filter:Alpha(Opacity=0);
  57 }
  58
  59 .ui-front {
  60         z-index: 100;
  61 }
  62
  63
  64 /* Interaction Cues
  65 ----------------------------------*/
  66 .ui-state-disabled {
  67         cursor: default !important;
  68 }
  69
  70
  71 /* Icons
  72 ----------------------------------*/
  73
  74 /* states and images */
  75 .ui-icon {
  76         display: block;
  77         text-indent: -99999px;
  78         overflow: hidden;
  79         background-repeat: no-repeat;
  80 }
  81
  82
  83 /* Misc visuals
  84 ----------------------------------*/
  85
  86 /* Overlays */
  87 .ui-widget-overlay {
  88         position: fixed;
  89         top: 0;
  90         left: 0;
  91         width: 100%;
  92         height: 100%;
  93 }