// JavaScript Document


//字号：大 中 小
 function a(v){
  var a=document.getElementById("articlebody")
  if (v=="b")
  {
   a.style.fontSize="18px"
  }
  if (v=="m")
  {
   a.style.fontSize="14px"
  }
  if (v=="s")
  {
   a.style.fontSize="12px"
  }
   if($){
        $("#articlebody font").css("fontSize",a.style.fontSize) ;
   }
 }