railWidth property
The width of the menu when it is rail sized.
Values from 48...60 work well. You can vary the size depending on if the rail is shown on larger media and have a wider rail then, and then make it really tight if the rail is used on a phone.
Defaults to _kRailWidth 50.
Implementation
final double railWidth;