43KiB, though obviously a chunk of that is from the colors of the jpg Professor.
EDIT: I just noticed webp messes with colors around the edges too (which would matter more if I cut the resolution in half or so). The original .png (what I actually uploaded) doesn’t at 51.6KiB.
Also obviously this would be less data in non-pixel format (well, it’d likely be eaten up by overhead for packaging, though after that it would allow tons of art for negligible data cost). Would be smaller as an svg for example (or an swf).
43KiB, though obviously a chunk of that is from the colors of the jpg Professor.
EDIT: I just noticed webp messes with colors around the edges too (which would matter more if I cut the resolution in half or so). The original .png (what I actually uploaded) doesn’t at 51.6KiB.
Also obviously this would be less data in non-pixel format (well, it’d likely be eaten up by overhead for packaging, though after that it would allow tons of art for negligible data cost). Would be smaller as an svg for example (or an swf).