Css for pygments