It's a custom shader. Basically, you render the screen in normal color, then you filter across all of the pixels and figure out which of the four colors it's closest to. I think I found the original code on shadertoy.com, then modified for my own projects. :)