// This script extends the height of a div to either the height of the html page or the height of the window,
//whichever is tallest.

function resize(){  

var frame1 = document.getElementById("outer");
var frame2 = document.getElementById("flash");
var htmlheight = document.body.parentNode.scrollHeight; // Read content height.
var windowheight = window.innerHeight; // Read window height in Moz.
var windowwidth = window.innerWidth; // Read window width in Moz.
var isIE = (navigator.appName.indexOf("Microsoft") !=-1); // Check if browser is IE.

if(isIE) {
	windowheight = document.documentElement.clientHeight; // Read window height in IE.
	windowwidth = document.documentElement.clientWidth; // Read window width in IE.
} 

frame1.style.height = windowheight + "px";
frame2.style.height = windowwidth * 0.51269 + "px";
}