Sort out the immediate problem on #207, also bump spinner size.

They were a bit small as seen on the screenshot.

This is certainly not the best way to get a consistent style, but will do for now, if nobody comes up with a better one before the release is otherwise ready.