10 .ui-scrolllistview .ui-li-divider {
21 .ui-scrollbar-visible {
27 right: 2 * @unit_base;
28 bottom: 2 * @unit_base;
29 width: 8 * @unit_base;
33 right: 2 * @unit_base;
34 bottom: 2 * @unit_base;
36 height: 8 * @unit_base;
49 background-color: @color_scrollbar;
52 .ui-scrollbar-y .ui-scrollbar-thumb {
53 width: 5 * @unit_base;
55 .LESSborder-radius-all(2 * @unit_base);
56 .LESSbox-shadow(1 * @unit_base, 1 * @unit_base, 2 * @unit_base, rgb(148, 146, 140))
59 .ui-scrollbar-x .ui-scrollbar-thumb {
61 height: 5 * @unit_base;
62 .LESSborder-radius-all(2 * @unit_base);
65 .ui-scroll-jump-top-bg {
68 right: 13 * @unit_base;
69 width: 37 * @unit_base;
70 height: 37 * @unit_base;
73 .ui-scroll-jump-left-bg {
75 bottom: 9 * @unit_base;
76 left: 13 * @unit_base;
77 width: 37 * @unit_base;
78 height: 37 * @unit_base;
81 @-webkit-keyframes ui-overflow-show-lite {
89 @-webkit-keyframes ui-overflow-show {
97 @-webkit-keyframes ui-overflow-show-dark {
105 @-webkit-keyframes ui-overflow-hide-lite {
113 @-webkit-keyframes ui-overflow-hide {
121 @-webkit-keyframes ui-overflow-hide-dark {
129 .ui-overflow-indicator-top {
134 height: 10 * @unit_base;
136 background: -webkit-gradient(linear,
139 color-stop(0, rgb(255,255,255)),
140 color-stop(1, rgb(128,128,128)));
143 .ui-overflow-indicator-bottom {
148 height: 10 * @unit_base;
150 background: -webkit-gradient(linear,
153 color-stop(0, rgb(128,128,128)),
154 color-stop(1, rgb(255,255,255)));
158 * the values below are for the group index
162 * padding here set to zero - otherwise the list scrolls underneith the top heading and can be seen above it
164 .ui-content.ui-scrollview-clip {
167 .ui-content.ui-scrollview-clip > div.ui-scrollview-view {
169 padding-left: 8 * @unit_base;
170 padding-right: 8 * @unit_base;
174 * this seems to effect how far the top divider is place wrt to the scrollview
175 * without this, it is placed too high, so it is clipped in half
177 .ui-content.ui-scrollview-clip > .ui-listview.ui-scrollview-view {