pcguru333 - 5:47 pm on May 21, 2002 (gmt 0)

Just a guess, but does it matter if the font type is listed after the size?

what if you tried:
document.getElementById('prevfont').style.font = "Arial 18px";