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