aboutsummaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
authorHorst31802016-04-05 18:58:22 +0200
committerHorst31802016-04-05 18:58:22 +0200
commit0573472a16b622eb9ac14560d147693342361306 (patch)
tree5858281641ec97bf7b453f6c03e0f007c5072f01 /common
parent428f89c38c8a7ccef31085710bb7a19a3293625a (diff)
downloadsolarc-theme-0573472a16b622eb9ac14560d147693342361306.tar.gz
solarc-theme-0573472a16b622eb9ac14560d147693342361306.tar.xz
solarc-theme-0573472a16b622eb9ac14560d147693342361306.zip
simplify scale style
Diffstat (limited to 'common')
-rw-r--r--common/gtk-3.0/3.20/gtk-dark.css33
-rw-r--r--common/gtk-3.0/3.20/gtk-darker.css33
-rw-r--r--common/gtk-3.0/3.20/gtk-solid-dark.css33
-rw-r--r--common/gtk-3.0/3.20/gtk-solid-darker.css33
-rw-r--r--common/gtk-3.0/3.20/gtk-solid.css33
-rw-r--r--common/gtk-3.0/3.20/gtk.css33
-rw-r--r--common/gtk-3.0/3.20/sass/_common.scss30
7 files changed, 74 insertions, 154 deletions
diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css
index d440046..af922a3 100644
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -2046,32 +2046,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css
index b299672..614736f 100644
--- a/common/gtk-3.0/3.20/gtk-darker.css
+++ b/common/gtk-3.0/3.20/gtk-darker.css
@@ -2045,32 +2045,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/gtk-solid-dark.css b/common/gtk-3.0/3.20/gtk-solid-dark.css
index d7caa74..35c5867 100644
--- a/common/gtk-3.0/3.20/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.20/gtk-solid-dark.css
@@ -2046,32 +2046,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/gtk-solid-darker.css b/common/gtk-3.0/3.20/gtk-solid-darker.css
index 80c9c64..e7e0bf7 100644
--- a/common/gtk-3.0/3.20/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.20/gtk-solid-darker.css
@@ -2045,32 +2045,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/gtk-solid.css b/common/gtk-3.0/3.20/gtk-solid.css
index 9602e3c..2058160 100644
--- a/common/gtk-3.0/3.20/gtk-solid.css
+++ b/common/gtk-3.0/3.20/gtk-solid.css
@@ -2049,32 +2049,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css
index 127966a..e1b7872 100644
--- a/common/gtk-3.0/3.20/gtk.css
+++ b/common/gtk-3.0/3.20/gtk.css
@@ -2049,32 +2049,21 @@ radio {
margin: 0; }
scale {
- min-height: 10px;
- min-width: 10px; }
- scale.horizontal {
- padding: 6px 0; }
- scale.horizontal trough {
- padding: 0 7px; }
- scale.horizontal highlight, scale.horizontal fill {
- margin: 0 -7px; }
- scale.vertical {
- padding: 0 6px; }
- scale.vertical trough {
- padding: 7px 0; }
- scale.vertical highlight, scale.vertical fill {
- margin: -7px 0; }
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px; }
+ scale.horizontal trough {
+ padding: 0 4px; }
+ scale.horizontal highlight, scale.horizontal fill {
+ margin: 0 -4px; }
+ scale.vertical trough {
+ padding: 4px 0; }
+ scale.vertical highlight, scale.vertical fill {
+ margin: -4px 0; }
scale slider {
min-height: 15px;
min-width: 15px;
margin: -6px; }
- scale.fine-tune.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px; }
- scale.fine-tune.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px; }
scale.fine-tune slider {
margin: -4px; }
scale.fine-tune fill,
diff --git a/common/gtk-3.0/3.20/sass/_common.scss b/common/gtk-3.0/3.20/sass/_common.scss
index b045b74..e57988c 100644
--- a/common/gtk-3.0/3.20/sass/_common.scss
+++ b/common/gtk-3.0/3.20/sass/_common.scss
@@ -2053,20 +2053,18 @@ scale {
$_marks_length: 3px;
$_marks_distance: 1px;
- min-height: 10px;
- min-width: 10px;
+ min-height: 15px;
+ min-width: 15px;
+ padding: 3px;
&.horizontal {
- padding: 6px 0;
-
- trough { padding: 0 7px; }
- highlight, fill { margin: 0 -7px; }
+ trough { padding: 0 4px; }
+ highlight, fill { margin: 0 -4px; }
}
- &.vertical {
- padding: 0 6px;
- trough { padding: 7px 0; }
- highlight, fill { margin: -7px 0; }
+ &.vertical {
+ trough { padding: 4px 0; }
+ highlight, fill { margin: -4px 0; }
}
// The slider is inside the trough, negative margin to make it bigger
@@ -2078,18 +2076,6 @@ scale {
// Click-and-hold the slider to activate
&.fine-tune {
- &.horizontal {
- padding-top: 4px;
- padding-bottom: 4px;
- min-height: 15px;
- }
-
- &.vertical {
- padding-left: 4px;
- padding-right: 4px;
- min-width: 15px;
- }
-
// Make the trough grow in fine-tune mode
slider { margin: -4px; }