Larger arrow buttons, fixes #8.