var current_fontsize = 1.0;
var step = 0.3;

function increase_fontsize()
{
	current_fontsize += step;
	document.getElementById('center').style.fontSize = current_fontsize + 'em';
}

function decrease_fontsize()
{
	current_fontsize -= step;
	document.getElementById('center').style.fontSize = current_fontsize + 'em';
}