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