From 45f56636a70f849d44196be0c6caeef97023b5bc Mon Sep 17 00:00:00 2001
From: Satyajit Sahoo <satyajit.happy@gmail.com>
Date: Thu, 17 Oct 2013 02:52:40 +0530
Subject: [PATCH] Made slider properly round and trough thinner

---
 gtk-3.0/gtk-dark.css    |  2 +-
 gtk-3.0/gtk-widgets.css | 14 +++++++-------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/gtk-3.0/gtk-dark.css b/gtk-3.0/gtk-dark.css
index 618aaab..02f9f97 100644
--- a/gtk-3.0/gtk-dark.css
+++ b/gtk-3.0/gtk-dark.css
@@ -1,4 +1,4 @@
-/* Default color scheme */
+/* default color scheme */
 @define-color base_color #333333;
 @define-color bg_color #2d2d2d;
 @define-color text_color #dedede;
diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css
index 13c675d..201888a 100644
--- a/gtk-3.0/gtk-widgets.css
+++ b/gtk-3.0/gtk-widgets.css
@@ -1168,13 +1168,13 @@ GtkLevelBar.vertical {
     border-width: 1px;
     border-radius: 2px;
 
-    -GtkRange-slider-width: 15;
+    -GtkRange-slider-width: 16;
     -GtkRange-trough-border: 1;
-    -GtkScale-slider-length: 15;
+    -GtkScale-slider-length: 16;
 }
 
 .scale.slider {
-    border-radius: 7px;
+    border-radius: 8px;
     background-color: shade(@theme_bg_color, 1.08);
     background-image: none;
     /* we will draw the border using box shadow for now */
@@ -1214,7 +1214,7 @@ GtkLevelBar.vertical {
 }
 
 .scale.trough {
-    margin: 6px 0;
+    margin: 7px 0;
     border-color: shade(@theme_bg_color, 0.8);
     border-radius: 2px;
     background-color: shade(@theme_bg_color, 1.08);
@@ -1222,17 +1222,17 @@ GtkLevelBar.vertical {
 }
 
 .scale.trough.vertical {
-    margin: 0 6px;
+    margin: 0 7px;
 }
 
-.menubar .menuitem .scale.highlight.left,
+.menuitem .scale.highlight.left,
 .scale.highlight.left {
     border-color: @theme_selected_bg_color;
     background-color: @theme_selected_bg_color;
     background-image: none;
 }
 
-.menubar .menuitem .scale.highlight.left:hover {
+.menuitem .scale.highlight.left:hover {
     border-color: shade(@theme_selected_bg_color, 0.8);
     background-color: shade(@theme_selected_bg_color, 0.8);
 }