diff options
author | Wolfgang Ulbrich <[email protected]> | 2016-01-01 19:45:06 +0100 |
---|---|---|
committer | Wolfgang Ulbrich <[email protected]> | 2016-01-01 19:45:55 +0100 |
commit | 09c42d9e9695ec489a5b45c305c1afa18b60314a (patch) | |
tree | eb7864f22c414a2a436725dfba88471c4201fa41 /desktop-themes/Blue-Submarine/gtk-3.0 | |
parent | 03fb3a3c5f2c92814a6cec8e378c105424735cfb (diff) | |
download | mate-themes-09c42d9e9695ec489a5b45c305c1afa18b60314a.tar.bz2 mate-themes-09c42d9e9695ec489a5b45c305c1afa18b60314a.tar.xz |
GTK3 submarine themes: reduce hight of notebook tabs
Diffstat (limited to 'desktop-themes/Blue-Submarine/gtk-3.0')
-rw-r--r-- | desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css index 912f4054..3e9af8e7 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -3253,6 +3253,11 @@ GtkLinkButton.button.flat:hover { border-width: 0px 0px 0px 1px; } +/* tabs in view areas, ie. pluma-, caja-tabs */ +GtkPaned.horizontal .notebook.header.top { + border-width: 0px; +} + .notebook.header.frame.top { border-radius: 4px 4px 0px 0px; } @@ -3295,7 +3300,11 @@ GtkLinkButton.button.flat:hover { .notebook tab.top, .notebook tab.bottom { - padding: 8px 20px 6px; + padding: 5px 20px 6px; +} + +GtkPaned.horizontal .notebook tab.top { + padding: 5px 4px; } .notebook tab.top { @@ -3367,7 +3376,6 @@ GtkLinkButton.button.flat:hover { border-style: solid; border-width: 1px 0px 1px 1px; border-color: @notebook_border; - border-right-color: @notebook_active_tab_border; border-radius: 4px 0px 0px 4px; } @@ -3389,7 +3397,6 @@ GtkLinkButton.button.flat:hover { border-style: solid; border-width: 1px 1px 1px 0px; border-color: @notebook_border; - border-right-color: @notebook_active_tab_border; border-radius: 0px 4px 4px 0px; } @@ -3428,7 +3435,7 @@ GtkLinkButton.button.flat:hover { border-image: none; background-image: none; background-color: transparent; - border-radius: 3px; + border-radius: 4px; border-style: solid; border-color: transparent; border-width: 1px; |