<!--
var cur_fontsize = 12;
function ChangeFontSize(new_fontsize)	{
	document.getElementById('body').style.fontSize = new_fontsize + "px";
	// document.getElementById('credit').style.fontSize = new_fontsize + "px";
	// document.getElementById('cutline').style.fontSize = new_fontsize + "px";
}

function IncreaseFontSize(new_fontsize)	{
	if(cur_fontsize < 24) cur_fontsize += new_fontsize;
	ChangeFontSize(cur_fontsize);
}

function DecreaseFontSize(new_fontsize)	{
	if(cur_fontsize > 10) cur_fontsize -= new_fontsize;
	ChangeFontSize(cur_fontsize);
}
//-->