From a2be0d3debc38fe95d4deca4d77a70da9e189039 Mon Sep 17 00:00:00 2001
From: raveit65 <chat-to-me@raveit.de>
Date: Tue, 8 Mar 2016 20:19:27 +0100
Subject: GTK+-3.20 Traditional themes: adjust size of spinbutton buttons

---
 desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 4 ++--
 desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css    | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'desktop-themes')

diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index 2b7adf12..ca06f8e7 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -1113,7 +1113,7 @@ spinbutton > button:focus,
 spinbutton > button:focus:active {
     background-color: transparent;
     color: @internal_element_color;
-    padding: 2px 6px;
+    padding: 6px;
     border-radius: 0;
     border-width: 0 0 0 1px;
     border-style: solid;
@@ -1199,7 +1199,7 @@ spinbutton.vertical > button:focus:active:last-child {
     border-width: 0 0 0 1px;
     border-image: none;
     border-color: @spinbutton_border_color;
-    padding: 4px 6px;
+    padding: 6px;
 }
 
 
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 8378e4bc..f93b506a 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -1114,7 +1114,7 @@ spinbutton > button:focus,
 spinbutton > button:focus:active {
     background-color: transparent;
     color: @internal_element_color;
-    padding: 2px 6px;
+    padding: 6px;
     border-radius: 0;
     border-width: 0 0 0 1px;
     border-style: solid;
@@ -1200,7 +1200,7 @@ spinbutton.vertical > button:focus:active:last-child {
     border-width: 0 0 0 1px;
     border-image: none;
     border-color: @spinbutton_border_color;
-    padding: 4px 6px;
+    padding: 6px;
 }
 
 
-- 
cgit v1.2.1