all themes: adjustments for headerbars

- border-radius fixes for double headerbars
- separator fixes
- height fixes
- dropping old workarounds

1 files changed, 16 insertions, 8 deletions

diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index 1a2dd797..07c704ff 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -3895,16 +3895,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 {