/* change font size of page */
function cfs(fontsize) {
	document.getElementById('content').style.fontSize=fontsize+"px";
}