Pygments support in the CSS. CSS files