Make MIDI channel selector button colours more distinct (#3772).