/* Keep the public website header anchored while the mobile browser chrome changes. */
@media (max-width: 767px) {
    body.marketing {
        padding-top: 76px;
        overflow-x: hidden;
    }

    body.marketing > .site-header {
        position: fixed;
        inset: 0 0 auto;
        width: 100%;
        height: 76px;
        z-index: 1200;
    }

    body.marketing > .site-header .mobile-nav {
        top: 0;
        height: 100dvh;
    }

    body.marketing #main [id] {
        scroll-margin-top: 88px;
    }
}