function modFontsize(ActType){
    
    var size=document.getElementById("fontstyle").style.fontSize;   
    if(ActType=='add'){ 
        
        if (size=="")
        { size="12pt"    }
        if (parseInt(size)<="22")
        {document.getElementById("fontstyle").style.fontSize=eval(parseInt(size)+2)+"pt" ;}

    } 
    else{ 
	    if(parseInt(size)>=8)
	    {
         document.getElementById("fontstyle").style.fontSize=eval(parseInt(size)-2)+"pt" ;
        }else
         document.getElementById("fontstyle").style.fontSize="6pt" ;

    } 
}