Link: Screencast codec showdown
An interesting and thorough analysis, with screenshots, in searching of the best codec to use for animated screen captures.
Preferring quality, the winner is Animation, 16-bit color, High quality. Although it exhibits artifacts, H.264 Medium is pretty good too, considering it has a tenth of the file size.