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/TraditionalOk | |
| 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/TraditionalOk')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 54d552d6..ab03b7df 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -3897,16 +3897,24 @@ headerbar, border-radius: 7px 7px 0 0; border-bottom: 1px solid; border-color: shade(@border_color, 1.30); - padding: 5px 4px 4px 4px; + padding: 3px 4px; } -/* 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; - margin: -2px 0px -2px 0px; - border-width: 0px; +.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; } .tiled .titlebar { |