The border-color is animatable in CSS