summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalOk
diff options
context:
space:
mode:
authorZenWalker <[email protected]>2017-03-20 20:38:58 +0100
committerZenWalker <[email protected]>2017-03-22 15:56:29 +0100
commitc87cd5c4ea127ceb62265e455e68f56d460025c4 (patch)
treebe37faf654e8b536b25dbd7c91666afbd78ac31c /desktop-themes/TraditionalOk
parent6c6b981ee53fa4871ef2c12cd8987e610aae62b8 (diff)
downloadmate-themes-c87cd5c4ea127ceb62265e455e68f56d460025c4.tar.bz2
mate-themes-c87cd5c4ea127ceb62265e455e68f56d460025c4.tar.xz
Traditional themes: make padding in notebook tabs smaller
Diffstat (limited to 'desktop-themes/TraditionalOk')
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css8
1 files changed, 4 insertions, 4 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 975ecfd4..a00ed100 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -1805,7 +1805,7 @@ notebook header tab {
notebook header.top tab {
margin: 0px 0px 0px -1px;
- padding: 6px;
+ padding: 4px 6px 2px 6px;
border-width: 0px 1px 1px 1px;
border-radius: 3px 3px 0px 0px;
background-image: linear-gradient(to bottom,
@@ -1823,7 +1823,7 @@ notebook header.top tab:checked {
notebook header.right tab {
margin: -1px 0px 0px 0px;
- padding: 6px;
+ padding: 6px 4px 6px 2px;
border-width: 1px 0px 1px 1px;
border-radius: 0px 3px 3px 0px;
background-image: linear-gradient(to left,
@@ -1841,7 +1841,7 @@ notebook header.right tab:checked {
notebook header.bottom tab {
margin: 0px 0px 0px -1px;
- padding: 6px;
+ padding: 2px 6px 4px 6px;
border-width: 1px 1px 0px 1px;
border-radius: 0px 0px 3px 3px;
background-image: linear-gradient(to top,
@@ -1859,7 +1859,7 @@ notebook header.bottom tab:checked {
notebook header.left tab {
margin: -1px 0px 0px 0px;
- padding: 6px;
+ padding: 6px 2px 6px 4px;
border-width: 1px 1px 1px 0px;
border-radius: 3px 0px 0px 3px;
background-image: linear-gradient(to right,