The margin of the options card.
The default value is EdgeInsets.all(8).
final EdgeInsetsGeometry margin;