Size of the badge in logical pixels.
Controls both width and height of the circular badge container. If null, defaults to theme.scaling * 12.
@override final double? size;