From 982b27113b611691aaaffdd3db62b95531c9bcfd Mon Sep 17 00:00:00 2001 From: EliverLara Date: Mon, 18 Apr 2022 12:56:23 -0500 Subject: [PATCH] Gnome: Fix appearance of linked buttons in headerbar --- gtk-3.20/gtk-dark.css | 4 ++++ gtk-3.20/gtk.css | 4 ++++ gtk-3.20/widgets/_header-bars.scss | 2 ++ 3 files changed, 10 insertions(+) diff --git a/gtk-3.20/gtk-dark.css b/gtk-3.20/gtk-dark.css index 51cecad2..431bf961 100755 --- a/gtk-3.20/gtk-dark.css +++ b/gtk-3.20/gtk-dark.css @@ -2655,6 +2655,10 @@ headerbar viewswitcher > box.horizontal > button.radio, headerbar switcher > box margin: 0; padding: 0; border-radius: 0; } + headerbar viewswitcher > box.horizontal > button.radio image, headerbar switcher > box.horizontal > button.radio image { + margin-left: 7px; } + headerbar viewswitcher > box.horizontal > button.radio label, headerbar switcher > box.horizontal > button.radio label { + margin-right: 7px; } .background:not(.tiled):not(.maximized) .titlebar { box-shadow: inset 0 1px rgba(255, 255, 255, 0.1), inset 0 -1px rgba(0, 0, 0, 0.1); } diff --git a/gtk-3.20/gtk.css b/gtk-3.20/gtk.css index 5df71e6a..f608b8ad 100755 --- a/gtk-3.20/gtk.css +++ b/gtk-3.20/gtk.css @@ -2655,6 +2655,10 @@ headerbar viewswitcher > box.horizontal > button.radio, headerbar switcher > box margin: 0; padding: 0; border-radius: 0; } + headerbar viewswitcher > box.horizontal > button.radio image, headerbar switcher > box.horizontal > button.radio image { + margin-left: 7px; } + headerbar viewswitcher > box.horizontal > button.radio label, headerbar switcher > box.horizontal > button.radio label { + margin-right: 7px; } .background:not(.tiled):not(.maximized) .titlebar { box-shadow: inset 0 1px rgba(255, 255, 255, 0.1), inset 0 -1px rgba(0, 0, 0, 0.1); } diff --git a/gtk-3.20/widgets/_header-bars.scss b/gtk-3.20/widgets/_header-bars.scss index 6768d062..e9f40961 100644 --- a/gtk-3.20/widgets/_header-bars.scss +++ b/gtk-3.20/widgets/_header-bars.scss @@ -280,6 +280,8 @@ headerbar { viewswitcher, switcher { > box.horizontal { > button.radio { + image { margin-left: 7px; } + label { margin-right: 7px; } margin: 0; padding: 0; border-radius: 0;