Support for pygment defaults and relevant documentation
Merge pull request #1084 from karmadharma/pygmentdocsanddefault

Support Pygments customization in settings (reST only)