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

[Jean Felder <jfelder src gnome org>]

commit b3cebe3bd96d6f5ffb8f0cb2142892a90437c38d
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)