Added default height to default appearance of HeaderButton.

Fixes #32.