Wenn man die Restriktionen kennt, kann man eigentlich mit allem pixeln, was es so gibt. Ich verwende z.B. Photoshop (weil ich es ohnehin immer geöffnet habe). Gespeichert wird als PNG (indizierte Farben mit der Community Colors Palette) und die Konvertierung macht dann entweder der Programmierer im Entwickler-Team oder aber ich selbst mit einem "hauseigenen" Konverter.