Pixie is a small, fast file format for scalable vector images.
You are looking at a Pixie image now, displayed by a Java applet which is only 6k long. The Pixie image itself is less than 1.5k. As a JPEG, because of the radial fill effect, the picture takes 16k. As a GIF it takes 40k.
And it's free. Want to know more?