function font(size) //change font size
{
    var size;
    if (size == '3') {
        $("body").css("font-size", "100%");
    }
    else if (size == 2) {
        $("body").css("font-size", "85%");
    }
    else if (size == 1) {
        $("body").css("font-size", "75%");
    }
}