diff options
| author | ZenWalker <[email protected]> | 2017-03-20 20:38:58 +0100 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2017-03-22 15:56:29 +0100 |
| commit | c87cd5c4ea127ceb62265e455e68f56d460025c4 (patch) | |
| tree | be37faf654e8b536b25dbd7c91666afbd78ac31c /desktop-themes | |
| parent | 6c6b981ee53fa4871ef2c12cd8987e610aae62b8 (diff) | |
| download | mate-themes-c87cd5c4ea127ceb62265e455e68f56d460025c4.tar.bz2 mate-themes-c87cd5c4ea127ceb62265e455e68f56d460025c4.tar.xz | |
Traditional themes: make padding in notebook tabs smaller
Diffstat (limited to 'desktop-themes')
| -rw-r--r-- | desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 8 | ||||
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index fb413afe..a58fb9d2 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -1804,7 +1804,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, @@ -1822,7 +1822,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, @@ -1840,7 +1840,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, @@ -1858,7 +1858,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, 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, |