I think I solved my own question. I drew Mario with the Pico-8 color palette, trying to match the colors:
The colors are clearly off, sadly.
