gnome-shell: Add padding to OSD popups

jnsh · May 21, 2022 · f5e4a2e · f5e4a2e
1 parent 2570e8e
commit f5e4a2e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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;
 }