tweak highlight button active color
fix inaccuracies in mouse-based highlighting