var contentFontSize = 11;

function content_size() {
 var size;
 if(size = parseInt(getCookie("font_size"))) {
  contentFontSize = size;
  document.body.style.fontSize = contentFontSize+"px";
 }
}

function content_bigger() {
 contentFontSize += 2;
 document.body.style.fontSize = contentFontSize+"px";
 document.cookie = "font_size="+contentFontSize;
}

function content_smaller() {
 contentFontSize -= 2;
 document.body.style.fontSize = contentFontSize+"px";
 document.cookie = "font_size="+contentFontSize;
}