I want to propose an enhancement. Currently no matter how small font is chosen in the Interface Settings, the height of the tab bar in the terminal is the same for all font sizes smaller than 14. It looks bad with a font size, say, 8 (I use that), and, what's more important, it is a waste of workspace. I see two solutions: 1) Tab bar height should be set in a better accordance with the font size setting in the Interface Settings. 2) Terminal should have its own setting in the preferences for the appearance of the tab bar. I like this one more, because a) although I like to have the global interface font size set to 8, I would use a smaller one only for the terminal if given an opportunity. b) the height could be set to 0, which some users (incl. me) might like to consider doing.
Not going to fix this. The trunk version of the terminal has a smaller close button and you can always disable the close buttons using the hidden option MiscTabCloseButtons. Scaling the close button to the real font height is a slow process resulting in fuzzy images.