se il font non deve cambiare dinamicamente ma rimane sempre lo stesso basta inserire un font-family:Arial (o un altro font a tua scelta) nell'attributo style del pulsante (puoi anche indicare più fonts separati da virgola nel caso in cui il primo non sia presente nel pc che esegue il browser)

per cambiare il font in javascript invece l'istruzione è
document.myForm.button.style.fontFamily="Arial";