Avoid sticky header overlap when linking to comments #9910

Description

This:

I'm not sure if it's just an issue with PR review comments, I can't repro elsewhere.

The fix is simple though, it just needs testing in other parts of the site and a more specific selector

[id] {
  scroll-margin-top: 80px;
}

The code will go in github-bugs.css

Example URLs

refined-github/sandbox#47 (comment)