More improvements to the animated logo (with some ideas from JRT, and some from fredrikh):
use standard icon size to avoid rescaling of the icon; force icon size to be as big as we can, otherwise the style padding makes it too small -> the style just has to cope with the iconsize being quite big for the given widget size.

But if this gives too much trouble, we'll just have to skip the style altogether and draw this thing ourselves...