CSS changes after move to pygments