var size=12;function sizeUp() { updatetext(size < 20 ? ++size : size); }function sizeDown() { updatetext(size > 8 ? --size: size); }function updatetext(newsize) {var divs = document.getElementsByTagName("p");for (i = 0;i < divs.length;i++) {var name = divs[i].className;if (name == "articleBody" || name == "sFrameBoxRight") divs[i].style.fontSize = newsize+"px";if (name == "articleDateTime") divs[i].style.fontSize = (newsize-2)+"px";if (name == "articleTitle") divs[i].style.fontSize = (newsize+2)+"px";}}