function fontSize(size)
{
	var font_size;
	
	switch (size)
	{
		case 'sm':
			font_size = '85%';
		break;
		case 'md':
			font_size = '120%';
		break;
		case 'lg':
			font_size = '140%';
		break;
	}
	 document.body.style.fontSize = font_size;
	 document.getElementById('content').style.fontSize = font_size;
	 document.getElementById('sidebar').style.fontSize = font_size;
	 
}