Archives/horst3180_arc-theme
1
0
Fork 0
mirror of https://github.com/horst3180/arc-theme.git synced 2024-10-27 19:04:02 +00:00
Code Issues Projects Releases Wiki Activity

simplify scale style

Browse Source
This commit is contained in:
Horst3180 2016-04-05 18:58:22 +02:00
parent 428f89c38c
commit 0573472a16
7 changed files with 74 additions and 154 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
common/gtk-3.0/3.20/gtk-dark.css
View File

@ -2046,32 +2046,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

25
common/gtk-3.0/3.20/gtk-darker.css
View File

@ -2045,32 +2045,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

25
common/gtk-3.0/3.20/gtk-solid-dark.css
View File

@ -2046,32 +2046,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

25
common/gtk-3.0/3.20/gtk-solid-darker.css
View File

@ -2045,32 +2045,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

25
common/gtk-3.0/3.20/gtk-solid.css
View File

@ -2049,32 +2049,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

25
common/gtk-3.0/3.20/gtk.css
View File

@ -2049,32 +2049,21 @@ radio {
margin: 0; } margin: 0; }
scale { scale {
min-height: 10px; min-height: 15px;
min-width: 10px; } min-width: 15px;
scale.horizontal { padding: 3px; }
padding: 6px 0; }
scale.horizontal trough { scale.horizontal trough {
padding: 0 7px; } padding: 0 4px; }
scale.horizontal highlight, scale.horizontal fill { scale.horizontal highlight, scale.horizontal fill {
margin: 0 -7px; } margin: 0 -4px; }
scale.vertical {
padding: 0 6px; }
scale.vertical trough { scale.vertical trough {
padding: 7px 0; } padding: 4px 0; }
scale.vertical highlight, scale.vertical fill { scale.vertical highlight, scale.vertical fill {
margin: -7px 0; } margin: -4px 0; }
scale slider { scale slider {
min-height: 15px; min-height: 15px;
min-width: 15px; min-width: 15px;
margin: -6px; } 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 { scale.fine-tune slider {
margin: -4px; } margin: -4px; }
scale.fine-tune fill, scale.fine-tune fill,

30
common/gtk-3.0/3.20/sass/_common.scss
View File

@ -2053,20 +2053,18 @@ scale {
$_marks_length: 3px; $_marks_length: 3px;
$_marks_distance: 1px; $_marks_distance: 1px;
min-height: 10px; min-height: 15px;
min-width: 10px; min-width: 15px;
padding: 3px;
&.horizontal { &.horizontal {
padding: 6px 0; trough { padding: 0 4px; }
highlight, fill { margin: 0 -4px; }
trough { padding: 0 7px; }
highlight, fill { margin: 0 -7px; }
} }
&.vertical {
padding: 0 6px;
trough { padding: 7px 0; } &.vertical {
highlight, fill { margin: -7px 0; } trough { padding: 4px 0; }
highlight, fill { margin: -4px 0; }
} }
// The slider is inside the trough, negative margin to make it bigger // The slider is inside the trough, negative margin to make it bigger
@ -2078,18 +2076,6 @@ scale {
// Click-and-hold the slider to activate // Click-and-hold the slider to activate
&.fine-tune { &.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 // Make the trough grow in fine-tune mode
slider { margin: -4px; } slider { margin: -4px; }