//////////////////////////////////////////
// JavaScript Document
// フォントサイズ変更js
//////////////////////////////////////////
function f1(){document.body.style.fontSize='100%';}
function f2(){document.body.style.fontSize='120%';}