does GitHub markdown allow styling of pre tags?