diff options
| author | Wolfgang Ulbrich <[email protected]> | 2016-01-01 19:48:40 +0100 |
|---|---|---|
| committer | Wolfgang Ulbrich <[email protected]> | 2016-01-01 19:48:40 +0100 |
| commit | 6afdb19b11321e081f5c003392f5b5d14bdd714b (patch) | |
| tree | a52dfdae8705ad0589f25532a98bad89f7c8da1e /desktop-themes/Blue-Submarine | |
| parent | 9a1ef05ec2de5e8f029e91116ff76aa12058c672 (diff) | |
| download | mate-themes-6afdb19b11321e081f5c003392f5b5d14bdd714b.tar.bz2 mate-themes-6afdb19b11321e081f5c003392f5b5d14bdd714b.tar.xz | |
GTK3 submarine themes: reduce hight of notebook tabs
Diffstat (limited to 'desktop-themes/Blue-Submarine')
| -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 381635bb..bb5871cc 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/gtk-widgets.css @@ -3112,6 +3112,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;
}
@@ -3154,7 +3159,11 @@ GtkLinkButton.button.flat:hover { .notebook tab.top,
.notebook tab.bottom {
- padding: 8px 22px 6px;
+ padding: 5px 20px 6px;
+}
+
+GtkPaned.horizontal .notebook tab.top {
+ padding: 5px 4px;
}
.notebook tab.top {
@@ -3226,7 +3235,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;
}
@@ -3248,7 +3256,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;
}
@@ -3287,7 +3294,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;
|