Hallo!
auch bei sehr kleinen Dateien (ca. 500 Bytes und weniger) wirst Du mit GIF wahrscheinlich noch besser fahren. Bei größeren dürfte PNG nicht zu schlagen sein.
Was die Dateigröße betrifft, da ist png oft erst weit über 2000 Bytes überlegen (das schwankt natürlich je nach Art des Bildes).
tschüs, jürgen