Yes, that's dithering. Gifs have only 256 colors, so in reducing from a larger palette, it tries to simulate the original color by using one that's close and making it look lighter or darker with dots ...