function changeFontSize($size){
	switch($size){
		case 'normal':
			document.body.setAttribute('class', 'normal');
			break;
		case 'large':
			document.body.setAttribute('class', 'large');
			break;
		case 'x-large':
			document.body.setAttribute('class', 'x-large');
			break;
	}
}