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.thickness is used. If that is also null, then this defaults to 0.0.
final double thickness