Fix incorrect size of Beach theme icons
The icons had about double the required size. This caused a graphical glitch when selecting Beach and hand-drawn map.
void fpcrtl_halt(int num) { __coverity_panic__();}int fpcrtl_abs(int num) { return num >= 0 ? num : -num;}