Make some colors in pygments stylesheet brighter