Use code css short class names for pygments css