MO playback highlight can be configured via user styles