function scaleImages(className)
{
	var	images = document.getElementsByTagName('img');
	for (var i in images) {
		if (images[i].className && images[i].className.indexOf(className) >= 0) {
			var relWidth = images[i].width * 0.0625;
			var relHeight = images[i].height * 0.0625;
			images[i].style.fontSize = "1.3em";
			images[i].style.width = relWidth + 'em';
			images[i].style.height = relHeight + 'em';
		}
	}
}