header {
    padding: 18px;
    background: rgba(0, 0, 0, 0.6);
    position: -webkit-sticky;
    position: sticky;
    top: 0;
    -webkit-backdrop-filter: blur(32px) saturate(1.5);
    backdrop-filter: blur(32px) saturate(1.5);
    box-shadow: inset 0 -1px rgba(255, 255, 255, 0.12);
    z-index: 1001;
    display: flex;
    align-items: center;
    height: 84px;
    box-sizing: border-box;
}

.spacer {
    margin-right: auto;
    display: block;
}

header a {
    margin-left: 8px;
}
