jeromegn/DocumentUp — pull request #15 by hardikr (2012-01-27 08:40:05+00:00)
Title: Added top-right github ribbon!

This time added it to source, and made it optional with default to true, as you mentioned. Sorry about the previous pull-request..

Let me know if anything is wrong/needs to be corrected.