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

   1 /*!
   2  * jQuery UI Spinner 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/Spinner#theming
  10  */
  11 .ui-spinner {
  12         position: relative;
  13         display: inline-block;
  14         overflow: hidden;
  15         padding: 0;
  16         vertical-align: middle;
  17 }
  18 .ui-spinner-input {
  19         border: none;
  20         background: none;
  21         color: inherit;
  22         padding: 0;
  23         margin: .2em 0;
  24         vertical-align: middle;
  25         margin-left: .4em;
  26         margin-right: 22px;
  27 }
  28 .ui-spinner-button {
  29         width: 16px;
  30         height: 50%;
  31         font-size: .5em;
  32         padding: 0;
  33         margin: 0;
  34         text-align: center;
  35         position: absolute;
  36         cursor: default;
  37         display: block;
  38         overflow: hidden;
  39         right: 0;
  40 }
  41 /* more specificity required here to overide default borders */
  42 .ui-spinner a.ui-spinner-button {
  43         border-top: none;
  44         border-bottom: none;
  45         border-right: none;
  46 }
  47 /* vertical centre icon */
  48 .ui-spinner .ui-icon {
  49         position: absolute;
  50         margin-top: -8px;
  51         top: 50%;
  52         left: 0;
  53 }
  54 .ui-spinner-up {
  55         top: 0;
  56 }
  57 .ui-spinner-down {
  58         bottom: 0;
  59 }
  60
  61 /* TR overrides */
  62 .ui-spinner .ui-icon-triangle-1-s {
  63         /* need to fix icons sprite */
  64         background-position: -65px -16px;
  65 }