diff options
-rw-r--r-- | desktop-themes/Blue-Submarine/gtk-3.0/mate-applications.css | 8 | ||||
-rw-r--r-- | desktop-themes/Green-Submarine/gtk-3.0/mate-applications.css | 8 |
2 files changed, 16 insertions, 0 deletions
diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/mate-applications.css b/desktop-themes/Blue-Submarine/gtk-3.0/mate-applications.css index 57be67e0..c5e8b807 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/mate-applications.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/mate-applications.css @@ -908,6 +908,14 @@ window.background.mate-terminal > box.vertical > notebook > stack > box { border-width: 0px; } +window.background.mate-terminal > box.vertical > notebook > header.top tab, +window.background.mate-terminal > box.vertical > notebook > header.top tab:hover, +window.background.mate-terminal > box.vertical > notebook > header.top tab:checked, +window.background.mate-terminal > box.vertical > notebook > header.top tab:checked:hover { + margin: 0px -1px 0px -1px; + border-width: 1px 1px 0 1px; +} + vte-terminal { -TerminalWindow-background-darkness: 0.95; background-color: @terminal_background_color; diff --git a/desktop-themes/Green-Submarine/gtk-3.0/mate-applications.css b/desktop-themes/Green-Submarine/gtk-3.0/mate-applications.css index 455656d5..3b101f3c 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/mate-applications.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/mate-applications.css @@ -920,6 +920,14 @@ window.background.mate-terminal > box.vertical > notebook > stack > box { border-width: 0px; } +window.background.mate-terminal > box.vertical > notebook > header.top tab, +window.background.mate-terminal > box.vertical > notebook > header.top tab:hover, +window.background.mate-terminal > box.vertical > notebook > header.top tab:checked, +window.background.mate-terminal > box.vertical > notebook > header.top tab:checked:hover { + margin: 0px -1px 0px -1px; + border-width: 1px 1px 0 1px; +} + vte-terminal { -TerminalWindow-background-darkness: 0.95; background-color: @terminal_background_color; |