function size10() {
	document.getElementById("content").style.fontSize="10px";
}

function size12() {
	document.getElementById("content").style.fontSize="12px";	
}

function size14() {
	document.getElementById("content").style.fontSize="14px";
}

function size16() {
	document.getElementById("content").style.fontSize="16px";	
}

function size18() {
	document.getElementById("content").style.fontSize="18px";
}