height defines the height of the ProgressTab and therefore of the tab bar as a whole.
final double height;