github/hub — pull request #392 by miketheman (2013-08-30 16:18:28+00:00)
Title: added github fork ribbon to html

fixes #391

Chose a nicely matching grey.