Radius of the spinner widget.
Defaults to 10px. Must be positive and cannot be null.
final double radius;