Make header bar size easy to change #25
Description
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.
{{ message }}
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.