if(window.addEventListener){
	window.addEventListener('load', scrollPre, false);
	window.addEventListener('resize', scrollPre, false);
} else {
	window.attachEvent('onload', scrollPre);
	window.attachEvent('onresize', scrollPre);
}

function scrollPre(){
	var maxHeight = 200;
	var allPres = document.getElementsByTagName('pre');
	for(counter = 0;counter < allPres.length;counter++){
		allPres[counter].style.width = document.body.offsetWidth - 50 + 'px';
		if(allPres[counter].offsetHeight > maxHeight){
			allPres[counter].className = 'scroll';
		}
	}
}
