//******************************************************************
//Declare a minimum heigth for the left menu pane
var minHeight = 550;
//******************************************************************
    
function getElement(aID)
    {
        return (document.getElementById) ?
            document.getElementById(aID) : document.all[aID];
    }

function getIFrameDocument(aID){ 
        var rv = null; 
        var frame=getElement(aID);
        // if contentDocument exists, W3C compliant (e.g. Mozilla) 
        if (frame.contentDocument)
            rv = frame.contentDocument;
        else // bad IE  ;)
            rv = document.frames[aID].document;
        return rv;
    }

function adjustMyFrameHeight()
    {
        		
		var frame = getElement("content");
        var frameDoc = getIFrameDocument("content");
		if (frameDoc.body.offsetHeight > minHeight)
			frame.height = frameDoc.body.offsetHeight;
		else
			frame.height = minHeight;	
		
    }

function adjustMyFrameHeightSolution()
    {
        		
		var frame = getElement("solution");
        var frameDoc = getIFrameDocument("solution");
		if (frameDoc.body.offsetHeight > minHeight)
			frame.height = frameDoc.body.offsetHeight;
		else
			frame.height = minHeight;
		
		document.getElementById("leftcol").style.height = parseInt(frame.height)+"px";
		window.top.document.getElementById("content").height = frame.height;
    }