make download button wide enough for helvetica #5039

Download button still looks broken for ivan. I suppose that's because he has other fonts available. 15em width should fix that according to him.