Enhancements to pygments css