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

   1 /*!
   2  * jQuery UI Resizable 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/Resizable#theming
  10  */
  11 .ui-resizable {
  12         position: relative;
  13 }
  14 .ui-resizable-handle {
  15         position: absolute;
  16         font-size: 0.1px;
  17         display: block;
  18 }
  19 .ui-resizable-disabled .ui-resizable-handle,
  20 .ui-resizable-autohide .ui-resizable-handle {
  21         display: none;
  22 }
  23 .ui-resizable-n {
  24         cursor: n-resize;
  25         height: 7px;
  26         width: 100%;
  27         top: -5px;
  28         left: 0;
  29 }
  30 .ui-resizable-s {
  31         cursor: s-resize;
  32         height: 7px;
  33         width: 100%;
  34         bottom: -5px;
  35         left: 0;
  36 }
  37 .ui-resizable-e {
  38         cursor: e-resize;
  39         width: 7px;
  40         right: -5px;
  41         top: 0;
  42         height: 100%;
  43 }
  44 .ui-resizable-w {
  45         cursor: w-resize;
  46         width: 7px;
  47         left: -5px;
  48         top: 0;
  49         height: 100%;
  50 }
  51 .ui-resizable-se {
  52         cursor: se-resize;
  53         width: 12px;
  54         height: 12px;
  55         right: 1px;
  56         bottom: 1px;
  57 }
  58 .ui-resizable-sw {
  59         cursor: sw-resize;
  60         width: 9px;
  61         height: 9px;
  62         left: -5px;
  63         bottom: -5px;
  64 }
  65 .ui-resizable-nw {
  66         cursor: nw-resize;
  67         width: 9px;
  68         height: 9px;
  69         left: -5px;
  70         top: -5px;
  71 }
  72 .ui-resizable-ne {
  73         cursor: ne-resize;
  74         width: 9px;
  75         height: 9px;
  76         right: -5px;
  77         top: -5px;
  78 }