Modify Pagination slightly
Review Request #4714 — Created Oct. 10, 2013 and discarded — Latest diff uploaded
With long commit messages, and many files, the pagination links hit the top of the page, rather than the links to files. This should fix that