From 3bde1f1aa605bc418e921786243bd8c09a23fb0e Mon Sep 17 00:00:00 2001 From: raveit65 Date: Sun, 12 May 2019 14:02:47 +0200 Subject: all themes: adjustments for headerbars - border-radius fixes for double headerbars - separator fixes - height fixes - dropping old workarounds --- .../TraditionalOk/gtk-3.0/gtk-widgets.css | 24 ++++++++++++++-------- 1 file changed, 16 insertions(+), 8 deletions(-) (limited to 'desktop-themes/TraditionalOk') 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 { -- cgit v1.2.1