/*<[CDATA[*/

  function changeFontSize( size ) {
    document.getElementById("content").style.fontSize = size;
  }

/*]]>*/