> But a PNG will be generally slightly smaller than the equivalent GIF> (because PNG has a better compression algorithm).
Ouch ...
You know, there does not exists something like the "best" compression ...
There can't be an algorithm that compresses better in ALL cases than any other
algorithm you choose ...
