// Trash this when everybody is running IE 7.

function resizeImages() {
	if( document.getElementById('page-body') ) {
		var div = document.getElementById('page-body');
	}
	else if( document.getElementById('cover') ) {
		var div = document.getElementById('cover');
	}
	else {
		return;
	}
	
	var images = div.getElementsByTagName('IMG');
	for( i=0; i<images.length; i++ ) {
		if( images[i].width > 450 ) {
			images[i].style.width = '450px';
			images[i].style.height = (images[i].height * 450 / images[i].width) + 'px';
		}
	}
	return;
}