Themes for ajax.org's [Ace Editor](https://github.com/ajaxorg/ace/)