/* One-page navigation (In English page): menu items are anchors on the same page. */
@media only screen and (min-width: 320px) {
    .page-in-english-nav {
        scroll-behavior: smooth;
    }

    /* Leave room for the sticky header when jumping to a section */
    .page-in-english-nav .gb-container[id] {
        scroll-margin-top: 90px;
    }
}

@media (prefers-reduced-motion: reduce) {
    .page-in-english-nav {
        scroll-behavior: auto;
    }
}