html { scroll-behavior: smooth; }
    section[id] { scroll-margin-top: 92px; }
    pre { white-space: pre-wrap; word-break: break-word; }