/* @option user-defined header height */