It's a slightly modified version of the Monokai theme.