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