CSS for pygments