summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalGreen/gtk-3.0
diff options
context:
space:
mode:
authorZenWalker <[email protected]>2017-04-13 01:59:30 +0200
committerZenWalker <[email protected]>2017-04-13 02:01:18 +0200
commit368455052dc7aca008ec465ea7f583b2baa93476 (patch)
tree9cde2a45d4c32443b75f1e59e967a32bc76381c2 /desktop-themes/TraditionalGreen/gtk-3.0
parentc3c7f52f649c6f5a8b443f08e44aafa8f8a9079c (diff)
downloadmate-themes-368455052dc7aca008ec465ea7f583b2baa93476.tar.bz2
mate-themes-368455052dc7aca008ec465ea7f583b2baa93476.tar.xz
TOK/TG: make padding in notebook tabs 2 pixels bigger
Diffstat (limited to 'desktop-themes/TraditionalGreen/gtk-3.0')
-rw-r--r--desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css8
1 files changed, 4 insertions, 4 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index e88b6f2e..876bc2b9 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -1835,7 +1835,7 @@ notebook header tab {
notebook header.top tab {
margin: 0px 0px 0px -1px;
- padding: 4px 6px 2px 6px;
+ padding: 4px 6px 4px 6px;
border-width: 1px;
border-radius: 3px 3px 0px 0px;
background-image: linear-gradient(to bottom,
@@ -1855,7 +1855,7 @@ notebook header.top tab:checked {
notebook header.right tab {
margin: -1px 0px 0px 0px;
- padding: 6px 4px 6px 2px;
+ padding: 6px 4px 6px 4px;
border-width: 1px;
border-radius: 0px 3px 3px 0px;
background-image: linear-gradient(to left,
@@ -1875,7 +1875,7 @@ notebook header.right tab:checked {
notebook header.bottom tab {
margin: 0px 0px 0px -1px;
- padding: 2px 6px 4px 6px;
+ padding: 4px 6px 4px 6px;
border-width: 1px;
border-radius: 0px 0px 3px 3px;
background-image: linear-gradient(to top,
@@ -1895,7 +1895,7 @@ notebook header.bottom tab:checked {
notebook header.left tab {
margin: -1px 0px 0px 0px;
- padding: 6px 2px 6px 4px;
+ padding: 6px 4px 6px 4px;
border-width: 1px;
border-radius: 3px 0px 0px 3px;
background-image: linear-gradient(to right,