//Toby js file

function mainframeResize () { 
if (navigator.userAgent.indexOf("Firefox")!=-1) { 
        var winH = document.body.clientHeight; 
        var newH = winH - 250; 
//      alert(winH + ' h = ' + h + ' newh=' + newH); 
        
        document.getElementById('content').style.height = newH; 
        } 
}