function fixOverflowBug() {
	
	// only apply to IE  
	if (!/*@cc_on!@*/0) return;  

	// find every element to test  
	var all = document.getElementsByTagName('pre'), i = all.length;  

	// fast reverse loop  
	while (i--) {    
		// if the scrollWidth (the real width) is greater than    
		// the visible width, then apply style changes    
		if (all[i].scrollWidth > all[i].offsetWidth) {      
			all[i].style['paddingBottom'] = '25px';      
			all[i].style['overflowY'] = 'hidden';    
		}  
	}

        Event.stopObserving(window, 'load', fixOverflowBug);
}
	
Event.observe(window, 'load', fixOverflowBug);