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
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