Closed issue #39.
Tab titles are now displayed better.