<!--
// ::::::::::::::: fontSize changeButton

if(document.layers){
	document.write('');
}else{
	document.write('<strong>文字サイズ</strong>');
	document.write('<ul>');
	document.write('<li id="font_s">')
	document.write('<a href="#font_s" onclick="setActiveStyleSheet(\'small\'); return false;" title="文字を小さいサイズに変更">小</a></li>')
	document.write('<li id="font_m">')
	document.write('<a href="#font_m" onclick="setActiveStyleSheet(\'medium\'); return false;" title="文字を中間サイズに変更">中</a></li>')
	document.write('<li id="font_l">')
	document.write('<a href="#font_l" onclick="setActiveStyleSheet(\'large\'); return false;" title="文字を大きいサイズに変更">大</a></li>')
	document.write('</ul>');
}
//-->
