closed #90: options to change miniplayer colors