Further reduced height of tabs.
Merge branch 'thintabs' of github.com:yump/treestyletab into thintabs