var size = 10;

function updownsize( diff ) {
	var tbl = document.getElementById("viewTable");

	size += diff;
	if( size < 10 ) { size = 10; }
	for( var i=1; i<tbl.rows.length; i++ ){
		tbl.rows[i].height = size + "px" ;
	}

	var clmImg = document.getElementsByName("CLM_IMAGE");
	for( var i=0; i<clmImg.length; i++ ){
		clmImg[i].style.width  = size + "px" ;
		clmImg[i].style.height = size + "px" ;
	}
}

function handle(delta) {
	if (delta < 0) {				// 下方向にまわした場合の処理
		updownsize( -5 );
	}
	else {							// 上方向にまわした場合の処理
		updownsize( 5 );
	}
}
/** Event handler for mouse wheel event. */
function wheel(event){
	var delta = 0;
	if (!event) {					/* For IE. */
		event = window.event;
	}
	if (event.wheelDelta) {			/* IE/Opera. */
		delta = event.wheelDelta/120;
		if (window.opera) {
			delta = -delta;
		}
	} else if (event.detail) {		/** Mozilla case. */
		delta = -event.detail/3;
	}
	/** If delta is nonzero, handle it.
	 * Basically, delta is now positive if wheel was scrolled up,
	 * and negative, if wheel was scrolled down.
	 */
	if (delta) {
		handle(delta);
	}
	if (event.preventDefault) {
		event.preventDefault();
	}
	event.returnValue = false;
}
/** Initialization code.
  * If you use your own event management code, change it as required.
 */
if (window.addEventListener) {
	window.addEventListener('DOMMouseScroll', wheel, false);
}
window.onmousewheel = document.onmousewheel = wheel;


