[gnome-shell] theme/panel: Slightly increase horizontal padding on activities button

[Marge Bot <marge-bot src gnome org>]

commit a44686affe6dce07da47549181457a8beca8ad2e
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue Aug 4 11:47:18 2020 +0200

    theme/panel: Slightly increase horizontal padding on activities button
    
    The activities button doesn't have an icon, which makes its horizontal
    padding appear a bit smaller than the padding of most other items in the
    panel.
    
    We're going to indicate hover and focus of items in the panel using a
    pill-shaped background color, which means the padding of those items
    will get more visible. So give the activities button a special treatment
    and slightly increase its padding to make sure the new indicator will
    look good.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1397>

 data/theme/gnome-shell-sass/widgets/_panel.scss | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
index 56c445a743..1ee17d36a8 100644
--- a/data/theme/gnome-shell-sass/widgets/_panel.scss
+++ b/data/theme/gnome-shell-sass/widgets/_panel.scss
@@ -77,6 +77,10 @@ $panel_height: 1.86em;
       color: lighten($fg_color, 10%);
       &:focus, &:hover, &:active { color: lighten($fg_color, 10%); }
     }
+
+    &#panelActivities {
+      -natural-hpadding: $base_padding * 3;
+    }
   }
 
   .panel-button {