fix styles for newer pygments