HighlighterPlugin: increase badges (still white)