/* The one stylesheet of the login page and the page, variant A of the prototype on prototype/foundation-page
   (foundation Decided 24). The server gives it without a session, since it holds no secret (foundation Decided 62). */
:root {
  --bg: #f6f5f1; --panel: #ffffff; --text: #1d1d1b; --muted: #6b6a64; --border: #e1dfd8;
  --accent: #3b5bdb; --accent-text: #ffffff; --code-bg: #f0eee8;
  --ok: #2b8a3e; --ok-bg: #e6f4ea; --warn: #9c5700; --warn-bg: #fff1dc; --err: #c42b2b; --err-bg: #fde8e8;
  --sans: system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: ui-monospace, "Cascadia Code", Menlo, Consolas, monospace;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #141413; --panel: #1d1d1b; --text: #ecebe6; --muted: #9b9a93; --border: #33322e;
    --accent: #8ea2fb; --accent-text: #141413; --code-bg: #292926;
    --ok: #74d68a; --ok-bg: #1d3323; --warn: #f5b864; --warn-bg: #3a2a12; --err: #ff8e8e; --err-bg: #3d1f1f;
    color-scheme: dark;
  }
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); font: 15px/1.5 var(--sans); padding: 24px 16px; }
h1 { margin: 0; font-size: 22px; letter-spacing: -0.01em; text-wrap: balance; }
h2 { margin: 0; font-size: 15px; }
p { margin: 0; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.panel { background: var(--panel); border: 1px solid var(--border); border-radius: 10px; min-width: 0; }
.ok { color: var(--ok); background: var(--ok-bg); } .warn { color: var(--warn); background: var(--warn-bg); }
.err { color: var(--err); background: var(--err-bg); }
p.err, p.note { border-radius: 6px; padding: 6px 10px; }

/* The login page */
form.login { max-width: 360px; margin: 10vh auto 0; padding: 20px; display: grid; gap: 14px; }
.login a { color: var(--muted); }
.login label { display: grid; gap: 4px; color: var(--muted); font-size: 14px; }
.login input { font: inherit; color: var(--text); background: var(--bg); border: 1px solid var(--border);
  border-radius: 6px; padding: 6px 10px; }
.login button { justify-self: start; background: var(--accent); color: var(--accent-text); border: 0; border-radius: 6px;
  padding: 6px 16px; font: 600 15px var(--sans); cursor: pointer; }

/* The page */
.wrap { max-width: 1200px; margin: 0 auto; display: grid; gap: 16px; }
header { display: flex; flex-wrap: wrap; gap: 8px 16px; align-items: baseline; justify-content: space-between; }
.meta { color: var(--muted); font-size: 13px; display: flex; gap: 14px; flex-wrap: wrap; align-items: center; }
.meta a { color: var(--muted); }
textarea { display: block; width: 100%; min-height: 140px; resize: vertical; border: 0; background: transparent;
  color: var(--text); font: 15px/1.5 var(--sans); padding: 12px 14px; outline: none; }
.toolbar { display: flex; flex-wrap: wrap; gap: 10px 14px; align-items: center; padding: 10px 12px;
  border-top: 1px solid var(--border); }
.toolbar label { display: flex; gap: 6px; align-items: center; color: var(--muted); font-size: 14px; }
input[type=number] { width: 64px; font: inherit; color: var(--text); background: var(--bg);
  border: 1px solid var(--border); border-radius: 6px; padding: 4px 8px; }
button.run { margin-left: auto; background: var(--accent); color: var(--accent-text); border: 0; border-radius: 6px;
  padding: 6px 16px; font: 600 15px var(--sans); cursor: pointer; }
button.run:disabled { opacity: 0.6; cursor: progress; }
pre { margin: 0; padding: 10px 12px; background: var(--code-bg); border-radius: 6px; overflow-x: auto;
  font: 13px/1.5 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; }
.badge { padding: 1px 9px; border-radius: 999px; font-weight: 600; font-size: 13px; white-space: nowrap; }
.atoms { display: flex; flex-wrap: wrap; gap: 6px; }
code.atom { background: var(--code-bg); border-radius: 5px; padding: 1px 7px; font: 13px/1.6 var(--mono); }
.small { color: var(--muted); font-size: 13px; }
.num { font-variant-numeric: tabular-nums; }
.words { white-space: pre-wrap; overflow-wrap: anywhere; }
.a-grid { display: grid; gap: 16px; grid-template-columns: 1fr; }
@media (min-width: 900px) { .a-grid { grid-template-columns: 5fr 7fr; align-items: start; } }
.a-result { padding: 14px; display: grid; gap: 14px; }
.a-round { border-top: 1px solid var(--border); padding-top: 12px; display: grid; gap: 8px; }
.a-head { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }