//increases the font size
	var size = 13;
	function fontUp(){
		if(size >= 16) size = 13;
		else size += 1;
		var ps = document.getElementsByTagName('p');
		for(i = 0; i < ps.length; i++)
			ps[i].style.fontSize = size + 'px';
		var lis = document.getElementsByTagName('li');
		for(i = 0; i < lis.length; i++)
			lis[i].style.fontSize = size + 'px';
		var spans = document.getElementsByTagName('span');
		for(i = 0; i < spans.length; i++)
			spans[i].style.fontSize = size + 'px';
		var as = document.getElementsByTagName('a');
		for(i = 0; i < as.length; i++)
			as[i].style.fontSize = size + 'px';
	}