FYI the better solution nowadays is this: https://getpublii.com/blog/one-line-css-solution-to-prevent-anchor-links-from-scrolling-behind-a-sticky-header.html

html {
  scroll-padding-top: 4rem;
}