theme: Use a margin around the menus

With 4 rounded corners the menus look better when they aren't touching the panel or screen edge. Using a margin will create some separation
linuxmint · Sep 22, 2024 · a01c6cd · a01c6cd
1 parent 212b12d
commit a01c6cd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/data/theme/cinnamon-sass/_colors.scss b/data/theme/cinnamon-sass/_colors.scss
@@ -37,7 +37,7 @@ $link_color: #1c71d8;
 $borders_color: #333333;
 
 // shadows
-$shadow_color: rgba(0, 0, 0, 0.2);
+$shadow_color: rgba(0, 0, 0, 0.5);
 
 // insensitive state
 $insensitive_fg_color: mix($fg_color, $bg_color, 40%);
diff --git a/data/theme/cinnamon-sass/widgets/_menus.scss b/data/theme/cinnamon-sass/widgets/_menus.scss
@@ -4,6 +4,7 @@ $menuitem_border_radius: $base_border_radius * 1;
 .menu {
   min-width: 15em;
   color: $fg_color;
+  margin: 6px;
 }
 
 // popup content
@@ -12,7 +13,7 @@ $menuitem_border_radius: $base_border_radius * 1;
   background-color: $bg_color;
   border-radius: $base_border_radius * 2;
   border: 1px solid $borders_color;
-  box-shadow: 0 0 6px 0 $shadow_color;
+  box-shadow: 0 0 6px $shadow_color;
 }
 
 // menu items