Top bar colour in the new GNOME Shell theme