summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css21
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css21
2 files changed, 14 insertions, 28 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index 84440ec3..9f5271fd 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/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,
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,