function setFontsize(size)
{

var newsize;
	switch(size)
	{
		case "normal": newsize = "1em"; break;
		case "big": newsize = "1.1em"; break;
		case "bigger": newsize = "1.15em"; break;
		default: newsize = "1em"; break;
			
	}
	document.body.style.fontSize = newsize;
}