resources/themes/stylesheets/ext4/default/util/_scroller.scss

   1 @mixin extjs-scroller {
   2     .#{$prefix}horizontal-scroller-present .#{$prefix}grid-body {
   3         border-bottom-width: 0px;
   4     }
   5
   6     .#{$prefix}vertical-scroller-present .#{$prefix}grid-body {
   7         border-right-width: 0px;
   8     }
   9
  10     .#{$prefix}scroller {
  11         overflow: hidden;
  12     }
  13
  14     .#{$prefix}scroller-vertical {
  15         border: 1px solid $panel-border-color;
  16         border-top-color: $grid-header-background-color;
  17     }
  18
  19     .#{$prefix}scroller-horizontal {
  20         border: 1px solid $panel-border-color;
  21     }
  22
  23     .#{$prefix}vertical-scroller-present .#{$prefix}scroller-horizontal {
  24         border-right-width: 0px;
  25     }
  26
  27     .#{$prefix}scroller-ct {
  28         overflow: hidden;
  29         position: absolute;
  30         margin: 0;
  31         padding: 0;
  32         border: none;
  33         left: 0px;
  34         top: 0px;
  35
  36         /*
  37         In IE9 (only), the border-box style causes the scroller-ct to be 0px in the
  38         perpendicular dimension and breaks the scroll as well as offsets it by the left
  39         offset that we use to try and keep some size on this element. This works on all
  40         browsers (including IE9).
  41         */
  42         box-sizing: content-box !important;
  43         -ms-box-sizing: content-box !important;
  44         -moz-box-sizing: content-box !important;
  45         -webkit-box-sizing: content-box !important;
  46     }
  47
  48     .#{$prefix}scroller-vertical .#{$prefix}scroller-ct {
  49         overflow-y: scroll;
  50     }
  51
  52     .#{$prefix}scroller-horizontal .#{$prefix}scroller-ct {
  53         overflow-x: scroll;
  54     }
  55 }