/* Pagda site. Layout: a plain documentation frame; the one loud element is the
   "verdict" code panel, which shows a program together with what the checker said. */
:root {
  --paper: #f3f4f7;        /* cool paper */
  --surface: #ffffff;
  --ink: #171c28;          /* blue-black text */
  --muted: #596074;
  --line: #d9dce5;
  --accent: #2343c4;       /* cobalt: links, marks */
  --accent-soft: #e6eafb;
  --mark: #b0700a;         /* ochre: types in code, the thing Pagda adds */
  --ok: #0d7a5f;
  --ok-soft: #dff3ec;
  --bad: #b3261e;
  --bad-soft: #fbe6e3;
  --code-bg: #fbfbfd;
  --code-ink: #1c2233;
  --c-comment: #7a8194;
  --c-string: #0d7a5f;
  --c-keyword: #2343c4;
  --c-number: #9a4a00;
  --display: "Bricolage Grotesque", "IBM Plex Sans", system-ui, sans-serif;
  --body: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #0f121a; --surface: #171b26; --ink: #e7e9f0; --muted: #9aa1b5; --line: #2a3040;
    --accent: #8ea2ff; --accent-soft: #1d2440; --mark: #e2b257;
    --ok: #4fd1a9; --ok-soft: #12302a; --bad: #ff8a80; --bad-soft: #3a1b1a;
    --code-bg: #131722; --code-ink: #dfe3ee;
    --c-comment: #7d859a; --c-string: #6fd6b4; --c-keyword: #9fb0ff; --c-number: #f0a868;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #0f121a; --surface: #171b26; --ink: #e7e9f0; --muted: #9aa1b5; --line: #2a3040;
  --accent: #8ea2ff; --accent-soft: #1d2440; --mark: #e2b257;
  --ok: #4fd1a9; --ok-soft: #12302a; --bad: #ff8a80; --bad-soft: #3a1b1a;
  --code-bg: #131722; --code-ink: #dfe3ee;
  --c-comment: #7d859a; --c-string: #6fd6b4; --c-keyword: #9fb0ff; --c-number: #f0a868;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 5rem; }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font: 400 1rem/1.6 var(--body);
}
body::before {
  content: ""; position: fixed; inset: 0 0 auto; height: env(safe-area-inset-top, 0px);
  z-index: 10; background: var(--paper);
}
a { color: var(--accent); text-underline-offset: 0.18em; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
code { font-family: var(--mono); font-size: 0.9em; }
p code, li code, td code, h2 code, h3 code {
  background: var(--accent-soft); padding: 0.08em 0.32em; border-radius: 4px; overflow-wrap: anywhere;
}
h1, h2, h3 { font-family: var(--display); line-height: 1.15; text-wrap: balance; margin: 0; }
h1 { font-size: clamp(2.1rem, 5.5vw, 3.6rem); font-weight: 700; letter-spacing: -0.02em; }
h2 { font-size: clamp(1.4rem, 3vw, 1.85rem); font-weight: 700; letter-spacing: -0.01em; }
h3 { font-size: 1.15rem; font-weight: 500; }
p { margin: 0; }

.wrap {
  max-width: 72rem; margin: 0 auto;
  padding-left: max(16px, env(safe-area-inset-left, 0px));
  padding-right: max(16px, env(safe-area-inset-right, 0px));
}

/* header */
.top {
  position: sticky; top: env(safe-area-inset-top, 0px); z-index: 5;
  background: color-mix(in srgb, var(--paper) 92%, transparent);
  backdrop-filter: blur(8px); border-bottom: 1px solid var(--line);
}
.top .wrap { display: flex; align-items: center; gap: 1.5rem; padding-block: 0.7rem; }
.brand {
  display: inline-flex; align-items: center; gap: 0.5rem; flex: none;
  font: 700 1.25rem/1 var(--display); color: var(--ink); text-decoration: none;
}
.mark {
  display: inline-grid; place-items: center; width: 1.7em; height: 1.7em;
  background: var(--accent); color: var(--surface); border-radius: 6px;
  font: 500 0.95em/1 var(--mono);
}
.nav { display: flex; gap: 0.25rem; overflow-x: auto; min-width: 0; scrollbar-width: none; }
.nav::-webkit-scrollbar { display: none; }
.nav a, .foot nav a {
  white-space: nowrap; text-decoration: none; color: var(--muted);
  padding: 0.35rem 0.65rem; border-radius: 6px; font-weight: 500; font-size: 0.95rem;
}
.nav a:hover, .foot nav a:hover { color: var(--ink); background: var(--accent-soft); }
.nav a[aria-current="page"] { color: var(--accent); background: var(--accent-soft); }

/* footer */
.foot { border-top: 1px solid var(--line); margin-top: 4rem; color: var(--muted); font-size: 0.92rem; }
.foot .wrap { display: flex; flex-wrap: wrap; gap: 1rem 2rem; justify-content: space-between; align-items: center; padding-block: 1.5rem; }
.foot nav { display: flex; flex-wrap: wrap; gap: 0.1rem; }
.foot .mark { width: 1.5em; height: 1.5em; margin-right: 0.3rem; }

/* the verdict panel: a program and what the checker said about it */
.sample {
  margin: 0; background: var(--code-bg); border: 1px solid var(--line); border-radius: 10px;
  overflow: hidden; min-width: 0;
}
.sample figcaption {
  display: flex; align-items: center; gap: 0.6rem; padding: 0.45rem 0.6rem 0.45rem 0.9rem;
  border-bottom: 1px solid var(--line); background: var(--surface);
  font: 500 0.82rem/1 var(--mono); color: var(--muted);
}
.sample .file { margin-right: auto; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0; }
.chip {
  font: 500 0.72rem/1 var(--mono); letter-spacing: 0.06em; text-transform: uppercase;
  padding: 0.3rem 0.5rem; border-radius: 99px; flex: none;
}
.chip.ok { background: var(--ok-soft); color: var(--ok); }
.chip.bad { background: var(--bad-soft); color: var(--bad); }
.copy {
  font: 500 0.78rem/1 var(--body); color: var(--muted); background: none;
  border: 1px solid var(--line); border-radius: 6px; padding: 0.3rem 0.55rem; cursor: pointer; flex: none;
}
.copy:hover { color: var(--ink); border-color: var(--muted); }
pre { margin: 0; font: 400 0.86rem/1.6 var(--mono); }
pre.code { padding: 0.9rem 1rem; overflow-x: auto; color: var(--code-ink); tab-size: 4; }
pre.code.plain { background: var(--code-bg); border: 1px solid var(--line); border-radius: 10px; }
.code .c { color: var(--c-comment); font-style: italic; }
.code .s { color: var(--c-string); }
.code .k { color: var(--c-keyword); font-weight: 500; }
.code .n { color: var(--c-number); }
.code .t { color: var(--mark); font-weight: 500; }
.code .d { color: var(--mark); }
.code .f { font-weight: 500; }
.result { border-top: 1px solid var(--line); }
.result .cmd { padding: 0.5rem 1rem 0; font: 400 0.8rem/1.4 var(--mono); color: var(--muted); }
.result pre { padding: 0.25rem 1rem 0.8rem; overflow-x: auto; white-space: pre-wrap; overflow-wrap: anywhere; }
.is-ok .result { background: color-mix(in srgb, var(--ok-soft) 55%, var(--code-bg)); }
.is-bad .result { background: color-mix(in srgb, var(--bad-soft) 60%, var(--code-bg)); }
.is-bad .result pre { color: var(--bad); }

/* home */
.home section { padding-block: clamp(2.5rem, 6vw, 4.5rem); }
.home section + section { border-top: 1px solid var(--line); }
.hero .wrap { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 6fr); gap: clamp(1.5rem, 4vw, 3.5rem); align-items: start; }
.hero-text { display: grid; gap: 1.3rem; padding-top: 0.5rem; }
.eyebrow { font: 500 0.8rem/1 var(--mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); }
.lede { font-size: 1.15rem; color: var(--muted); max-width: 34rem; }
.actions { display: flex; flex-wrap: wrap; gap: 0.7rem; }
.btn {
  display: inline-block; text-decoration: none; font-weight: 600; padding: 0.7rem 1.1rem; border-radius: 8px;
  border: 1px solid var(--accent); color: var(--accent);
}
.btn.primary { background: var(--accent); color: var(--surface); }
.btn:hover { filter: brightness(1.08); }
.hero-code { display: grid; gap: 1rem; min-width: 0; }
.section-head { display: grid; gap: 0.6rem; max-width: 44rem; margin-bottom: 2rem; }
.section-head p { color: var(--muted); font-size: 1.05rem; }
.pairs { display: grid; gap: 2.5rem; }
.pair { display: grid; grid-template-columns: minmax(0, 4fr) minmax(0, 7fr); gap: 1.5rem 2.5rem; align-items: start; }
.pair-text { display: grid; gap: 0.6rem; }
.pair-text p { color: var(--muted); }
.pair-code { display: grid; gap: 0.8rem; min-width: 0; }
.steps { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0.8rem; counter-reset: step; list-style: none; padding: 0; margin: 0; }
.steps li { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 1rem; display: grid; gap: 0.4rem; align-content: start; }
.steps li::before { counter-increment: step; content: counter(step); font: 500 0.8rem/1 var(--mono); color: var(--accent); }
.steps strong { font-family: var(--display); font-size: 1.05rem; }
.steps span { color: var(--muted); font-size: 0.95rem; }
.cols { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1.5rem 3rem; }
.cols ul { margin: 0.6rem 0 0; padding-left: 1.1rem; display: grid; gap: 0.4rem; color: var(--muted); }
.cols li::marker { color: var(--accent); }

/* documentation pages */
.doc {
  max-width: 72rem; margin: 0 auto; display: grid; grid-template-columns: 14rem minmax(0, 1fr); gap: 3rem;
  padding-block: 2.5rem;
  padding-left: max(16px, env(safe-area-inset-left, 0px));
  padding-right: max(16px, env(safe-area-inset-right, 0px));
}
.doc:not(:has(.toc)) { grid-template-columns: minmax(0, 1fr); }
.toc { position: sticky; top: calc(4.5rem + env(safe-area-inset-top, 0px)); align-self: start; display: grid; gap: 0.1rem; max-height: calc(100vh - 6rem); overflow-y: auto; }
.toc-title { font: 500 0.75rem/1 var(--mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); padding: 0 0.6rem 0.6rem; }
.toc a { text-decoration: none; color: var(--muted); font-size: 0.92rem; padding: 0.28rem 0.6rem; border-radius: 6px; }
.toc a:hover { color: var(--ink); background: var(--accent-soft); }
.content { min-width: 0; max-width: 46rem; display: grid; gap: 1.1rem; align-content: start; }
.content > h1 { margin-bottom: 0.3rem; }
.content > h2 { margin-top: 2rem; padding-top: 1.6rem; border-top: 1px solid var(--line); }
.content > h3 { margin-top: 0.8rem; }
.content .intro { font-size: 1.15rem; color: var(--muted); }
.content ul, .content ol { margin: 0; padding-left: 1.2rem; display: grid; gap: 0.45rem; }
.content li::marker { color: var(--accent); }
.note { border-left: 3px solid var(--mark); background: var(--surface); padding: 0.8rem 1rem; border-radius: 0 8px 8px 0; color: var(--muted); }
.note strong { color: var(--ink); }
.table { overflow-x: auto; border: 1px solid var(--line); border-radius: 10px; background: var(--surface); }
table { border-collapse: collapse; width: 100%; font-size: 0.93rem; }
th, td { text-align: left; padding: 0.55rem 0.8rem; border-bottom: 1px solid var(--line); vertical-align: top; }
th { font: 500 0.75rem/1.2 var(--mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--muted); }
tr:last-child td { border-bottom: 0; }
dl.faq { display: grid; gap: 1.4rem; margin: 0; }
dl.faq dt { font: 500 1.1rem/1.3 var(--display); }
dl.faq dd { margin: 0.4rem 0 0; color: var(--muted); display: grid; gap: 0.6rem; }

@media (max-width: 860px) {
  .hero .wrap, .pair, .cols { grid-template-columns: minmax(0, 1fr); }
  .steps { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .doc { grid-template-columns: minmax(0, 1fr); gap: 1.5rem; }
  .toc { position: static; max-height: none; grid-template-columns: repeat(auto-fill, minmax(11rem, 1fr)); border: 1px solid var(--line); border-radius: 10px; padding: 0.8rem 0.4rem; background: var(--surface); }
  .toc-title { grid-column: 1 / -1; }
}
@media (max-width: 480px) {
  .steps { grid-template-columns: minmax(0, 1fr); }
  .top .wrap { gap: 0.8rem; }
}