Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Christophe BAL, by email, suggests:
I have two suggestions about the default formatting.
Important. The standard for references is to give just the number. I really think that it would be better to use the following definition :
Less important. Using a single color should be better.