arrow was too big in others' computers

Dunno why arrow character is really small in my machine/OS/browser. This
still looks small on my machine, but is "good enough", and looks much
better on Tom's and probably Kathi's.