resolves #142

- automatically adjust the height of the headers based on the longest
text (in pixels). this may cause issues when synchronizing scroll
positions, but it seems not too bad.