patch for github.css