/*
  Attenix announcement page. Hand-written CSS, no build step.
  Colours derive from the brand palette in the engine repository (assets/brand/README.md).
*/

:root {
  color-scheme: light dark;

  --paper: #f4f5f8;
  --paper-raised: #ffffff;
  --ink: #0a1f4b;
  --ink-2: #3b4a6b;
  --ink-3: #5d6a86;
  --rule: #c7cedc;
  --rule-strong: #0a1f4b;
  --accent: #0b55c4;
  --accent-line: #0a74f0;
  --code-bg: #eaedf3;
  --corr-bg: #fbf3e2;
  --corr-rule: #b7791f;
  --corr-ink: #6b4508;

  --sans: "Segoe UI Variable Text", "Segoe UI", system-ui, -apple-system, "Helvetica Neue", Arial, sans-serif;
  --serif: Charter, "Bitstream Charter", "Sitka Text", Cambria, "Iowan Old Style", Georgia, serif;
  --mono: "Cascadia Mono", "SF Mono", ui-monospace, Menlo, Consolas, "Liberation Mono", monospace;

  --measure: 40rem;
  --gutter: 16px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --paper: #081427;
    --paper-raised: #0c1c35;
    --ink: #e6ebf5;
    --ink-2: #b3bdd2;
    --ink-3: #8f9bb6;
    --rule: #22324d;
    --rule-strong: #b3bdd2;
    --accent: #79b0ff;
    --accent-line: #3f93ff;
    --code-bg: #0f2240;
    --corr-bg: #2a200e;
    --corr-rule: #d69e2e;
    --corr-ink: #f3cf85;
  }
}

*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }

body {
  margin: 0;
  background-color: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 1.0625rem;
  line-height: 1.6;
  overflow-wrap: break-word;
  font-variant-numeric: lining-nums;
}

img, svg { max-width: 100%; height: auto; display: block; }

a { color: var(--accent); text-underline-offset: 0.18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--accent-line); outline-offset: 3px; border-radius: 2px; }

code, kbd, pre, .mono { font-family: var(--mono); font-size: 0.88em; }
code { overflow-wrap: anywhere; }

.skip {
  position: absolute; left: var(--gutter); top: -3rem;
  background: var(--ink); color: var(--paper); padding: 0.5rem 0.8rem;
  font-family: var(--sans); z-index: 10;
}
.skip:focus { top: 0.5rem; }

.wrap { max-width: 72rem; margin: 0 auto; padding: 0 var(--gutter); }

/* ---------- Header ---------- */

.site-head {
  border-bottom: 1px solid var(--rule);
  background: color-mix(in srgb, var(--paper) 88%, transparent);
}
.site-head .wrap {
  display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between;
  gap: 0.75rem 1.5rem; padding-top: 1rem; padding-bottom: 1rem;
}
.site-head .logo img { height: 34px; width: auto; }
.site-head nav ul {
  display: flex; flex-wrap: wrap; gap: 0.25rem 1.1rem; list-style: none; margin: 0; padding: 0;
  font-family: var(--mono); font-size: 0.8rem; letter-spacing: 0.02em;
}
.site-head nav a { color: var(--ink-2); text-decoration: none; }
.site-head nav a:hover { color: var(--ink); text-decoration: underline; }
/* Language switch: Dutch is the default page, English is en/index.html. The current language is marked, not only coloured. */
.lang-switch {
  display: flex; gap: 0.6rem; margin: 0;
  font-family: var(--mono); font-size: 0.8rem; letter-spacing: 0.02em;
}
.lang-switch a { color: var(--ink-2); text-decoration: none; padding: 0.1rem 0.2rem; }
.lang-switch a:hover { color: var(--ink); text-decoration: underline; }
.lang-switch a[aria-current="page"] { color: var(--ink); font-weight: 700; text-decoration: underline; text-underline-offset: 0.25em; }

/* ---------- Headings and text ---------- */

h1, h2, h3 { font-family: var(--sans); line-height: 1.15; letter-spacing: -0.015em; margin: 0; }
h1 { font-size: clamp(2.1rem, 1.3rem + 3.6vw, 3.9rem); font-weight: 650; max-width: 15ch; }
h2 { font-size: clamp(1.45rem, 1.1rem + 1.3vw, 2rem); font-weight: 620; margin-bottom: 1rem; }
h3 { font-size: 1.1rem; font-weight: 640; margin: 1.75rem 0 0.5rem; }
p { margin: 0 0 1rem; max-width: var(--measure); }
.lede { font-size: 1.2rem; line-height: 1.55; color: var(--ink-2); margin-top: 1.25rem; }

em.nl { font-style: italic; }

/* ---------- Hero ---------- */

.hero { padding: 3rem 0 2.5rem; border-bottom: 1px solid var(--rule); }
.hero .wrap { display: grid; grid-template-columns: minmax(0, 1fr); gap: 2rem 3.5rem; align-items: start; }
@media (min-width: 960px) {
  .hero { padding: 4.5rem 0 3.5rem; }
  .hero .wrap { grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr); }
  .hero .titleblock { align-self: end; }
}
.hero-text .lede { margin-bottom: 0; }

.status-line {
  display: inline-flex; align-items: center; gap: 0.55rem;
  font-family: var(--mono); font-size: 0.8rem; color: var(--ink-2);
  border: 1px solid var(--rule); padding: 0.3rem 0.65rem; margin: 0 0 1.5rem;
  background: var(--paper-raised);
}
.status-line::before {
  content: ""; width: 0.55rem; height: 0.55rem; border-radius: 50%;
  border: 2px solid var(--accent-line); background: linear-gradient(90deg, var(--accent-line) 50%, transparent 50%);
}

/* The title block, after the title block of a technical drawing. */
.titleblock {
  margin: 0; display: grid; grid-template-columns: max-content minmax(0, 1fr);
  border: 1.5px solid var(--rule-strong); background: var(--paper-raised);
  font-size: 0.9rem; max-width: 34rem;
}
.titleblock dt, .titleblock dd {
  margin: 0; padding: 0.45rem 0.75rem; border-top: 1px solid var(--rule);
}
.titleblock dt:first-of-type, .titleblock dt:first-of-type + dd { border-top: 0; }
.titleblock dt {
  font-family: var(--mono); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.06em;
  color: var(--ink-3); border-right: 1px solid var(--rule); padding-top: 0.6rem;
}
.titleblock dd { font-family: var(--sans); }

/* ---------- Hero screenshot ---------- */

.hero-shot { margin: 0.5rem 0 0; grid-column: 1 / -1; }
.hero-shot img { width: 100%; border: 1px solid var(--rule); background: var(--paper-raised); }
.hero-shot figcaption { font-size: 0.88rem; color: var(--ink-2); margin-top: 0.75rem; max-width: 52rem; }

/* ---------- Sections with a margin column ---------- */

.section { padding: 3.25rem 0; border-bottom: 1px solid var(--rule); position: relative; }
.section .wrap { display: grid; grid-template-columns: minmax(0, 1fr); gap: 1.25rem; }
@media (min-width: 960px) {
  .section { padding: 4.5rem 0; }
  .section .wrap { grid-template-columns: 13rem minmax(0, 1fr); gap: 3rem; }
}

/* The margin note carries the citation of what the section is about. */
.margin {
  font-family: var(--mono); font-size: 0.76rem; line-height: 1.5; color: var(--ink-3);
  border-top: 1.5px solid var(--rule-strong); padding-top: 0.6rem; align-self: start;
}
.margin span { display: block; }
@media (min-width: 960px) { .margin { position: sticky; top: 1.5rem; } }

/* ---------- Module table ---------- */

.table-scroll { overflow-x: auto; margin: 1.5rem 0 0.5rem; }
table { border-collapse: collapse; width: 100%; font-size: 0.93rem; font-family: var(--sans); }
caption { text-align: left; font-family: var(--mono); font-size: 0.76rem; color: var(--ink-3); padding-bottom: 0.5rem; }
th, td { text-align: left; vertical-align: top; padding: 0.7rem 0.9rem 0.7rem 0; border-bottom: 1px solid var(--rule); }
thead th {
  font-family: var(--mono); font-weight: 500; font-size: 0.72rem; text-transform: uppercase;
  letter-spacing: 0.06em; color: var(--ink-3); border-bottom: 1.5px solid var(--rule-strong);
}
td:first-child { white-space: nowrap; }
tr.group td { padding-top: 1.2rem; }
.state { font-family: var(--mono); font-size: 0.8rem; white-space: nowrap; }
.state::before { display: inline-block; width: 1.2em; }
.state-available::before { content: "●"; color: var(--accent-line); }
.state-progress::before { content: "◐"; color: var(--accent-line); }
.state-planned::before { content: "○"; color: var(--ink-3); }
.state-proposal::before { content: "◇"; color: var(--accent-line); }

@media (max-width: 640px) {
  /* Stack the table rows on narrow screens instead of scrolling sideways. */
  table, thead, tbody, tr, th, td, caption { display: block; }
  thead { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
  tr { border-bottom: 1px solid var(--rule); padding: 0.7rem 0; }
  td { border: 0; padding: 0.1rem 0; white-space: normal !important; }
  td:first-child { font-weight: 600; }
  td[data-label]:not(:first-child)::before { content: attr(data-label) ": "; color: var(--ink-2); }
}

/* ---------- Trace: source text to result ---------- */

.trace { list-style: none; margin: 2rem 0 0; padding: 0; counter-reset: step; }
.trace > li {
  position: relative; padding: 0 0 2.25rem 2.75rem; counter-increment: step;
}
.trace > li::before {
  content: counter(step); position: absolute; left: 0; top: 0.05rem;
  width: 1.75rem; height: 1.75rem; border-radius: 50%;
  border: 1.5px solid var(--ink); background: var(--paper);
  font-family: var(--mono); font-size: 0.8rem; line-height: 1.6rem; text-align: center;
}
.trace > li::after {
  content: ""; position: absolute; left: calc(0.875rem - 0.75px); top: 1.9rem; bottom: 0.2rem;
  border-left: 1.5px dashed var(--ink-3);
}
.trace > li:last-child { padding-bottom: 0; }
.trace > li:last-child::after { display: none; }
.trace h3 { margin: 0 0 0.35rem; }
.trace .where { font-family: var(--mono); font-size: 0.8rem; color: var(--ink-3); margin: 0 0 0.75rem; }

.eq {
  margin: 0 0 1rem; padding: 0.9rem 1.1rem; background: var(--paper-raised);
  border: 1px solid var(--rule); border-left: 3px solid var(--ink);
  font-family: var(--mono); font-size: 0.92rem; line-height: 1.75; overflow-x: auto;
  max-width: var(--measure);
}
.eq .row { display: block; white-space: pre; }
.eq mark { background: none; color: inherit; outline: 1.5px solid var(--corr-rule); outline-offset: 1px; border-radius: 1px; }

/* An interpretation entry as the register shows it; the correction colours set it apart from the source text. */
.entry {
  margin: 0 0 1rem; padding: 0.9rem 1.1rem; max-width: var(--measure);
  background: var(--corr-bg); border-left: 3px solid var(--corr-rule); font-size: 0.95rem;
}
.entry-title { font-family: var(--sans); font-weight: 640; margin: 0 0 0.6rem; }
.entry dl, .manifest {
  display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 0.35rem 1rem; margin: 0;
}
.entry dt, .manifest dt {
  font-family: var(--mono); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.06em;
  color: var(--ink-2); padding-top: 0.2rem;
}
.entry dd, .manifest dd { margin: 0; }
.entry dd strong { color: var(--corr-ink); font-family: var(--sans); }
@media (max-width: 480px) {
  .entry dl, .manifest { grid-template-columns: minmax(0, 1fr); gap: 0; }
  .entry dd, .manifest dd { margin-bottom: 0.5rem; }
}
.manifest {
  max-width: var(--measure); padding: 0.9rem 1.1rem; margin: 0 0 1rem;
  background: var(--paper-raised); border: 1px solid var(--rule); font-family: var(--sans); font-size: 0.93rem;
}
.trace .table-scroll { margin: 0.5rem 0 1rem; max-width: var(--measure); }
.doc-table { font-size: 0.86rem; }
.doc-table td:first-child { white-space: normal; }
.doc-table td.id, time { white-space: nowrap; }

/* ---------- Definition lists with bold lead-ins ---------- */

.facts { margin: 1.5rem 0 0; padding: 0; list-style: none; max-width: 44rem; }
.facts li { padding: 0.85rem 0; border-top: 1px solid var(--rule); }
.facts li:last-child { border-bottom: 1px solid var(--rule); }
.facts strong { font-family: var(--sans); }
.facts .seen { display: block; margin-top: 0.4rem; font-size: 0.9rem; color: var(--ink-2); }
.facts .seen::before { content: "→ "; content: "→ " / ""; font-family: var(--mono); color: var(--accent-line); }
.note { font-size: 0.88rem; color: var(--ink-2); max-width: 44rem; margin-top: 0.75rem; }
.facts + .table-scroll { margin-top: 1.5rem; }

pre.shell {
  margin: 1rem 0 1rem; padding: 0.9rem 1.1rem; background: var(--code-bg); border: 1px solid var(--rule);
  font-size: 0.84rem; line-height: 1.6; overflow-x: auto; max-width: 44rem;
}
pre.shell code { font-size: inherit; overflow-wrap: normal; }
.prompt { color: var(--ink-3); user-select: none; }

/* ---------- Studio ---------- */

.studio-logo img { height: 42px; width: auto; margin-bottom: 1.5rem; }
.screenshot { margin: 1.5rem 0; max-width: 56rem; }
.screenshot img { width: 100%; border: 1px solid var(--rule); }
.screenshot figcaption { font-size: 0.88rem; color: var(--ink-2); margin-top: 0.75rem; max-width: 44rem; }

/* ---------- Audiences ---------- */

.audience {
  list-style: none; margin: 1.75rem 0 0; padding: 0; display: grid; gap: 1rem;
  grid-template-columns: minmax(0, 1fr); max-width: 56rem;
}
@media (min-width: 760px) { .audience { grid-template-columns: repeat(3, minmax(0, 1fr)); } }
.audience li {
  padding: 1rem 1.1rem; background: var(--paper-raised); border: 1px solid var(--rule);
  border-top: 3px solid var(--rule-strong);
}
.audience h3 { margin: 0 0 0.5rem; font-size: 1rem; }
.audience p { margin: 0; font-size: 0.95rem; }

/* ---------- Studio walkthrough ---------- */

.walk { list-style: none; margin: 2rem 0 0; padding: 0; counter-reset: walk; max-width: 56rem; }
.walk > li > p { max-width: 44rem; }
.walk > li {
  position: relative; padding: 0 0 2rem 2.75rem; counter-increment: walk;
}
.walk > li::before {
  content: counter(walk); position: absolute; left: 0; top: 0.05rem;
  width: 1.75rem; height: 1.75rem; border-radius: 50%;
  border: 1.5px solid var(--ink); background: var(--paper);
  font-family: var(--mono); font-size: 0.8rem; line-height: 1.6rem; text-align: center;
}
.walk > li::after {
  content: ""; position: absolute; left: calc(0.875rem - 0.75px); top: 1.9rem; bottom: 0.2rem;
  border-left: 1.5px dashed var(--ink-3);
}
.walk > li:last-child { padding-bottom: 0; }
.walk > li:last-child::after { display: none; }
.walk h3 { margin: 0 0 0.35rem; }
.walk .walk-state { font-family: var(--mono); font-size: 0.8rem; color: var(--ink-2); margin: 0 0 0.6rem; }
.walk .walk-state .state { margin-right: 0.25rem; }
.walk p:last-child { margin-bottom: 0; }
.walk .screenshot { margin: 1rem 0 0; }
.walk .screenshot figcaption { margin-top: 0.5rem; }

/* ---------- Contact ---------- */

.contact .wrap { align-items: start; }
.cta {
  display: inline-flex; align-items: center; gap: 0.6rem; margin-top: 0.5rem;
  padding: 0.8rem 1.25rem; border: 1.5px solid var(--ink); background: var(--ink); color: var(--paper);
  font-family: var(--sans); font-weight: 600; text-decoration: none;
}
.cta:hover { background: transparent; color: var(--ink); }
.cta::after { content: "→"; font-family: var(--mono); }

/* ---------- Footer ---------- */

.site-foot { padding: 2.5rem 0 3rem; font-size: 0.85rem; color: var(--ink-2); }
.site-foot p { max-width: 52rem; margin-bottom: 0.6rem; }
.site-foot .mono { color: var(--ink-3); }

@media print {
  body { background: #fff; }
  .site-head nav, .skip { display: none; }
  .section, .hero { break-inside: avoid; }
}
