/**
 * Change the font size of the page.
 * It should save the size to the session so the font size remains when navigating 
 * to other pages.
 */

function changeFontSize(size) {

	var newsize = '';

	document.getElementById('small').className = '';
	document.getElementById('medium').className = '';
	document.getElementById('large').className = '';

	document.getElementById(size).className = 'selected';

	switch (size) {
	
		case 'small':
			newsize = '12px';
		  break;
	
		case 'medium':
			newsize = '14px';
		  break;
		  
		case 'large':
			newsize = '16px';
		  break;
	
	
	}

	ajaxCall('scripts/changefont.php?size='+size, "handleResponse(http_request)");

	body = document.getElementsByTagName('body')
	body[0].style.fontSize = newsize;
}