window.onload=function(){
content_area=document.getElementById('main');
}
function larger(){
content_area.style.fontSize="14pt";
}
function standard(){
content_area.style.fontSize="12pt";
}
function smaller(){
content_area.style.fontSize="9pt";
}