defaultHeaderSize top-level constant

double const defaultHeaderSize

Implementation

const double defaultHeaderSize = 20.0;