// フォントサイズ変更
var defVal = 1;		// 現在の表示フォント番号（3は初期状態）
var sizeVal = new Array('11px','12px','13px','14px','16px','18px','20px','24px');

// 表示フォント番号変化( quant は 1,-1）
function ChgFont(quant){
	defVal += quant;
	if ( defVal < 0 ) { defVal = 0; }
	if ( defVal > 7 ) { defVal = 7; }
	// フォントサイズ設定
	document.body.style.fontSize = sizeVal[ defVal ];
}


// プリントボタン
var pok= window.print;
function pagePrint(){
	if (pok) {
		window.print();
	} else {
		alert( 'このボタンは使えません。ブラウザのプリント機能をご利用ください。' );
	}
}