File headers now stick to the top of the page when viewing a pull request diff.

Learn more about pull requests