TOK/TG: sliders: keep the original size

Fixes #190

1 files changed, 7 insertions, 14 deletions

diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 5b4891f9..84db0b7a 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -766,32 +766,25 @@ scale slider:disabled {
 }
 
 scale.horizontal slider {
-    min-width: 28px;
-    margin: -9px 0px -9px 0px;
+    min-width: 21px;
+    margin: -6px 0px -9px 0px;
 }
 
 scale.vertical slider {
-    min-height: 30px;
-    margin: 0px -9px 0px -9px;
+    min-height: 21px;
+    margin: 0px -7px 0px -6px;
 }
 
 scale.horizontal.marks-after slider {
+    margin-top: -6px;
     background-repeat: no-repeat;
-    min-height: 22px;
-    background-size: 90%;
+    min-height: 16px;
 }
 
 scale.vertical slider,
 scale.horizontal slider {
-    background-size: 90%;
     background-repeat: no-repeat;
-    background-position: center;
-}
-
-scale.vertical slider:hover,
-scale.horizontal slider:hover,
-scale.horizontal.marks-after slider:hover {
-    background-size: 95%;
+    background-position: top;
 }
 
 scale.vertical.fine-tune slider,