[gnome-themes-standard] HC: style fin-tune for scrollbars and scales

[Jakub Steiner <jimmac src gnome org>]

commit c273df2a38c27ed7d45725fea7feb17b8788b9d8
Author: Jakub Steiner <jimmac gmail com>
Date:   Fri Jan 3 14:06:13 2014 +0100

    HC: style fin-tune for scrollbars and scales
    
    - scales use a horrible radial gradient workaround
      as I couldn't figure out how to set margin for them
    
    https://bugzilla.gnome.org/show_bug.cgi?id=711072

 themes/HighContrast/gtk-3.0/gtk-widgets.css |   24 ++++++++++++++++++++++++
 1 files changed, 24 insertions(+), 0 deletions(-)
---
diff --git a/themes/HighContrast/gtk-3.0/gtk-widgets.css b/themes/HighContrast/gtk-3.0/gtk-widgets.css
index c58b4c1..236fa18 100644
--- a/themes/HighContrast/gtk-3.0/gtk-widgets.css
+++ b/themes/HighContrast/gtk-3.0/gtk-widgets.css
@@ -800,6 +800,22 @@ GtkScale.slider:insensitive {
     border-color: @theme_button_insensitive_active_bg;
 }
 
+GtkScale.slider.fine-tune,
+GtkScale.slider.fine-tune:active,
+GtkScale.slider.fine-tune:active:hover,
+GtkScale.slider.fine-tune.horizontal:active,
+GtkScale.slider.fine-tune.horizontal:active:hover {
+  background-color: transparent;
+  background-image: -gtk-gradient(radial, 
+                                                              center center, 0, 
+                                                              center center, 1, 
+                                                              from(@theme_fg_color),
+                                                              color-stop(0.3, @theme_fg_color),
+                                                              color-stop(0.31, transparent),
+                                                              to(transparent));
+  border-width: 0;
+}
+
 /**********
  * Switch *
  **********/
@@ -955,6 +971,14 @@ GtkScrolledWindow GtkViewport.frame {
     border-color: transparent;
 }
 
+.scrollbar.slider.fine-tune:prelight:active {
+      background-image: none;
+      border-style: solid;
+      border-image: none;
+      border-color: transparent;
+      border-width: 5px;
+}
+  
 /******************
  * Column headers *
  ******************/