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

[Florian Müllner <fmuellner src gnome org>]

commit 7f5a1943a0a119f111280a8d0863637709ba6632
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>

 widgets/_message-list.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_message-list.scss b/widgets/_message-list.scss
index 45edb26..02d122b 100644
--- a/widgets/_message-list.scss
+++ b/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