// $Id: main.js 153 2006-12-16 16:38:00Z developer $
window.onload = function(){
    try{
        var TopSubmenuHeight = document.getElementById('top-submenu').offsetHeight;
        if(TopSubmenuHeight != null){
            document.getElementById('top-submenu-pad').style.paddingTop = (TopSubmenuHeight - 60) + 'px';
        }
    }catch(e){
        // nothing
    }
}