[gnome-games/wip/exalm/css] ui: Drop custom devel style

[Alexander Mikhaylenko <alexm src gnome org>]

commit dd50ac7b98bd2572ed6cfb12f2d487b9953a9b99
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Mon Oct 22 16:41:44 2018 +0500

    ui: Drop custom devel style
    
    GTK+ now includes its own devel style, so drop the custom one.

 data/gtk-style.css | 13 -------------
 1 file changed, 13 deletions(-)
---
diff --git a/data/gtk-style.css b/data/gtk-style.css
index c1a79c5c..7203e785 100644
--- a/data/gtk-style.css
+++ b/data/gtk-style.css
@@ -13,19 +13,6 @@ gamesgamethumbnail {
        color: @theme_fg_color;
 }
 
-.devel headerbar.titlebar:not(.selection-mode) {
-       background: transparent
-                   -gtk-icontheme("system-run-symbolic") 80% 0/128px 128px no-repeat,
-                   linear-gradient(to left,
-                                   mix(@theme_selected_bg_color, @theme_bg_color, 0.5) 8%,
-                                   @theme_bg_color 25%);
-       color: alpha(@theme_fg_color, 0.1);
-}
-
-.devel headerbar label {
-       color: @theme_fg_color;
-}
-
 gamescollectioniconview flowboxchild {
        min-width: 128px;
 }