height_80 top-level property

double height_80
getter/setter pair

Implementation

double height_80 = 80.0.h;