1050
1050
.level-bar.fill-block:backdrop,
1051
1051
.level-bar.fill-block.level-high:backdrop,
1052
1052
.level-bar.fill-block.level-low:backdrop {
1053
background-color: #b0b0b0;
1054
border-color: #b0b0b0;
1053
background-color: @backdrop_filling_bg;
1054
border-color: @backdrop_filling_bg;
1055
1055
background-image: none;
1140
1140
-GtkScrollbar-has-forward-stepper: 0;
1141
1141
-GtkScrollbar-trough-border: 0;
1142
1142
-GtkScrollbar-min-slider-length: 31;
1143
-GtkRange-slider-width: 3;
1143
-GtkRange-slider-width: 10;
1145
background-image: none;
1148
.scrollbar.hovering,
1149
1152
.scrollbar.dragging {
1150
-GtkRange-slider-width: 10;
1151
background-color: alpha(@bg_color, 0.8);
1153
background-color: @scrollbar_track_color;
1156
.scrollbar:hover:backdrop,
1157
.scrollbar.dragging:backdrop {
1158
background-color: @backdrop_selected_bg_color;
1161
/* Adding margins, so actual visible size is: -GtkRange-slider-width - margin
1162
* this allows to keep the slider smaller, but keeping few threshold pixels
1164
.scrollbar.vertical:hover:dir(ltr),
1165
.scrollbar.vertical.dragging:dir(ltr) {
1169
.scrollbar.vertical:hover:dir(rtl),
1170
.scrollbar.vertical.dragging:dir(rtl) {
1174
.scrollbar.horizontal:hover,
1175
.scrollbar.horizontal.dragging,
1176
.scrollbar.horizontal.slider:hover,
1177
.scrollbar.horizontal.slider.dragging {
1154
1181
.scrollbar.slider {
1155
1182
background-color: alpha(@selected_bg_color, 0.8);
1186
.scrollbar.slider.hovering,
1187
.scrollbar.slider.dragging {
1192
/* Adding margins, so actual visible size is: -GtkRange-slider-width - margin
1193
* this allows to define some kind of proximity effect also on mouse-enter
1195
.scrollbar.slider.vertical:dir(ltr):not(:hover):not(.dragging) {
1199
.scrollbar.slider.vertical:dir(rtl):not(:hover):not(.dragging) {
1203
.scrollbar.slider.horizontal:not(:hover):not(.dragging) {
1207
.scrollbar.slider:hover {
1208
background-color: alpha(@selected_bg_color, 0.85);
1159
1211
.scrollbar.slider:active {
1160
1212
background-color: @selected_bg_color;
1215
.scrollbar.slider:backdrop {
1216
background-color: alpha(@backdrop_filling_bg, 0.8);
1219
.scrollbar.slider:hover:backdrop {
1220
background-color: alpha(@backdrop_filling_bg, 0.85);
1223
.scrollbar.slider:active:backdrop {
1224
background-color: @backdrop_filling_bg;
1163
1227
/*******************
1164
1228
* scrolled window *
1165
1229
*******************/