.site-nav {
        position: relative;
        z-index: 5;
        display: flex;
        justify-content: center;
        padding: 22px 16px 0;
        font-family: Arial, Helvetica, sans-serif;
      }

      .nav-links {
        display: flex;
        flex-wrap: wrap;
        justify-content: center;
        gap: 6px 28px;
      }

      .nav-links a {
        padding: 4px 0;
        border-bottom: 2px solid transparent;
        color: #374151;
        font-size: 14px;
        font-weight: 700;
        text-decoration: none;
        transition: color 150ms ease-out, border-color 150ms ease-out;
      }

      .nav-links a:hover,
      .nav-links a:focus-visible {
        color: #2FA34A;
      }

      .nav-links a[aria-current="page"] {
        color: #2FA34A;
        border-bottom-color: #2FA34A;
      }

      .nav-toggle,
      .nav-icon {
        display: none;
      }

      @media (max-width: 760px) {
        .site-nav {
          padding-top: 16px;
        }

        .nav-links {
          gap: 6px 18px;
        }

        .nav-links a {
          font-size: 13px;
        }

        /* Hamburger menu (switched on by loading.js in the page head). The bar takes up no
           height, so the page content starts at the top beside the button. */
        .nav-ready .site-nav {
          height: 20px;
          padding: 0;
        }

        .nav-ready .nav-toggle {
          position: absolute;
          top: 14px;
          right: 12px;
          display: grid;
          place-content: center;
          gap: 5px;
          width: 44px;
          height: 44px;
          padding: 0;
          border: 0;
          background: none;
          cursor: pointer;
        }

        .nav-toggle span {
          display: block;
          width: 22px;
          height: 2px;
          border-radius: 2px;
          background: #111827;
          transition: transform 200ms ease, opacity 200ms ease;
        }

        .nav-toggle:focus-visible {
          outline: 2px solid #2FA34A;
          outline-offset: 2px;
        }

        .is-open .nav-toggle span:nth-child(1) { transform: translateY(7px) rotate(45deg); }
        .is-open .nav-toggle span:nth-child(2) { opacity: 0; }
        .is-open .nav-toggle span:nth-child(3) { transform: translateY(-7px) rotate(-45deg); }

        .nav-ready .nav-links {
          position: absolute;
          top: 66px;
          right: 12px;
          left: auto;
          width: min(260px, calc(100vw - 24px));
          flex-direction: column;
          flex-wrap: nowrap;
          gap: 0;
          padding: 4px 0;
          border: 1px solid rgba(17, 24, 39, .08);
          border-radius: 14px;
          background: #fff;
          box-shadow: 0 18px 50px rgba(27, 55, 35, .16);
          opacity: 0;
          visibility: hidden;
          transform: translateY(-8px);
          transition: opacity 200ms ease, transform 200ms ease, visibility 0s 200ms;
        }

        .nav-ready .is-open .nav-links {
          opacity: 1;
          visibility: visible;
          transform: none;
          transition: opacity 200ms ease, transform 200ms ease;
        }

        .nav-ready .nav-links a {
          display: flex;
          align-items: center;
          gap: 14px;
          margin: 0 4px;
          padding: 14px 14px;
          border-bottom: 0;
          border-radius: 10px;
          color: #374151;
          font-size: 17px;
          font-weight: 400;
        }

        /* Thin divider between items, like a context menu */
        .nav-ready .nav-links a + a {
          position: relative;
        }

        .nav-ready .nav-links a + a::before {
          content: "";
          position: absolute;
          top: 0;
          right: -4px;
          left: -4px;
          border-top: 1px solid rgba(17, 24, 39, .08);
        }

        .nav-ready .nav-links a:hover,
        .nav-ready .nav-links a:focus-visible {
          background: rgba(17, 24, 39, .04);
          color: #111827;
        }

        .nav-ready .nav-links a[aria-current="page"] {
          color: #374151;
        }

        .nav-ready .nav-icon {
          display: block;
          flex: none;
          width: 22px;
          height: 22px;
          fill: none;
          stroke: currentColor;
          stroke-width: 1.7;
          stroke-linecap: round;
          stroke-linejoin: round;
        }
      }

      @media (prefers-reduced-motion: reduce) {
        .nav-toggle span,
        .nav-ready .nav-links {
          transition: none;
        }
      }

      /* Skeleton while the page loads: grey bars for the links, a grey block for the menu button */
      html.is-loading .nav-links a {
        border-bottom-color: transparent;
        border-radius: 4px;
        color: transparent;
        background: linear-gradient(100deg, #e3eaf0 25%, #f4f7f9 42%, #e3eaf0 60%);
        background-size: 220% 100%;
        animation: nav-skeleton-shimmer 1.35s ease-in-out infinite;
        pointer-events: none;
      }

      html.is-loading .nav-toggle {
        border-radius: 10px;
        background: linear-gradient(100deg, #e3eaf0 25%, #f4f7f9 42%, #e3eaf0 60%);
        background-size: 220% 100%;
        animation: nav-skeleton-shimmer 1.35s ease-in-out infinite;
        pointer-events: none;
      }

      html.is-loading .nav-toggle span {
        visibility: hidden;
      }

      @keyframes nav-skeleton-shimmer {
        from { background-position: 100% 0; }
        to { background-position: -100% 0; }
      }

      @media (prefers-reduced-motion: reduce) {
        html.is-loading .nav-links a,
        html.is-loading .nav-toggle {
          animation: none;
        }
      }