Add 'mini' highlighting mode.