Anchors don't account for height of top nav bar #986
Description
When you visit (for example) https://stedolan.github.io/jq/manual/#Arrayconstruction-[], part of the header is hidden behind the top nav bar:
{{ message }}
When you visit (for example) https://stedolan.github.io/jq/manual/#Arrayconstruction-[], part of the header is hidden behind the top nav bar: