Submarine themes GTK3: cleanup gnome-midi.css