// JavaScript Document

function switchimage(oldimg, newimg) {
	var img = document.getElementById(oldimg);
	img.setAttribute('src', 'images/' +newimg);
}

var min=14;
var max=20;
function increaseFontSize(divname) {
	var p = document.getElementById(divname);
	if (p != null)
	{
		if(p.style.fontSize) {
			var s = parseInt(p.style.fontSize.replace("px",""));
		} else {
			var s = min;
		}
		if(s!=max) {
			s += 1;
		}
		p.style.fontSize = s+"px"
	}
}
function decreaseFontSize(divname) {
	var p = document.getElementById(divname);
	if (p != null)
	{
		if(p.style.fontSize) {
			var s = parseInt(p.style.fontSize.replace("px",""));
		} else {
			var s = min;
		}
		if(s!=min) {
			s -= 1;
		}
		p.style.fontSize = s+"px"
	}
}