// body_scale():
// zooms the website for browsers, that know style.zoom of body. (at creation IE only)

function body_scale(ratio){
	var fontSize = parseInt(document.body.style.fontSize.split('px').join('')) * (1 / ratio);
	var lineHeight = parseInt(document.body.style.lineHeight.split('px').join('')) * (1 / ratio);
	fontSize = parseInt(fontSize);
	lineHeight = parseInt(lineHeight);
	
	document.body.style.zoom = ratio;
	document.body.style.fontSize = fontSize + "px";
	document.body.style.lineHeight = lineHeight + "px";
}