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;
        }
}