[style] removing HTML pygments style