diff options
| author | raveit65 <[email protected]> | 2019-05-12 14:02:47 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-05-12 14:02:47 +0200 |
| commit | 3bde1f1aa605bc418e921786243bd8c09a23fb0e (patch) | |
| tree | e3b10daf3a4a6df0b7c594bdcc60eeaa841f9ca0 /desktop-themes/GreenLaguna | |
| parent | 34b6bfd9eea7dfcf6393181850b7b7aa6f44bd10 (diff) | |
| download | mate-themes-3bde1f1aa605bc418e921786243bd8c09a23fb0e.tar.bz2 mate-themes-3bde1f1aa605bc418e921786243bd8c09a23fb0e.tar.xz | |
all themes: adjustments for headerbars
- border-radius fixes for double headerbars
- separator fixes
- height fixes
- dropping old workarounds
Diffstat (limited to 'desktop-themes/GreenLaguna')
| -rw-r--r-- | desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index f60301a5..3b1752b0 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -3418,28 +3418,12 @@ headerbar, shade (@theme_bg_color, 1.20), shade (@theme_bg_color, 1.0)); border-radius: 7px 7px 0 0; - padding: 5px; + padding: 3px 5px; border-width: 0 0 1px; border-style: solid; border-color: shade(@theme_bg_color, 0.8); } -/* fix for gedit, .titlebar does not match headerbar selector */ -.background.csd > paned.horizontal.titlebar, -.background.solid-csd > paned.horizontal.titlebar { - background-color: transparent; - padding: 0px 0px 0px 0px; - margin: 0px -2px 0px -2px; - border-width: 0px; -} - -/* ie. meld */ -dialog.background.csd > headerbar.titlebar, -dialog.background.ssd > headerbar.titlebar, -dialog.background.solid-csd > headerbar.titlebar { - padding: 1px 5px; -} - .tiled .titlebar { border-radius: 0; } @@ -3448,6 +3432,23 @@ dialog.background.solid-csd > headerbar.titlebar { border-radius: 0; } +.horizontal.titlebar headerbar:first-child, +paned.horizontal.titlebar headerbar:first-child { + border-top-right-radius: 0px; +} + +.horizontal.titlebar headerbar:last-child, +paned.horizontal.titlebar headerbar:last-child { + border-top-left-radius: 0px; +} + +paned.horizontal.titlebar separator, +.horizontal.titlebar separator.vertical.tilix-title-separator { + background-color: transparent; + background-image: none; + color: transparent; +} + /* this is the default titlebar that is added by GTK * when client-side decorations are in use and the application * did not set a custom titlebar. |