function Set_Cookie( name, value, expires, path, domain, secure )
{
// set time, it's in milliseconds
var today = new Date();
today.setTime( today.getTime() );

/*
if the expires variable is set, make the correct
expires time, the current script below will set
it for x number of days, to make it for hours,
delete * 24, for minutes, delete * 60 * 24
*/
if ( expires )
{
expires = expires * 1000 * 60 * 60 * 24;
}
var expires_date = new Date( today.getTime() + (expires) );

document.cookie = name + "=" +escape( value ) +
( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) +
( ( path ) ? ";path=" + path : "" ) +
( ( domain ) ? ";domain=" + domain : "" ) +
( ( secure ) ? ";secure" : "" );
}

function changeFontSize(inc)
{
  var p = document.getElementsByTagName('p');
  for(n=0; n<p.length; n++) {
    if(p[n].style.fontSize) {
       var size = parseFloat(p[n].style.fontSize.replace("em", ""));
    } else {
       var size = 1.0;
    }
    p[n].style.fontSize = size+inc + 'em';
    Set_Cookie("fontsize",p[n].style.fontSize, "30", "/", ""); 
    $('.scroll_pane').jScrollPane({showArrows:false, scrollbarWidth: 13});
   }
}

function updateFontSize()
{
 if(document.cookie.indexOf("fontsize") > -1){
  var crumbs = document.cookie.split(";");
  for (var i=0; i < crumbs.length; i++){
   var aCrumb = crumbs[i].split("=");
   if(aCrumb[0].indexOf("fontsize") > -1){
    var setsize = aCrumb[1];
   }
  }
  var p = document.getElementsByTagName('p');
  for(n=0; n<p.length; n++) {
    p[n].style.fontSize = setsize;
  }
  
 }
}