Font weight changes on interaction

ui/hover-font-weightwarningcorrectness

Why it matters

Bolder text is wider: the label reflows and its neighbours jump.

Fix

Change color or background instead, or reserve the bold width with a hidden copy.