Pygments support in the CSS