; } document.getElementById('zoom').style.fontSize=textFontSize+unit }