summaryrefslogtreecommitdiff
path: root/desktop-themes
diff options
context:
space:
mode:
authorZenWalker <[email protected]>2017-09-13 10:50:25 +0200
committerZenWalker <[email protected]>2017-09-13 10:54:48 +0200
commit17ef205c389f5b813b8ac20ab6c12b7cbfb3749d (patch)
treee13584f9fdc58691124fe1d18f7801eabf67a22a /desktop-themes
parenta802115a3d88649047d32c12c61a2f34e2280a01 (diff)
downloadmate-themes-17ef205c389f5b813b8ac20ab6c12b7cbfb3749d.tar.bz2
mate-themes-17ef205c389f5b813b8ac20ab6c12b7cbfb3749d.tar.xz
TOK/TG: sliders: keep the original size
Fixes #190
Diffstat (limited to 'desktop-themes')
-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,