diff options
author | raveit65 <[email protected]> | 2019-05-12 14:02:47 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-05-12 14:06:43 +0200 |
commit | 34d132516899addd5c71b12d3c2fb7f78d47163e (patch) | |
tree | a546bc958ce3919bee4b623df061ea4e27caf619 /desktop-themes/TraditionalOk | |
parent | 0b1b9e8aa12e5348ea9b09f547b17c44b69523f7 (diff) | |
download | mate-themes-34d132516899addd5c71b12d3c2fb7f78d47163e.tar.bz2 mate-themes-34d132516899addd5c71b12d3c2fb7f78d47163e.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 { |