
<!--
	function resizeMain(newHeight){
                
        if(document.all) { //IE only
            document.body.style.overflow = '';        
        }
        
        var theFrame = document.getElementById('package');  
        theFrame.style.height = (newHeight) + 'px'; 

        if(document.all) { //IE only
            document.body.style.overflow = 'auto';    
        }
        
        // hack to fix safari's redraw bug 
        // as mentioned on http://en.wikipedia.org/wiki/Wikipedia:Browser_notes#Mac_OS_X
        if (self.screenTop && self.screenX){
            window.resizeTo(self.outerWidth + 1, self.outerHeight);    
            window.resizeTo(self.outerWidth - 1, self.outerHeight);                
        	}
	}
    
	function buggyResize(newHeight){ // same as above, just missing the last block of code
                
        if(document.all) { //IE only
            document.body.style.overflow = '';        
        }
        
        var theFrame = document.getElementById('package');  
        theFrame.style.height = (newHeight) + 'px'; 

        if(document.all) { //IE only
            document.body.style.overflow = 'auto';    
        	}
	}    

// -->