Make header bar size easy to change

[Caster]

Changing the height of the header bar is currently nontrivial. It would be nice if we would have an option that takes a length, to be used for the header bar height.