/* Keep article destinations below the sticky header, including restored hash links. */
.article [id] {
  scroll-margin-top: 9rem !important;
}