// modified body font size 3 different sizes -- 14/17/20



function text_zoom(size)

{

  var container = document.getElementById('textBox');

  

  switch (size)

  {

    case 'small':

      px = '14px';

      break;

      

    case 'medium':

      px = '17px';

      break;

      

    case 'large':

      px = '20px';

      break;

      

  }

  

  if (typeof px != 'undefined')

  {

    container.style.fontSize = px;

  }

  

}