
// Scale an image to a maximum width and height

function scale_image(id, max_w, max_h)
{
	var e = document.getElementById(id);
	if(! e)
		return;
	
	var IE = document.all ? true : false;
		
	if(IE)
	{
		var w = parseInt(e.width);
		var h = parseInt(e.height);
		var scale = false;
		var factorX = 1;
		var factorY = 1;
		var factor = 1;
	
		if(w > max_w)
		{
			factorX = max_w / w;
			scale = true;
		}

		if(h > max_h)
		{
			scale = true;
			factorY = max_h / h;
		}
	
		if(scale)
		{
			// use lowest scaling factor
			if(factorY < factorX)
				factor = factorY;
			else
				factor = factorX;
		
			var new_w = w * factor;
			var new_h = h * factor;
		
			e.style.width = new_w + "px";
			e.style.height = new_h + "px";
		}
	}

	e.style.visibility = "visible";
}

