/*
    Purpose: JS that allows site visitors to change their preferences on font size.
    Developer: Yan Zhu
    Created On: 12/17/08
*/

function changeFontSize(difference) {
    var size = getCookie('fontsize');
    size = size.substring(0, size.indexOf("px"));
    size = parseInt(size) + parseInt(difference);
    //alert(size);
    document.body.style.fontSize = size + "px";
    document.cookie = "fontsize=" + size + "px";
}
function resetFontSize() {
    document.body.style.fontSize = "12px";
    document.cookie = "fontsize=12px";
}

function checkFont() {
    var size = getCookie('fontsize');
    document.body.style.fontSize = size;
    //document.body.style.fontSize = "12px";
}

function getCookie(c_name){
if (document.cookie.length>0)
  {
  c_start=document.cookie.indexOf(c_name + "=");
  if (c_start!=-1)
    { 
    c_start=c_start + c_name.length+1; 
    c_end=document.cookie.indexOf(";",c_start);
    if (c_end==-1) c_end=document.cookie.length;
    return unescape(document.cookie.substring(c_start,c_end));
    } 
  }
    return "12px";
}