It was hard to identify the selected tab (bold font), icons were not themed,
and it looks quite crammed to me without vertical margins. The new tab has too
much space at right for protected tabs and while we could make it 1 or 2 pixels
smaller it looks much cleaner as it is. But open for discussion.