function SetFont(num){var divs = document.getElementsByTagName("div");for (var i = 0; i < divs.length; i++)if(divs[i].className=="post-body")divs[i]['style']['fontSize']=num;}