CSS patch for "GitHub flavored markdown"