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