generate pygments.css manually