From f5e4a2eeb78ba00a1c6f33fc4bfaf7fbb5fd9cca Mon Sep 17 00:00:00 2001
From: Joonas Henriksson <joonas.henriksson@gmail.com>
Date: Sat, 21 May 2022 22:01:20 +0300
Subject: [PATCH] gnome-shell: Add padding to OSD popups

---
 common/gnome-shell/42/sass/_common.scss | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/gnome-shell/42/sass/_common.scss b/common/gnome-shell/42/sass/_common.scss
index 1ab403518..ade6627c8 100644
--- a/common/gnome-shell/42/sass/_common.scss
+++ b/common/gnome-shell/42/sass/_common.scss
@@ -702,6 +702,7 @@ $_popup_submenu_border_color: if($variant!='dark', rgba(0, 0, 0, 0.1), rgba(0, 0
 // OSD
 //
 .osd-window {
+  padding: 10px;
   text-align: center;
   font-weight: bold;
   margin: 4em;
@@ -838,6 +839,7 @@ $ws_dot_inactive: $ws_indicator_height / 6;
 
 .workspace-switcher {
   @extend %shell_osd;
+  padding: 10px;
   margin: 4em;
   spacing: 8px;
 }