From: Not Zed <notzed@gmail.com>
Date: Wed, 30 Dec 2020 04:50:09 +0000 (+1030)
Subject: Attempt to fix some things for xfce 4.16.
X-Git-Url: https://code.zedzone.au/cvs?a=commitdiff_plain;h=dd322490813410923dd2b3a9c6814cef30445e54;p=workbench-2.0

Attempt to fix some things for xfce 4.16.
It uses very inconsistent classes for the settings windows :(
---

diff --git a/gtk-3.0/widgets/headerbar.css b/gtk-3.0/widgets/headerbar.css
index 9e9fb6c..767b72e 100644
--- a/gtk-3.0/widgets/headerbar.css
+++ b/gtk-3.0/widgets/headerbar.css
@@ -1,23 +1,33 @@
-window headerbar {
+.titlebar {
     background: @selected_bg_color;
     color: @fg_color;
-    padding: 4px;
+    padding: 0px;
     border-width: 0px;
+    min-height: 16px;
 }
 
-window:backdrop headerbar {
-    background: @bg_color;
+.titlebar > image {
+    -gtk-icon-transform: scale(0.75);
+    /*opacity: 1;*/
 }
 
-window headerbar.titlebar {
-    background: @selected_bg_color;
+.titlebar image {
+    min-width: 20px;
+    min-height: 16px;
 }
 
-window headerbar.titlebar:backdrop {
-    background: @bg_color;
+.titlebar button {
+    margin: 0px -2px;
+}
+
+.titlebar box:last-child {
+    margin: 0px 4px 0px 0px;
+}
+.titlebar box:first-child {
+    margin: 0px 0px 0px 4px;
 }
 
-window decoration {
+decoration {
     border-width: 1px;
     border-color: @border_color_light @border_color_dark @border_color_dark @border_color_light;
     background: @selected_bg_color;
@@ -30,6 +40,38 @@ window {
     padding: 0px;
 }
 
+
+
+/*window headerbar button {
+    margin: 0px;
+    padding: 0px;
+}*/
+
+.titlebar button image {
+    padding: 0px;
+}
+
+.titlebar button {
+    padding: 0px;
+}
+
+.titlebar .title {
+    font-size: 12px;
+    font-weight: bold;
+    font-family: monospace;
+}
+
+.titlebar .subtitle {
+    font-size: 6px;
+    font-family: monospace;
+}
+
+.titlebar:backdrop,
+decoration:backdrop
+{
+    background: @bg_color;
+}
+
 window searchbar {
     border: 0px;
 }
@@ -37,3 +79,16 @@ window searchbar {
 window:backdrop decoration {
     background: @bg_color;
 }
+
+
+.default-decoration.titlebar,
+.default-decoration.icon,
+.default-decoration.button,
+headerbar entry,
+headerbar spinbutton,
+headerbar button,
+headerbar separator {
+    min-height: 0px;
+    padding: 0px;
+    margin: 0px;
+}