fontSizeNr = 0;
function changeFontSize(v){
	fontSizeNr = v;
	switch (fontSizeNr){
		case -1:
			document.getElementById("main").style.fontSize = '80%';
			break;
		case 0:
			document.getElementById("main").style.fontSize = '100%';
			break;
		case 1:
			document.getElementById("main").style.fontSize = '120%';
			break;
	}
}