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

   1 /*!
   2  * jQuery UI Button 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/Button#theming
  10  */
  11 .ui-button {
  12         display: inline-block;
  13         position: relative;
  14         padding: 0;
  15         line-height: normal;
  16         margin-right: .1em;
  17         cursor: pointer;
  18         vertical-align: middle;
  19         text-align: center;
  20         overflow: visible; /* removes extra width in IE */
  21 }
  22 .ui-button,
  23 .ui-button:link,
  24 .ui-button:visited,
  25 .ui-button:hover,
  26 .ui-button:active {
  27         text-decoration: none;
  28 }
  29 /* to make room for the icon, a width needs to be set here */
  30 .ui-button-icon-only {
  31         width: 2.2em;
  32 }
  33 /* button elements seem to need a little more width */
  34 button.ui-button-icon-only {
  35         width: 2.4em;
  36 }
  37 .ui-button-icons-only {
  38         width: 3.4em;
  39 }
  40 button.ui-button-icons-only {
  41         width: 3.7em;
  42 }
  43
  44 /* button text element */
  45 .ui-button .ui-button-text {
  46         display: block;
  47         line-height: normal;
  48 }
  49 .ui-button-text-only .ui-button-text {
  50         padding: .4em 1em;
  51 }
  52 .ui-button-icon-only .ui-button-text,
  53 .ui-button-icons-only .ui-button-text {
  54         padding: .4em;
  55         text-indent: -9999999px;
  56 }
  57 .ui-button-text-icon-primary .ui-button-text,
  58 .ui-button-text-icons .ui-button-text {
  59         padding: .4em 1em .4em 2.1em;
  60 }
  61 .ui-button-text-icon-secondary .ui-button-text,
  62 .ui-button-text-icons .ui-button-text {
  63         padding: .4em 2.1em .4em 1em;
  64 }
  65 .ui-button-text-icons .ui-button-text {
  66         padding-left: 2.1em;
  67         padding-right: 2.1em;
  68 }
  69 /* no icon support for input elements, provide padding by default */
  70 input.ui-button {
  71         padding: .4em 1em;
  72 }
  73
  74 /* button icon element(s) */
  75 .ui-button-icon-only .ui-icon,
  76 .ui-button-text-icon-primary .ui-icon,
  77 .ui-button-text-icon-secondary .ui-icon,
  78 .ui-button-text-icons .ui-icon,
  79 .ui-button-icons-only .ui-icon {
  80         position: absolute;
  81         top: 50%;
  82         margin-top: -8px;
  83 }
  84 .ui-button-icon-only .ui-icon {
  85         left: 50%;
  86         margin-left: -8px;
  87 }
  88 .ui-button-text-icon-primary .ui-button-icon-primary,
  89 .ui-button-text-icons .ui-button-icon-primary,
  90 .ui-button-icons-only .ui-button-icon-primary {
  91         left: .5em;
  92 }
  93 .ui-button-text-icon-secondary .ui-button-icon-secondary,
  94 .ui-button-text-icons .ui-button-icon-secondary,
  95 .ui-button-icons-only .ui-button-icon-secondary {
  96         right: .5em;
  97 }
  98
  99 /* button sets */
 100 .ui-buttonset {
 101         margin-right: 7px;
 102 }
 103 .ui-buttonset .ui-button {
 104         margin-left: 0;
 105         margin-right: -.3em;
 106 }
 107
 108 /* workarounds */
 109 /* reset extra padding in Firefox, see h5bp.com/l */
 110 input.ui-button::-moz-focus-inner,
 111 button.ui-button::-moz-focus-inner {
 112         border: 0;
 113         padding: 0;
 114 }