header height

Signed-off-by: Chandra Maharzan <chandra@graphpaperpress.com>