Redo arrow icons in various widgets
Instead of hardcoding the pan-up/down/left/right icon names in the widget, use style classes to disambiguate the users and pick the icons with -gtk-icon-source in css. This gives themes the freedom to choose different icons.