////////////////////////////////////////////////////////////////
//
// Beschreibung: Funktionen zum Austauschen der Stylesheets
//
// Parameter   : obj_id=id des neuen Stylesheets
// 
////////////////////////////////////////////////////////////////
  
  function set_FontSize(obj_id)
  {
    var obj;
    for (var i=0; i<=3; i++)
    {
      if (obj_id!="")
      {
        obj=MM_findObj("FontSize_"+i);
        if(obj)
        {
          if(obj.id==obj_id){obj.disabled=false;}else{obj.disabled=true;}
        }
        createCookie("FontSize",obj_id,365)
      }
    }
  }

////////////////////////////////////////////////////////////////
//
// Beschreibung: Funktionen zum setzen der Selectbox für die Schriftgrößen
//
// Parameter   : obj_id=id des neuen Stylesheets
// 
////////////////////////////////////////////////////////////////

function set_frm_FontSize(obj_id)
{
  frm=document.frm_FontSize;
  if (frm && frm.FontSize)
  {
    for(var i=0; i<frm.FontSize.length; i++)
    {
      if (frm.FontSize[i].value==obj_id) frm.FontSize.selectedIndex=i;
    }
  }
}
set_FontSize(readCookie("FontSize"));