Thanks @jammingammon !
No, I didn’t even know there was a pixel art tutorial on CGCookie…I did see JLampels Voxel one, but, although I first tried a similar automated technique, that does not work at all for ‘real’ pixel art; each pixel has to be colored by hand. The funny thing is, that it is one of the rare occasions, where you should not work from photo reference…
