function SetFont(size){
	document.getElementById("logPanel").style.fontSize=size
}