The divider's height extent.
The divider itself is always drawn as a horizontal line that is centered within the height specified by this value.
If this is null, then the DividerThemeData.space is used. If that is also null, then this defaults to 16.0.
final double height