/*
	Resizes images that are larger than 490px
*/
var tosize = 500;
window.onload = function () {
	var images = document.getElementById("article_body").getElementsByTagName("img");
	if(images) {
		for (i = 0; i < images.length; i++) {
			if(images[i].width > tosize) {
				images[i].style.width = tosize+"px";
			}
		}
	}
}