John R Barker da59a8a678 Use updated pygments (#44846) ...

Before this PR we were not using _static/ now we do
Remove all old files so we don't replace 2018 versions with 2011

2018-08-29 11:51:40 -05:00

..

pygments.css

docs: Use GitHub syntax highlighting styles (#44449)

2018-08-23 11:13:22 -05:00