Spring dot radio group

A radio group whose selected dot springs in with a small overshoot while the previous dot shrinks away, crossing over instead of snapping.