See #37 and #52. The current solution involves setting pixel heights for the headers. On the other hand, we may well change that design entirely before we get around to this.
