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

[Jean Felder <jfelder src gnome org>]

commit f7e0c4119f4f34ef84b4a7367a08b04012bbfad0
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 b17cf9cbe..601932f6b 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)