If anyone's wondering what the color scheme is, I believe it's Solarized http://ethanschoonover.com/solarized (on HN previously https://news.ycombinator.com/item?id=2393976 )