95% of all documents can be converted with pandoc. But in all seriousness I'm guessing author is using pandoc with syntax highlighting flag. http://pandoc.org/MANUAL.html#syntax-highlighting