pygments.css is enough, no need for syntax.css I guess