private void adjustHeight() { Element pucHeader = DOM.getElementById("pucHeader"); int offset; if (pucHeader != null) { offset = pucHeader.getOffsetHeight(); setElementHeightOffset(navigatorAndContentSplit.getElement(), -1 * offset); setElementHeightOffset(contentTabPanel.getElement(), -1 * offset); } }