changed to monokai pygments theme with .c change to #999