diff options
| author | raveit65 <[email protected]> | 2016-02-24 15:13:04 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-02-24 15:13:48 +0100 |
| commit | fdd3d55d59383e146da666a148e7f0440ed19243 (patch) | |
| tree | c6bc9ca651f5194a6fbffe57736f01c22b302281 | |
| parent | 02e465a4ee6173394a3c445da59702cdf929ac1a (diff) | |
| download | mate-themes-fdd3d55d59383e146da666a148e7f0440ed19243.tar.bz2 mate-themes-fdd3d55d59383e146da666a148e7f0440ed19243.tar.xz | |
GTK+-3.20 Blue-Submarine: reduce size of spinbuttons
| -rw-r--r-- | desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css | 75 |
1 files changed, 38 insertions, 37 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css index d0e041a7..3e8c86c1 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -3024,30 +3024,30 @@ spinbutton.vertical:focus { padding: 0px;
}
-spinbutton.horizontal entry {
+spinbutton.horizontal > entry {
padding: 0px 10px 0px 3px;
box-shadow: none;
border-radius: 3px 0px 0px 3px;
border-style: none;
}
-spinbutton button:disabled,
-spinbutton button:disabled:last-child,
-spinbutton.vertical button:disabled,
-spinbutton.vertical button:disabled:last-child {
+spinbutton > button:disabled,
+spinbutton > button:disabled:last-child,
+spinbutton.vertical > button:disabled,
+spinbutton.vertical > button:disabled:last-child {
color: @internal_element_insensitive;
border-color: @insensitive_border_color;
}
-spinbutton button,
-spinbutton button:hover,
-spinbutton button:focus,
-spinbutton button:active {
+spinbutton > button,
+spinbutton > button:hover,
+spinbutton > button:focus,
+spinbutton > button:active {
-gtk-icon-shadow: 0 1px @button_text_shadow;
color: @internal_element_prelight;
}
-spinbutton button:hover {
+spinbutton > button:hover {
background-image: -gtk-gradient (linear,
left top, left bottom,
from (shade(@button_gradient1, 1.03)),
@@ -3056,7 +3056,7 @@ spinbutton button:hover { to (shade(@button_gradient4, 1.01)));
}
-spinbutton button:active {
+spinbutton > button:active {
background-image: -gtk-gradient (linear,
left top, left bottom,
from (shade (@theme_bg_color, 1.20)),
@@ -3065,11 +3065,13 @@ spinbutton button:active { to (shade (@theme_bg_color, 0.80)));
}
-spinbutton button,
-spinbutton button:focus,
-spinbutton button:hover,
-spinbutton button:active,
-spinbutton button:disabled {
+spinbutton > button,
+spinbutton > button:focus,
+spinbutton > button:hover,
+spinbutton > button:active,
+spinbutton > button:disabled {
+ min-height: 10px;
+ min-width: 10px;
border-radius: 0px;
padding: 0px 5px;
box-shadow: none;
@@ -3078,66 +3080,65 @@ spinbutton button:disabled { border-width: 0px 1px 0px 1px;
}
-spinbutton button:last-child,
-spinbutton button:hover:last-child,
-spinbutton button:active:last-child,
-spinbutton button:disabled:last-child {
+spinbutton > button:last-child,
+spinbutton > button:hover:last-child,
+spinbutton > button:active:last-child,
+spinbutton > button:disabled:last-child {
border-radius: 0 3px 3px 0;
border-width: 0px;
}
-spinbutton.horizontal button:hover,
-spinbutton.horizontal button:active {
+spinbutton.horizontal > button:hover,
+spinbutton.horizontal > button:active {
box-shadow: inset 0px 1px shade (@theme_selected_bg_color, 1.3),
inset -1px 0px shade (@theme_selected_bg_color, 1.3),
inset 0px -1px shade (@theme_selected_bg_color, 1.3);
}
-spinbutton button:hover:last-child,
-spinbutton button:active:last-child {
+spinbutton > button:hover:last-child,
+spinbutton > button:active:last-child {
box-shadow: inset 0px 1px shade (@theme_selected_bg_color, 1.3),
inset 1px 0px shade (@theme_selected_bg_color, 1.3),
inset -1px 0px shade (@theme_selected_bg_color, 1.3),
inset 0px -1px shade (@theme_selected_bg_color, 1.3);
}
-spinbutton.vertical entry {
+spinbutton.vertical > entry {
border-style: none;
border-radius: 0;
padding: 5px 1px;
box-shadow: none;
}
-spinbutton.vertical button,
-spinbutton.vertical button:focus,
-spinbutton.vertical button:active {
+spinbutton.vertical > button,
+spinbutton.vertical > button:focus {
border-style: solid;
border-width: 0px 0px 1px 0px;
- border-radius: 4px 4px 0px 0px;
+ border-radius: 3px 3px 0px 0px;
padding: 6px 0px;
}
-spinbutton.vertical button:last-child {
+spinbutton.vertical > button:last-child {
border-width: 1px 0px 0px 0px;
- border-radius: 0px 0px 4px 4px;
+ border-radius: 0px 0px 3px 3px;
}
-spinbutton.vertical button:hover,
-spinbutton.vertical button:active {
+spinbutton.vertical > button:hover,
+spinbutton.vertical > button:active {
box-shadow: inset 0px 1px shade (@theme_selected_bg_color, 1.3),
inset 1px 0px shade (@theme_selected_bg_color, 1.3),
inset -1px 0px shade (@theme_selected_bg_color, 1.3);
}
-spinbutton.vertical button:hover:last-child,
-spinbutton.vertical button:active:last-child {
+spinbutton.vertical > button:hover:last-child,
+spinbutton.vertical > button:active:last-child {
box-shadow: inset 1px 0px shade (@theme_selected_bg_color, 1.3),
inset -1px 0px shade (@theme_selected_bg_color, 1.3),
inset 0px -1px shade (@theme_selected_bg_color, 1.3);
}
-spinbutton.horizontal entry:focus,
-spinbutton.vertical entry:focus {
+spinbutton.horizontal > entry:focus,
+spinbutton.vertical > entry:focus {
border-color: alpha(@borders, 0.1);
box-shadow: inset 0px 1px 0 0 shade (@theme_selected_bg_color, 1.3),
inset 1px 0px 0 0 shade (@theme_selected_bg_color, 1.3),
|