From 1e83e073f7e50eaaf82763edbdae59585ca5e585 Mon Sep 17 00:00:00 2001 From: Vladyslav Hroshev Date: Sun, 9 Mar 2025 14:23:18 +0200 Subject: [PATCH] Added small vertical margin to popovers because of panel --- theme/gnome-shell/.css/popovers.css | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/theme/gnome-shell/.css/popovers.css b/theme/gnome-shell/.css/popovers.css index 7937603..12ea2bf 100644 --- a/theme/gnome-shell/.css/popovers.css +++ b/theme/gnome-shell/.css/popovers.css @@ -1,10 +1,10 @@ /* Popovers */ -.popup-menu-content, /* popover content */ -.candidate-popup-content { /* datemenu, quick settings... */ +.popup-menu-content { /* popovers, datemenu, quick settings... */ color: TEXT-PRIMARY-COLOR; background: BACKGROUND-COLOR; padding: 8px; + margin: 5px 0; /* for panel popovers */ border-radius: 20px; border: 1px solid BORDER-MENU-SHADOW; box-shadow: 0 0 10px 0 rgba(0, 0, 0, 0.05); @@ -12,11 +12,15 @@ .popup-menu-item, /* menu items */ .app-menu { /* right-click (and panel) app menu */ - margin: 3px 0; border-radius: 12px; transition-duration: 150ms; } +.popup-menu-item { + margin: 3px 0; + padding: 8px 10px; +} + .popup-menu-item:first-child { margin: 0 0 3px 0; } .popup-menu-item:last-child { margin: 3px 0 0 0; } .popup-menu-item:first-child:last-child { margin: 0; }