window.onload=function(){
content_area=document.getElementById('content_area')
}
function larger(){
content_area.style.fontSize="0.8em";
}
function standard(){
content_area.style.fontSize="0.6em";
}