// JavaScript Document


// フォントサイズ切り替え
<!--
function change_css(css_file) {
		document.getElementById('chg_css').href = "css/fontsize/" + css_file;
}
//-->