Unrelated, but does anyone know what font/colorscheme are used in the screenshots? I find it very slick for code presentation.