It's a standard colorscheme of the Ace editor http://ace.ajax.org/