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.
Merge remote-tracking branch 'origin/57058562-improve-type-switcher' into testing