Fix headerbar buttons height.

This closes #3