//increases the font size
	var size = 12;
	function fontUp(){
		if(size >= 17) size = 13;
		else size += 1;
		var ps = document.getElementsByTagName('p');
		var li = document.getElementsByTagName('li');
		for(i = 0; i < ps.length; i++)
			ps[i].style.fontSize = size + 'px';
			
		for(i = 0; i < li.length; i++)
			li[i].style.fontSize = size + 'px';
	}
	
	function fontDown(){
		if(size <= 10) size =11;
		else size -= 1;
		var ps = document.getElementsByTagName('p');
		var li = document.getElementsByTagName('li');
		for(i = 0; i < ps.length; i++)
			ps[i].style.fontSize = size + 'px';
			
		for(i = 0; i < li.length; i++)
			li[i].style.fontSize = size + 'px';
	}