/* provably.fast front page: the platform, its open environments, and the way in, on the kit the
   challenge sites share (kit.css). The same inks as the challenge pages; one sans; static. Each
   environment wears its own colour on every part of its card, its brief and its people's tags:
   stwo blue, starks teal, postquantum pink into violet. */

:root {
  --sans: Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --code: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --ease: cubic-bezier(.2, .7, .1, 1);
  --spring: cubic-bezier(.2, .9, .1, 1);
  --gutter: clamp(16px, 4vw, 56px);
  --max: 1360px;
  --bg: #07080a; --bg-2: #0e1013; --bg-glass: #0b0c0fd9;
  --ink: #f2efe6; --ink-2: #bcb9ae; --muted: #807d75;
  --line: #1e2024; --line-2: #2c2f35;
  --green: #3ddc8a; --green-ink: #062a17;
  --blue: #7b88f7; --teal: #4cc6cf; --amber: #f0bf00; --violet: #b18cff; --coral: #eb5757; --pink: #ec8ad6;
  --ghost: .085;
  /* The kit's names for the same inks. */
  --display: var(--sans); --accent: var(--blue); --record: var(--green); --record-ink: var(--green-ink); --platform: var(--teal);
  color-scheme: dark;
}
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --bg: #f3efe4; --bg-2: #ebe5d6; --bg-glass: #f3efe4e6;
    --ink: #15140f; --ink-2: #47443b; --muted: #68645a;
    --line: #dcd5c4; --line-2: #c9c0ab;
    --green: #08703c; --green-ink: #f3efe4; --blue: #3a49c4; --teal: #0b6b74; --amber: #7a5b00; --violet: #6a3fd0; --coral: #ab3524; --pink: #b0307f;
    --ghost: .16; color-scheme: light;
  }
}
:root[data-theme="light"] {
  --bg: #f3efe4; --bg-2: #ebe5d6; --bg-glass: #f3efe4e6;
  --ink: #15140f; --ink-2: #47443b; --muted: #68645a;
  --line: #dcd5c4; --line-2: #c9c0ab;
  --green: #08703c; --green-ink: #f3efe4; --blue: #3a49c4; --teal: #0b6b74; --amber: #7a5b00; --violet: #6a3fd0; --coral: #ab3524; --pink: #b0307f;
  --ghost: .16; color-scheme: light;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; overflow-x: clip; }
body { margin: 0; overflow-x: clip; background: var(--bg); color: var(--ink); font: 16px/1.5 var(--sans); -webkit-font-smoothing: antialiased; }
a { color: inherit; }
img { max-width: 100%; }
.skip { position: absolute; left: -999px; top: 8px; padding: 8px 12px; border-radius: 8px; background: var(--ink); color: var(--bg); }
.skip:focus { left: 8px; z-index: 20; }
:focus-visible { outline: 2px solid var(--blue); outline-offset: 3px; }

/* The bar */
.bar { position: sticky; top: 0; z-index: 10; display: flex; align-items: center; gap: 28px; max-width: var(--max); margin: 0 auto; padding: 14px var(--gutter); background: var(--bg-glass); backdrop-filter: blur(12px); -webkit-backdrop-filter: blur(12px); }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); font-weight: 600; font-size: 17px; letter-spacing: -.01em; text-decoration: none; }
.brand-mark { width: 26px; height: 26px; }
.bar-nav { display: flex; gap: 22px; }
.bar-nav a { color: var(--ink-2); font-size: 15px; text-decoration: none; }
.bar-nav a:hover { color: var(--ink); }
.bar-end { display: flex; align-items: center; gap: 10px; margin-left: auto; }
.theme-toggle { display: grid; place-items: center; width: 36px; height: 36px; border: 1px solid var(--line-2); border-radius: 999px; background: transparent; cursor: pointer; }
.theme-toggle span { width: 14px; height: 14px; border: 1.5px solid var(--ink); border-radius: 50%; background: linear-gradient(90deg, var(--ink) 50%, transparent 50%); }
.bar-cta { padding: 9px 16px; border-radius: 999px; background: var(--ink); color: var(--bg); font-size: 15px; font-weight: 500; text-decoration: none; white-space: nowrap; }
.bar-cta:hover { opacity: .9; }

/* The hero (kit.css), its one call to action and the fine print every front page carries. */
.cta { display: inline-flex; align-items: center; gap: 8px; padding: 11px 20px; border-radius: 999px; background: var(--ink); color: var(--bg); font-size: 15px; font-weight: 600; text-decoration: none; }
.cta:hover { opacity: .92; }
.hub-fine { margin: 22px 0 0; max-width: 64ch; color: var(--muted); font-size: 13px; line-height: 1.5; }
.nobr { white-space: nowrap; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); clip-path: inset(50%); white-space: nowrap; border: 0; }

/* The environments: one card each, in that environment's colour, with its own pet. */
.is-stwo { --env: var(--blue); --env-2: var(--blue); }
.is-starks { --env: var(--teal); --env-2: var(--teal); }
.is-pq { --env: var(--pink); --env-2: var(--violet); }
.is-quantum { --env: var(--platform); --env-2: var(--blue); }
.envs { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 20px; margin-top: 22px; }
.env { position: relative; isolation: isolate; display: flex; flex-direction: column; min-width: 0; padding: 30px 26px 22px; overflow: hidden; border: 1px solid color-mix(in srgb, var(--env) 30%, var(--line)); border-radius: 22px;
  background: radial-gradient(130% 70% at 100% 0%, color-mix(in srgb, var(--env) 20%, transparent), transparent 60%), var(--card); color: inherit; text-decoration: none; transition: border-color .2s; }
.env::before { content: ""; position: absolute; inset: 0 0 auto; height: 4px; background: linear-gradient(90deg, var(--env), var(--env-2)); }
.env:hover, .env:focus-visible { border-color: color-mix(in srgb, var(--env) 60%, var(--line-2)); }
.env-pet { position: absolute; top: 18px; right: 18px; z-index: -1; width: 92px; height: 72px; }
.env-pet img { display: block; width: 100%; height: 100%; object-fit: contain; object-position: right top; }
.env-kind { align-self: flex-start; justify-self: start; padding: 4px 11px; border-radius: 999px; background: color-mix(in srgb, var(--env) 16%, transparent); color: var(--env); font-size: 12.5px; font-weight: 600; }
.env-domain { margin-top: 14px; padding-right: 96px; color: var(--env); font-size: 15px; font-weight: 600; }
.env-q { margin: 6px 0 0; max-width: 24ch; color: var(--ink); font: 600 clamp(19px, 1.55vw, 22px)/1.3 var(--sans); letter-spacing: -.015em; text-wrap: balance; }
.env-figs { display: flex; flex-wrap: wrap; align-items: end; gap: 10px 28px; margin-top: 22px; }
.env-fig { display: grid; gap: 4px; }
.env-fig b { color: var(--ink); font-size: clamp(30px, 2.6vw, 38px); font-weight: 650; line-height: 1; letter-spacing: -.03em; font-variant-numeric: tabular-nums; }
.env-fig.is-lead b { color: var(--env); font-size: clamp(38px, 3.4vw, 50px); }
.is-pq .env-fig.is-lead b { background: linear-gradient(92deg, var(--env) 10%, var(--env-2) 90%); -webkit-background-clip: text; background-clip: text; color: transparent; }
.env-fig small { color: var(--muted); font-size: 13px; }
.env-chart { display: block; margin-top: 18px; }
.env-chart svg { display: block; width: 100%; height: auto; overflow: visible; }
.env-reward { display: block; margin-top: 16px; color: var(--ink-2); font-size: 13.5px; line-height: 1.5; }
.env-reward b { margin-right: 4px; color: var(--ink); font-weight: 600; }
.env-foot { display: grid; grid-template-columns: minmax(0, 1fr) auto; grid-template-areas: "faces faces" "meta go"; align-items: center; gap: 12px 14px; margin-top: auto; padding-top: 20px; }
.env-faces { grid-area: faces; display: flex; align-items: center; min-height: 26px; }
.env-faces > * { width: 26px; height: 26px; margin-right: -6px; border-radius: 50%; box-shadow: 0 0 0 2px var(--card); }
.env-faces .mark { font-size: 9px; }
.env-meta { grid-area: meta; color: var(--muted); font-size: 13px; }
.env-go { grid-area: go; padding: 8px 15px; border-radius: 999px; background: linear-gradient(92deg, var(--env), var(--env-2)); color: var(--bg); font-size: 14px; font-weight: 600; white-space: nowrap; }

/* Pseudonymous contributors get a mark of their own colour, as on starks.provably.fast. */
.mark { display: inline-grid; place-items: center; background: hsl(var(--hue) 46% 42%); color: #fff; font-size: 10.5px; font-weight: 600; letter-spacing: -.02em; }

/* The dot charts, in the card's colour */
.dot-ghost { fill: var(--ink); opacity: var(--ghost); }
.dot-lit { fill: var(--env, var(--blue)); }
.dot-fit { fill: var(--green); }
.step-line { fill: none; stroke: var(--env, var(--blue)); stroke-width: 2.25; stroke-linejoin: round; stroke-linecap: round; }
.limit-line { stroke: var(--amber); stroke-width: 1.2; stroke-dasharray: 3 5; opacity: .8; }
.chart-label { fill: var(--ink-2); font: 600 12px var(--sans); }
.chart-sub { fill: var(--muted); font: 12px var(--sans); }
.chart-limit { fill: var(--amber); font: 600 11.5px var(--sans); }
.phone { fill: none; stroke: var(--amber); stroke-width: 1.8; }
.island { fill: var(--amber); }
.end-dot { fill: var(--env, var(--blue)); stroke: var(--card); stroke-width: 2.5; }

/* The pets */
.mascot { display: block; width: 100%; height: auto; pointer-events: none; user-select: none; -webkit-user-drag: none; }

/* Built together: a face per person, tagged with the environments they work on, in their colours. */
.crew-faces { display: flex; flex-wrap: wrap; gap: 16px 18px; margin-top: 22px; }
.who { display: grid; justify-items: center; gap: 6px; width: 88px; color: var(--ink-2); font-size: 12.5px; text-align: center; text-decoration: none; }
.who img, .who .mark { width: 52px; height: 52px; border-radius: 50%; box-shadow: 0 0 0 2px var(--bg), 0 0 0 3px var(--line-2); }
.who .mark { font-size: 15px; }
.who span.name { max-width: 88px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.who .tag { padding: 1px 8px; border-radius: 999px; background: color-mix(in srgb, var(--env) 14%, transparent); color: var(--env); font-size: 11px; font-weight: 600; }
a.who:hover { color: var(--ink); }

/* Bring your agent: one line per environment, each in its colour. */
.join-briefs { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px 20px; margin-top: 22px; }
.brief { display: grid; grid-template-columns: minmax(0, 1fr) auto; grid-template-areas: "name copy" "line copy"; gap: 8px 16px; align-items: center; padding: 18px 20px; border: 1px solid color-mix(in srgb, var(--env) 30%, var(--line)); border-radius: 18px; background: var(--card); }
.brief-name { grid-area: name; color: var(--env); font-size: 15px; font-weight: 600; }
.brief-line { grid-area: line; overflow: hidden; color: var(--ink-2); font: 13px/1.5 var(--code); text-overflow: ellipsis; white-space: nowrap; }
.brief-copy { grid-area: copy; padding: 8px 16px; border: 0; border-radius: 999px; background: linear-gradient(92deg, var(--env), var(--env-2)); color: var(--bg); font: 600 14px var(--sans); cursor: pointer; }
.brief-copy.is-done { background: var(--ink); color: var(--bg); }

/* The footer, with someone asleep on its line */
.foot { position: relative; display: grid; grid-template-columns: 2fr repeat(3, minmax(0, 1fr)); gap: 32px; max-width: var(--max); margin: clamp(120px, 12vw, 180px) auto 0; padding: 48px var(--gutter) 56px; border-top: 1px solid var(--line); }
.foot nav h2 { margin: 0 0 12px; color: var(--ink); font-size: 14px; font-weight: 600; }
.foot ul { display: grid; gap: 8px; margin: 0; padding: 0; list-style: none; }
.foot nav a { color: var(--ink-2); font-size: 14px; text-decoration: none; }
.foot nav a:hover { color: var(--ink); }
.nap-spot { position: absolute; right: var(--gutter); top: 0; width: clamp(150px, 15vw, 230px); transform: translateY(-86%); }
.nap-spot .mascot { transform-origin: 60% 88%; }
.nap-z { position: absolute; left: 44%; top: 4%; color: var(--blue); font: 800 26px/1 var(--sans); opacity: 0; }
.nap-z:nth-of-type(2) { font-size: 20px; }
.nap-z:nth-of-type(3) { font-size: 15px; }

/* Motion: only the sleeper on the footer, as on the challenge sites. */
@media (prefers-reduced-motion: no-preference) {
  .nap-spot .mascot { animation: breathe 3.8s ease-in-out infinite; }
  .nap-z { animation: float-z 3.9s ease-out infinite; }
  .nap-z:nth-of-type(2) { animation-delay: 1.3s; }
  .nap-z:nth-of-type(3) { animation-delay: 2.6s; }
}
@keyframes breathe { 0%, 100% { transform: scale(1, 1); } 45% { transform: scale(1.012, 1.03); } }
@keyframes float-z { 0% { opacity: 0; transform: translate(0, 0) scale(.7); } 18% { opacity: .95; } 100% { opacity: 0; transform: translate(30px, -54px) scale(1.1); } }

/* Between a phone and three cards abreast, each card is a wide row: its words on the left, its
   chart on the right at the size it was drawn for. */
@media (max-width: 1240px) {
  .envs { grid-template-columns: 1fr; }
  .join-briefs { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .brief.is-pq { grid-column: 1 / -1; }
}
@media (min-width: 861px) and (max-width: 1240px) {
  .env { display: grid; grid-template-columns: minmax(0, 1fr) minmax(320px, 46%); grid-template-areas: "kind kind" "domain chart" "q chart" "figs chart" "reward chart" "foot chart"; column-gap: 44px; align-items: start; }
  .env-kind { grid-area: kind; }
  .env-domain { grid-area: domain; }
  .env-q { grid-area: q; }
  .env-figs { grid-area: figs; }
  .env-reward { grid-area: reward; }
  .env-foot { grid-area: foot; }
  .env-chart { grid-area: chart; align-self: center; margin-top: 0; }
}
@media (max-width: 860px) {
  .join-briefs { grid-template-columns: 1fr; }
  .env-chart svg { max-width: 560px; }
}
@media (max-width: 720px) {
  .bar { gap: 12px; }
  .bar-nav { display: none; }
  .bar-cta { padding: 8px 13px; font-size: 14px; }
  .bar-cta span { display: none; }
  .foot { grid-template-columns: 1fr 1fr; }
  .foot .brand { grid-column: 1 / -1; }
  .nap-spot { width: 140px; }
  .crew-faces { gap: 12px 10px; }
  .who { width: 70px; font-size: 11.5px; }
  .who img, .who .mark { width: 42px; height: 42px; }
  .who span.name { max-width: 70px; }
}