// Copyright 2000 . All rights reserved.
function fontZoom(size)
{
 document.getElementById('content').style.fontSize=size+'px'
 document.getElementById('content').style.lineHeight=size+10+'px'
}