function smallfont() {
	document.body.style.fontSize = "66.7%";
	$.post('/font.php',{size:'-1'});
	return false;
}

function mediumfont() {
	document.body.style.fontSize = "82%";
	$.post('/font.php',{size:'0'});
	return false;
}

function bigfont() {
	document.body.style.fontSize = "94%";
	$.post('/font.php',{size:'1'});
	return false;
}