Pygments

Figuring out how much needs to be done to make Pygments formatting work.