Lately, I was working on a website which should have a neat Flash menu with funny jumping graphics. Now, they should be real bitmaps, not vectors. So when I wanted to let my images jump, whereby they should also change in size a little, I encountered a problem: The images only looked well at a…