HighContrast: fix scrollbar slider 'padding'

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index f040a9f3465b29d6c852da2efe0062cffd56cf8c..be48b72e5ee7abc17f9812f51a82da4cc4fd6abe 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1380,7 +1380,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
   &.trough { @extend .scrollbars-junction; }
   &.slider {
     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%);
     &:backdrop, &:insensitive {
       background-color: mix($bg_color, $fg_color, 90%);
@@ -1392,7 +1392,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
       background-color: $selected_bg_color;
     }
     &.fine-tune {
-      border-width: 5px;
+      border-width: 8px;
       &:prelight:active {
         background-color: $selected_bg_color;
       }

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 56118d1356ead66f0f830e09a3d72f6ea65672e2..1f1a5fc226b0d5718cb7101d892d037276bdec80 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1594,7 +1594,7 @@ GtkTreeView.view.progressbar {
     border: none; }
   .scrollbar.slider {
     border-radius: 20px;
-    border: 3px solid transparent;
+    border: 5px solid rgba(127, 127, 127, 0.01);
     background-color: #7f7f7f; }
     .scrollbar.slider:backdrop, .scrollbar.slider:insensitive {
       background-color: #e5e5e5; }
@@ -1603,7 +1603,7 @@ GtkTreeView.view.progressbar {
     .scrollbar.slider:prelight:active {
       background-color: #000; }
     .scrollbar.slider.fine-tune {
-      border-width: 5px; }
+      border-width: 8px; }
       .scrollbar.slider.fine-tune:prelight:active {
         background-color: #000; }