/* PappZoo: detect and set the height of the main frameset. This settings depend on the web-browser */

function resize_iframe()
{
	if($('#mainframe').get(0) != undefined) {
		var offset = 0;
		if($.browser.name == 'msie') {
			offset = 200;					
		}
		else if($.browser.name == 'firefox') {
			offset = -110;
		}
		else if($.browser.name == 'chrome') {
			offset = 210;
		}
		
		document.getElementById("mainframe").height = document.body.offsetHeight - offset + 'px';
	}
}