// JavaScript Document
var nextbtn=document.getElementById('nextbtn');
if (nextbtn){
   nextbtn.href=nextbtn.href+'?font='+font;
}

var backbtn=document.getElementById('backbtn');
if (backbtn){
   backbtn.href=backbtn.href+'?font='+font;
}

if (font==1){document.body.style.fontSize="95%"; font=2;}
else if (font==2){document.body.style.fontSize="110%"; font=3;}
else if (font==3){document.body.style.fontSize="145%"; font=1;}

var fontbtn=document.getElementById('fontbtn');
fontbtn.href='?font='+font;