[gnome-music/remove-custom-devel-class: 4/5] css: Remove custom .devel style class

[Christopher Davis <christopherdavis src gnome org>]

commit 6fd0ace6e6947d0a8a320f3a101ae92d3a5dc8a8
Author: Christopher Davis <brainblasted disroot org>
Date:   Thu Dec 6 00:02:08 2018 -0500

    css: Remove custom .devel style class
    
    GTK now includes it's own .devel styling - we don't need
    to overwrite it with our own.

 data/org.gnome.Music.css | 13 -------------
 1 file changed, 13 deletions(-)
---
diff --git a/data/org.gnome.Music.css b/data/org.gnome.Music.css
index 79815b99..fcc4a79b 100644
--- a/data/org.gnome.Music.css
+++ b/data/org.gnome.Music.css
@@ -90,19 +90,6 @@ box#ArtistAlbumsWidget .artist-label {
     font-weight: bold;
 }
 
-/* visual hint for development */
-.devel headerbar {
-    background: transparent -gtk-icontheme("system-run-symbolic") 80% 0/128px 128px no-repeat,
-                linear-gradient(to left,
-                                mix(@theme_fg_color, @theme_bg_color, 0.5) 0%,
-                                @theme_bg_color 25%);
-    color: alpha(@theme_fg_color, 0.2);
-}
-
-.devel headerbar label {
-    color: @theme_fg_color;
-}
-
 .devel headerbar.selection-mode {
     background: transparent -gtk-icontheme("system-run-symbolic") 80% 0/128px 128px no-repeat,
                 linear-gradient(to left,