1073
1073
.level-bar.fill-block:backdrop,
1074
1074
.level-bar.fill-block.level-high:backdrop,
1075
1075
.level-bar.fill-block.level-low:backdrop {
1076
background-color: #b0b0b0;
1077
border-color: #b0b0b0;
1076
background-color: @backdrop_filling_bg;
1077
border-color: @backdrop_filling_bg;
1078
1078
background-image: none;
1162
1162
-GtkScrollbar-has-forward-stepper: 0;
1163
1163
-GtkScrollbar-trough-border: 0;
1164
1164
-GtkScrollbar-min-slider-length: 31;
1165
-GtkRange-slider-width: 3;
1165
-GtkRange-slider-width: 10;
1167
background-image: none;
1170
.scrollbar.hovering,
1171
1174
.scrollbar.dragging {
1172
-GtkRange-slider-width: 10;
1173
background-color: alpha(@bg_color, 0.8);
1175
background-color: @scrollbar_track_color;
1178
.scrollbar:hover:backdrop,
1179
.scrollbar.dragging:backdrop {
1180
background-color: @backdrop_selected_bg_color;
1183
/* Adding margins, so actual visible size is: -GtkRange-slider-width - margin
1184
* this allows to keep the slider smaller, but keeping few threshold pixels
1186
.scrollbar.vertical:hover:dir(ltr),
1187
.scrollbar.vertical.dragging:dir(ltr) {
1191
.scrollbar.vertical:hover:dir(rtl),
1192
.scrollbar.vertical.dragging:dir(rtl) {
1196
.scrollbar.horizontal:hover,
1197
.scrollbar.horizontal.dragging,
1198
.scrollbar.horizontal.slider:hover,
1199
.scrollbar.horizontal.slider.dragging {
1176
1203
.scrollbar.slider {
1177
1204
background-color: alpha(@selected_bg_color, 0.8);
1208
.scrollbar.slider.hovering,
1209
.scrollbar.slider.dragging {
1214
/* Adding margins, so actual visible size is: -GtkRange-slider-width - margin
1215
* this allows to define some kind of proximity effect also on mouse-enter
1217
.scrollbar.slider.vertical:dir(ltr):not(:hover):not(.dragging) {
1221
.scrollbar.slider.vertical:dir(rtl):not(:hover):not(.dragging) {
1225
.scrollbar.slider.horizontal:not(:hover):not(.dragging) {
1229
.scrollbar.slider:hover {
1230
background-color: alpha(@selected_bg_color, 0.85);
1181
1233
.scrollbar.slider:active {
1182
1234
background-color: @selected_bg_color;
1237
.scrollbar.slider:backdrop {
1238
background-color: alpha(@backdrop_filling_bg, 0.8);
1241
.scrollbar.slider:hover:backdrop {
1242
background-color: alpha(@backdrop_filling_bg, 0.85);
1245
.scrollbar.slider:active:backdrop {
1246
background-color: @backdrop_filling_bg;
1185
1249
/*******************
1186
1250
* scrolled window *
1187
1251
*******************/