Tweaking GitHub's diffs

Adding code comments on GitHub just got a little update.

Now when you hover over the button, it animates to be slightly bigger. It's a small touch, but it reinforces the multiple click actions that are present in our diffs with just a little extra CSS.

See it in action: https://github.com/twbs/bootstrap/pull/13859/files.