[gnome-music/wip/jfelder/new-playertoolbar: 14/14] playertoolbar: Improve vertical spacing

[Jean Felder <jfelder src gnome org>]

commit 1764ded8a5fc6ead34bfed9a1ae3990d3d423a8d
Author: Jean Felder <jfelder src gnome org>
Date:   Tue Apr 27 23:09:02 2021 +0200

    playertoolbar: Improve vertical spacing
    
    This removes the vertical padding of the progress scale and adds some
    margin between the buttons and the progress scale.
    The ArtSize is changed to cover the height of the other controls.

 data/org.gnome.Music.css | 5 +++++
 data/ui/PlayerToolbar.ui | 4 ++++
 gnomemusic/utils.py      | 2 +-
 3 files changed, 10 insertions(+), 1 deletion(-)
---
diff --git a/data/org.gnome.Music.css b/data/org.gnome.Music.css
index f33016b0a..4fa856bd6 100644
--- a/data/org.gnome.Music.css
+++ b/data/org.gnome.Music.css
@@ -70,6 +70,11 @@ box#ArtistAlbumsWidget .artist-label {
     -gtk-outline-radius: 9999px;
 }
 
+.smooth-scale {
+    padding-top: 0px;
+    padding-bottom: 0px;
+}
+
 /* PlaylistControls */
 .playlist-name-label {
   font-weight: bold;
diff --git a/data/ui/PlayerToolbar.ui b/data/ui/PlayerToolbar.ui
index a26b6b292..2f16dfd7f 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -184,6 +184,7 @@
             <property name="visible">True</property>
             <property name="orientation">horizontal</property>
             <property name="can_focus">False</property>
+            <property name="margin_top">12</property>
             <child>
               <object class="GtkLabel" id="_progress_time_label">
                 <property name="visible">True</property>
@@ -204,6 +205,9 @@
                 <property name="hexpand">True</property>
                 <property name="draw_value">False</property>
                 <signal name = "value-changed" handler="_on_progress_value_changed" swapped="no"/>
+                <style>
+                  <class name="smooth-scale"/>
+                </style>
               </object>
             </child>
             <child>
diff --git a/gnomemusic/utils.py b/gnomemusic/utils.py
index e4fbed815..22be754db 100644
--- a/gnomemusic/utils.py
+++ b/gnomemusic/utils.py
@@ -35,7 +35,7 @@ from gnomemusic.musiclogger import MusicLogger
 
 class ArtSize(Enum):
     """Enum for icon sizes"""
-    SMALL = (34, 34)
+    SMALL = (74, 74)
     MEDIUM = (128, 128)
     LARGE = (256, 256)