function fontZoom(size){var artiContent=document.getElementById('article_body');if(!artiContent){return}var artibodyChild=artiContent.childNodes;artiContent.style.fontSize=size+'px';for(var i=0;i<artibodyChild.length;i++){if(artibodyChild[i].nodeType==1){artibodyChild[i].style.fontSize=size+'px'}}}