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

[Jean Felder <jfelder src gnome org>]

commit fe35e53206a6a6de4e08d6b7c1bf93b493e31fb1
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 ba1a8f7b3..7e2f58e8e 100644
--- a/data/ui/PlayerToolbar.ui
+++ b/data/ui/PlayerToolbar.ui
@@ -182,6 +182,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>
@@ -202,6 +203,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)