:root {
    /* 0 without a banner; migration-banner.js sets the measured height while one is shown */
    --banner-h: 0px;
    --logo-pad: 155px;
    --menu-top: 191px;
    /* offsets below the banner; every fixed element must use these, not top: 0 */
    --logo-top: var(--banner-h);
    --menu-top-abs: calc(var(--banner-h) + var(--menu-top));
    --logo-pad-abs: calc(var(--banner-h) + var(--logo-pad));
}

/* Move notice, shown on generated API pages until the hard redirect (migration-banner.js). */
#migration-banner {
    position: fixed;
    z-index: 3;
    top: 0;
    left: 0;
    right: 0;
    box-sizing: border-box;
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 4px 16px;
    padding: 6px 16px;
    background: #fff4c2;
    color: #1a1a1a;
    border-bottom: 1px solid #c9a400;
    font: 14px/1.3 -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
}

#migration-banner p {
    margin: 0;
}

#migration-banner a {
    color: #0b2a63;
    font-weight: 700;
    text-decoration: underline;
}

#migration-banner .migration-actions {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 4px 12px;
}

#migration-banner .migration-stay {
    font: inherit;
    min-height: 28px;
    padding: 2px 10px;
    border: 1px solid #0b2a63;
    border-radius: 3px;
    background: #fff;
    color: #0b2a63;
    cursor: pointer;
}

#migration-banner .migration-remember {
    display: inline-flex;
    align-items: center;
    gap: 4px;
    min-height: 28px;
    white-space: nowrap;
}

body {
    padding: 0;
    margin: 0;
    padding-top: var(--banner-h);
}

#logo {
    position: fixed;
    z-index: 1;
    top: var(--logo-top);
    left: 0px;
    width: 300px;
    padding-top: var(--logo-pad);
    background: #0b2a63 url("logo.svg") no-repeat;
    background-position: center 10px;
    background-size: 180px auto;
}

#logo select {
    width: 280px;
    padding: 3px;
    margin: 0 10px 10px 10px;
}

#logo select option {
    text-transform: capitalize;
}

.menu-content {
    top: var(--menu-top-abs) !important;
    height: calc(100vh - var(--menu-top-abs)) !important;
}

.no-select {
    top: var(--logo-pad-abs) !important;
    height: calc(100vh - var(--logo-pad-abs)) !important;
}