/* The site's shell: fonts, colors, the top bar and the sign-in and password forms. Public, like
   the fonts; the benchmark page's own styles are in protected/containment.css. Night
   operations, the office screen's look (docs/design-system.md): one dark theme, by design. */
@font-face {
  font-family: "Inter";
  src: url("/static/fonts/inter.woff2") format("woff2");
  font-weight: 100 900;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("/static/fonts/jetbrains-mono.woff2") format("woff2");
  font-weight: 100 800;
  font-display: swap;
}
:root {
  color-scheme: dark;
  --ink: #070a12; --panel: rgba(255, 255, 255, 0.03); --raised: rgba(255, 255, 255, 0.06); --line: rgba(255, 255, 255, 0.08);
  --text: #eef2f8; --text-2: #a3acbd; --label: #8c95a8; --muted: #7e879a; --faint: #5d667a;
  --sky: #7dd3fc; --mint: #34d399; --rose: #fb7185; --violet: #c4b5fd; --node: #0e1119;
  --field: rgba(255, 255, 255, 0.05);
  --sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
}
* { box-sizing: border-box; }
html { background-color: var(--ink); }
body {
  margin: 0; min-height: 100vh; background-color: var(--ink); color: var(--text); font-family: var(--sans);
  -webkit-font-smoothing: antialiased; font-feature-settings: "cv11";
  background-image:
    radial-gradient(1100px 640px at 8% -6%, rgba(129, 99, 255, 0.12), transparent 62%),
    radial-gradient(1000px 700px at 104% 40%, rgba(45, 212, 191, 0.07), transparent 60%),
    radial-gradient(1500px 760px at 50% 104%, rgba(59, 130, 246, 0.10), transparent 62%),
    radial-gradient(rgba(255, 255, 255, 0.045) 1px, transparent 1.3px);
  background-size: auto, auto, auto, 24px 24px;
}
a { color: var(--sky); }
:focus-visible { outline: 2px solid var(--sky); outline-offset: 2px; }
.word { display: inline-flex; align-items: baseline; font-weight: 700; letter-spacing: -0.045em; color: var(--text); text-decoration: none; }
.word i { width: 0.26em; height: 0.26em; border-radius: 2px; background: var(--sky); margin-left: 0.12em; }

/* ---- The top bar of signed-in pages ---- */
.top {
  max-width: 1640px; margin: 0 auto; display: flex; align-items: center; justify-content: space-between; gap: 16px;
  padding: 18px max(16px, env(safe-area-inset-right, 0px), 4vw) 0 max(16px, env(safe-area-inset-left, 0px), 4vw);
}
.top .brand { display: flex; align-items: center; gap: 14px; min-width: 0; color: inherit; text-decoration: none; }
.top .word { font-size: 26px; }
.top .sep { width: 1px; height: 22px; background: rgba(255, 255, 255, 0.16); }
.top .title { font-size: 17px; font-weight: 500; color: var(--text-2); white-space: nowrap; }
.account { display: flex; align-items: center; gap: 6px; font-size: 15px; color: var(--muted); min-width: 0; }
.account form { margin: 0; }
/* Sign out: there when needed (a shared laptop after a meeting), quiet otherwise. */
.account button {
  display: inline-block; padding: 6px 10px; border-radius: 8px; border: 0; background: none;
  color: var(--muted); font: 500 14px var(--sans); cursor: pointer; white-space: nowrap;
}
.account button:hover { background: var(--raised); color: var(--text-2); }
@media (max-width: 640px) {
  .top .sep, .top .title { display: none; }
}

/* ---- Sign-in and password forms ---- */
.gate {
  min-height: 100vh; display: grid; place-items: center;
  padding: 48px max(16px, env(safe-area-inset-right, 0px)) 48px max(16px, env(safe-area-inset-left, 0px));
}
.top + .gate { min-height: calc(100vh - 80px); }
.card { width: min(440px, 100%); display: flex; flex-direction: column; gap: 22px; }
.card > .word { font-size: 40px; }
.card h1 { margin: 6px 0 0; font-size: 28px; font-weight: 600; letter-spacing: -0.02em; }
.card p { margin: 8px 0 0; font-size: 16px; line-height: 1.5; color: var(--text-2); }
.card form { display: flex; flex-direction: column; gap: 16px; }
.field { display: flex; flex-direction: column; gap: 8px; }
.field label { font-size: 13px; font-weight: 600; letter-spacing: 0.12em; text-transform: uppercase; color: var(--muted); }
.field input {
  width: 100%; padding: 14px 16px; border-radius: 14px; border: 1px solid var(--line); background: var(--field);
  color: var(--text); font: 500 17px var(--sans);
}
.field input[type="password"] { font-family: var(--mono); }
.field .hint { font-size: 14px; color: var(--muted); }
.primary {
  margin-top: 4px; padding: 14px 22px; border: 0; border-radius: 14px; background: var(--sky); color: #06202c;
  font: 600 17px var(--sans); cursor: pointer;
}
.primary:hover { filter: brightness(1.06); }
.message { margin: 0; padding: 12px 14px; border-radius: 12px; font-size: 15px; line-height: 1.45; }
.message.error { color: var(--rose); background: rgba(251, 113, 133, 0.08); box-shadow: inset 0 0 0 1px rgba(251, 113, 133, 0.22); }
.message.ok { color: var(--mint); background: rgba(52, 211, 153, 0.08); box-shadow: inset 0 0 0 1px rgba(52, 211, 153, 0.22); }
.fine { font-size: 14px; color: var(--faint); }