function resize(){
	var frame = document.getElementById("content");
	var padding_top = parseInt(window.getComputedStyle(frame,null).getPropertyValue("padding-top"));
	var padding_bottom = parseInt(window.getComputedStyle(frame,null).getPropertyValue("padding-bottom"));
	var padding = padding_top + padding_bottom;
	var bodyheight = document.body.scrollHeight;
	var windowheight = window.innerHeight;
	if (bodyheight < windowheight){
		frame.style.height = windowheight - padding + "px";
	}
}