MinSize=10;
actualsize=14;
function font_size(size)
{
tx=document.body.innerHTML;
if(actualsize==MinSize && size=='-') return;
actualsize= (size=='+')? actualsize+1: actualsize-1;
document.body.style.fontSize=actualsize+'px';
document.body.innerHTML=tx;
}