Feature suggestion: Tab height varies depending on number of tabs

[Mr-Personality]

Problem:
Tabs are always 28 pixels tall. This looks perfect when tabs fill the screen height. But this looks too small when you only have a handful of tabs open. It makes tabs look unimportant.

Solution:
Tab height should be dynamic, based on these rules:

Variables:
n = number of open tabs
s = 85% of the total vertical space available for the tabs [it looks best to leave 15% blank space, where possible]

// If there's room, set tabs to a maximum height of 64 pixels
If s/n > 63 then tab height = 64

// If there's no room for anything bigger, set the tabs to the smallest they can be
Else if s/n < 29 then tab height = 28

// Else scale the tabs so they leave 15% blank space
Else tab height = s/n