From ea45ce10aaac71fb3106af70f5af5f37c08dc8c9 Mon Sep 17 00:00:00 2001 From: Vladyslav Hroshev Date: Tue, 14 Mar 2023 21:24:37 +0200 Subject: [PATCH] Popup sub menu missing margins fix --- gnome-shell/gnome-shell.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnome-shell/gnome-shell.css b/gnome-shell/gnome-shell.css index 03e22dc..64b40e8 100644 --- a/gnome-shell/gnome-shell.css +++ b/gnome-shell/gnome-shell.css @@ -170,7 +170,7 @@ stage { color: TEXT-PRIMARY-COLOR; box-shadow: inset 0 0 0 1px BORDER-SHADOW; border-radius: 0 0 12px 12px; - margin: 0 0 2px 0; + margin: 0 1.5px 2px 1.5px; } .popup-sub-menu .popup-menu-item {