function fontsize(action)
{
	var min=9;
	var max=18;
	var element = document.getElementById('body');

	if(element.style.fontSize)
	{
		var s = parseInt(element.style.fontSize.replace("px",""));
	}
	else
	{
		var s = 12;
	}
	if(s>min && action == '--')
	{
		s -= 1;
	}
	if(s<max && action == '++')
	{
		s += 1;
	}
	element.style.fontSize = s+"px";
}