[gnome-themes-standard/highcontrast-improvements] highcontrast: fix fuzzy scale slider border, focus rect dashes spacing

[Cosimo Cecchi <cosimoc src gnome org>]

commit 1f37bac0a2cf04dad696a76023aff30b4fe99829
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Tue Apr 24 19:26:10 2012 -0400

    highcontrast: fix fuzzy scale slider border, focus rect dashes spacing

 themes/a11y-base.css |   16 ++++++++++------
 1 files changed, 10 insertions(+), 6 deletions(-)
---
diff --git a/themes/a11y-base.css b/themes/a11y-base.css
index e4e630e..6954805 100644
--- a/themes/a11y-base.css
+++ b/themes/a11y-base.css
@@ -10,7 +10,7 @@
 
     -GtkWidget-focus-padding: 1;
     -GtkWidget-focus-line-width: 2;
-    -GtkWidget-focus-line-pattern: "\002\001";
+    -GtkWidget-focus-line-pattern: "\002\002";
 
     -GtkMenu-horizontal-padding: 0;
     -GtkMenu-vertical-padding: 0;
@@ -338,10 +338,11 @@ GtkScale.trough.vertical {
 }
 
 GtkScale.slider {
+    background-clip: border-box;
     background-color: @theme_slider_bg;
     color: transparent;
 
-    border-radius: 10px;
+    border-radius: 20px;
     border-color: @theme_slider_border;
     border-style: solid;
     border-width: 1px;
@@ -349,6 +350,7 @@ GtkScale.slider {
 
 GtkScale.slider:hover {
     background-color: @theme_fg_color;
+    border-color: @theme_fg_color;
 }
 
 GtkScale.slider:insensitive {
@@ -356,6 +358,10 @@ GtkScale.slider:insensitive {
     border-color: @theme_insensitive_color;
 }
 
+GtkSwitch {
+    font: bold;
+}
+
 GtkSwitch.slider {
     padding: 2px;
 
@@ -365,10 +371,7 @@ GtkSwitch.slider {
     border-radius: 3px;
 
     background-color: @theme_slider_bg;
-}
-
-GtkSwitch {
-    font: bold;
+    background-clip: border-box;
 }
 
 GtkSwitch.slider:insensitive {
@@ -461,6 +464,7 @@ column-header:first-child .button {
     -GtkRange-trough-border: 0;
     -GtkScrollbar-has-backward-stepper: false;
     -GtkScrollbar-has-forward-stepper: false;
+    -GtkScrollbar-min-slider-length: 64;
 }
 
 .scrollbar.trough {