The thickness of the line drawn within the divider.
A divider with a thickness of 0.0 is always drawn as a line with a height of exactly one device pixel.
If this is null, then the
DividerThemeData.dividerThickness is used. If
that is also null, then this defaults to 0.0.
final double thickness