From a20697e1ce4007b2a1e43a60e4110c55676b50e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Fri, 22 Oct 2021 16:02:43 +0200 Subject: [PATCH] Revert "GTK3: remove side marging of titlebuttons inside default-decoration headerbar" This reverts commit 3fed386ccc44df1d2d6184c0fe94fa36bd1c435c. --- src/themes/Kali/sass/gtk3/_common-tweaks.scss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/themes/Kali/sass/gtk3/_common-tweaks.scss b/src/themes/Kali/sass/gtk3/_common-tweaks.scss index 979adf94..03cd44ee 100644 --- a/src/themes/Kali/sass/gtk3/_common-tweaks.scss +++ b/src/themes/Kali/sass/gtk3/_common-tweaks.scss @@ -285,10 +285,7 @@ headerbar { button.titlebutton { min-height: 0; min-width: 0; - - &, &:last-child { - margin: 0; - } + margin: 0; } } }