[gnome-shell] theme: Scale media player button padding with font size

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

commit 0f46a1d650de71967dcf1591c145fc760014e8a0
Author: Sebastian Keller <skeller gnome org>
Date:   Thu Feb 4 02:22:22 2021 +0100

    theme: Scale media player button padding with font size
    
    The total width of the MediaMessage scales with the font size, but the
    padding of the media player buttons do not, which can become an issue
    with text-scaling-factor < 1.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3664
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1632>

 data/theme/gnome-shell-sass/widgets/_message-list.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_message-list.scss 
b/data/theme/gnome-shell-sass/widgets/_message-list.scss
index 45edb26b25..02d122b912 100644
--- a/data/theme/gnome-shell-sass/widgets/_message-list.scss
+++ b/data/theme/gnome-shell-sass/widgets/_message-list.scss
@@ -99,7 +99,7 @@
 
 /* Media Controls */
 .message-media-control {
-  padding: $base_padding * 2 $base_padding * 4;
+  padding: $base_padding * 2 1.64em; // $base_padding * 4 = 24px
   color: darken($fg_color, 15%);
 
   // uses $hover_bg_color since the media controls are in a notification_bubble