function setFontSize(param_size) {
	switch (param_size) {
		case 1 :
			//document.body.style.fontSize = '65%';
			document.getElementById('left-col').style.fontSize = '80%';
			document.getElementById('global-footer').style.fontSize = '80%';
			break;
		case 2 :
			// normal font size
			document.getElementById('left-col').style.fontSize = '100%';
			document.getElementById('global-footer').style.fontSize = '100%';
			break;
		case 3 :
			// large font size
			document.getElementById('left-col').style.fontSize = '120%';
			document.getElementById('global-footer').style.fontSize = '120%';
			break;
		default :
			//normal font size
			document.getElementById('left-col').style.fontSize = '100%';
			document.getElementById('global-footer').style.fontSize = '100%';
			break;
	}
}