Offset the content by the navigation bar height also for direct links

[KasparEtter]

When linking directly to a section of the spec like this, the title is covered by the navigation bar. There are two ways to offset the content correctly:

• CSS: Use a positive padding with a negative margin on all headings.
• JS: Recognize when the page is loaded with an anchor and call the scroll animation with this anchor.