// JavaScript Document

function increase(i){
//if (!document.body.style.fontSize) document.body.style.fontSize = "80%";
document.body.style.fontSize = parseInt(document.body.style.fontSize) + i + "%";
}

function resetsize(){
document.body.style.fontSize = "80%";
}