[gtk+] HighContrast: fix scrollbar slider 'padding'

[Jakub Steiner <jimmac src gnome org>]

commit 6c8790f62c3bc4ff3fa4451948be3406f5525c34
Author: Jakub Steiner <jimmac gmail com>
Date:   Fri Apr 10 20:19:42 2015 +0200

    HighContrast: fix scrollbar slider 'padding'

 gtk/theme/HighContrast/_common.scss |    4 ++--
 gtk/theme/HighContrast/gtk.css      |    4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index f040a9f..be48b72 100644
--- 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 56118d1..1f1a5fc 100644
--- 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; }