From ebf5a757362f45641816d9e82284872a892a5b5f Mon Sep 17 00:00:00 2001
From: Vladyslav Hroshev <iv.markov02@gmail.com>
Date: Fri, 17 Mar 2023 04:52:47 +0200
Subject: [PATCH] Smaller popup menu paddings

---
 gnome-shell/gnome-shell.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnome-shell/gnome-shell.css b/gnome-shell/gnome-shell.css
index 8653558..6d34dfd 100644
--- a/gnome-shell/gnome-shell.css
+++ b/gnome-shell/gnome-shell.css
@@ -132,7 +132,7 @@ stage {
 }
 
 .popup-menu-item, .app-menu {
-  margin: 3px 1.5px;
+  margin: 3px 0;
 }
 
 .popup-menu-item:focus, .popup-menu-item:hover, .popup-menu-item:checked {
@@ -171,7 +171,7 @@ stage {
   color: TEXT-PRIMARY-COLOR;
   box-shadow: inset 0 0 0 1px BORDER-SHADOW;
   border-radius: 0 0 12px 12px;
-  margin: 0 1.5px 2px 1.5px;
+  margin: 0 0 2px 0;
 }
 
 .popup-sub-menu .popup-menu-item {