margin_32 top-level property

double margin_32
getter/setter pair

Implementation

double margin_32 = 32.0;