//---------------------------------------------------------
// changes the font for the user
//
//------------------------------------------------------------

function ChangeFont(size)
{
   var ID; 
   var element; 
   
   //the center main content 
   ID = document.getElementById('divMainContent');
   
   element = ID.getElementsByTagName('div');
   ChangeCollection(element, size);
   
   element = ID.getElementsByTagName('a');
   ChangeCollection(element, size);
    
     
   //the right side bar 
   ID = document.getElementById('divSectionDetails');
   
   element = ID.getElementsByTagName('div');
   ChangeCollection(element, size);
   
   element = ID.getElementsByTagName('a');
   ChangeCollection(element, size);
   
    element = ID.getElementsByTagName('p');
   ChangeCollection(element, size);
    
  
}

function ChangeCollection(collection, size)
{
   for(i=0;i<collection.length;i++) 
   {
        collection[i].style.fontSize = size+"px";
   }
}