The tabs are dead, long live the tabs!

Some recent changes in the UI have freed up around 50 pixels of vertical space from the header. I got ride of the built-in GWT DecoratedTabPanel and replaced them with a custom set of tabs that live up in the header.

The Old Tabs

This reduces the vertical space wasted by the tabs, by sharing them with the top banner. It also lets me customize the look of the tabs to match things better. That baby-blue doesn’t really go that well with the orange!