HighContrast: fix scrollbar slider 'padding'

This commit is contained in:
Jakub Steiner 2015-04-10 20:19:42 +02:00
parent 26e8037cf9
commit 6c8790f62c
2 changed files with 4 additions and 4 deletions

View File

@ -1380,7 +1380,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
&.trough { @extend .scrollbars-junction; } &.trough { @extend .scrollbars-junction; }
&.slider { &.slider {
border-radius: 20px; border-radius: 20px;
border: 3px solid transparent; //margin :/ border: 5px solid transparentize(mix($bg_color, $fg_color, 50%),0.99); //margin :/
background-color: mix($bg_color, $fg_color, 50%); background-color: mix($bg_color, $fg_color, 50%);
&:backdrop, &:insensitive { &:backdrop, &:insensitive {
background-color: mix($bg_color, $fg_color, 90%); background-color: mix($bg_color, $fg_color, 90%);
@ -1392,7 +1392,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
background-color: $selected_bg_color; background-color: $selected_bg_color;
} }
&.fine-tune { &.fine-tune {
border-width: 5px; border-width: 8px;
&:prelight:active { &:prelight:active {
background-color: $selected_bg_color; background-color: $selected_bg_color;
} }

View File

@ -1594,7 +1594,7 @@ GtkTreeView.view.progressbar {
border: none; } border: none; }
.scrollbar.slider { .scrollbar.slider {
border-radius: 20px; border-radius: 20px;
border: 3px solid transparent; border: 5px solid rgba(127, 127, 127, 0.01);
background-color: #7f7f7f; } background-color: #7f7f7f; }
.scrollbar.slider:backdrop, .scrollbar.slider:insensitive { .scrollbar.slider:backdrop, .scrollbar.slider:insensitive {
background-color: #e5e5e5; } background-color: #e5e5e5; }
@ -1603,7 +1603,7 @@ GtkTreeView.view.progressbar {
.scrollbar.slider:prelight:active { .scrollbar.slider:prelight:active {
background-color: #000; } background-color: #000; }
.scrollbar.slider.fine-tune { .scrollbar.slider.fine-tune {
border-width: 5px; } border-width: 8px; }
.scrollbar.slider.fine-tune:prelight:active { .scrollbar.slider.fine-tune:prelight:active {
background-color: #000; } background-color: #000; }