diff options
| author | ZenWalker <[email protected]> | 2017-04-13 01:59:30 +0200 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2017-04-13 02:01:18 +0200 |
| commit | 368455052dc7aca008ec465ea7f583b2baa93476 (patch) | |
| tree | 9cde2a45d4c32443b75f1e59e967a32bc76381c2 /desktop-themes/TraditionalOk/gtk-3.0 | |
| parent | c3c7f52f649c6f5a8b443f08e44aafa8f8a9079c (diff) | |
| download | mate-themes-368455052dc7aca008ec465ea7f583b2baa93476.tar.bz2 mate-themes-368455052dc7aca008ec465ea7f583b2baa93476.tar.xz | |
TOK/TG: make padding in notebook tabs 2 pixels bigger
Diffstat (limited to 'desktop-themes/TraditionalOk/gtk-3.0')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 8 |
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 14d3da22..c0683fd0 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -1836,7 +1836,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, @@ -1856,7 +1856,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, @@ -1876,7 +1876,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, @@ -1896,7 +1896,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, |