/* avenic-site tokens — mirrors the surface discipline: categorical-never-continuous,
   attestation rendered monochrome/structural, verdict content never tinted by decoration.
   Zero JS anywhere on this site; this file is the entire presentation layer. */
:root {
  --ink: #1a1d21;
  --paper: #fdfdfc;
  --muted: #5a616b;
  --rule: #d8dce1;
  --accent: #1f4e8c;      /* links + structure only — never a verdict signal */
  --mono-bg: #f4f5f6;
  --boundary-bg: #f8f6ef; /* the honesty panel: parchment, set apart, never alarming */
  --max: 46rem;
}
* { box-sizing: border-box; }
body {
  margin: 0; color: var(--ink); background: var(--paper);
  font: 17px/1.6 ui-serif, Georgia, serif;
}
header, main, footer { max-width: var(--max); margin: 0 auto; padding: 0 1.25rem; }
header { padding-top: 2.5rem; }
nav { font-family: ui-sans-serif, system-ui, sans-serif; font-size: .95rem; }
nav a { margin-right: 1.1rem; color: var(--accent); text-decoration: none; }
nav a:hover { text-decoration: underline; }
h1, h2, h3 { font-family: ui-sans-serif, system-ui, sans-serif; line-height: 1.25; }
h1 { font-size: 2rem; margin: 2.2rem 0 .6rem; }
h2 { font-size: 1.3rem; margin-top: 2.4rem; }
.tagline { font-size: 1.18rem; color: var(--muted); margin-top: 0; }
a { color: var(--accent); }
code, pre { font-family: ui-monospace, Consolas, monospace; font-size: .88em; }
pre {
  background: var(--mono-bg); border: 1px solid var(--rule); border-radius: 4px;
  padding: .9rem 1rem; overflow-x: auto;
}
table { border-collapse: collapse; width: 100%; margin: 1rem 0; font-family: ui-sans-serif, system-ui, sans-serif; font-size: .95rem; }
th, td { text-align: left; padding: .45rem .6rem; border-bottom: 1px solid var(--rule); }
.boundary {
  background: var(--boundary-bg); border: 1px solid var(--rule); border-radius: 4px;
  padding: 1rem 1.25rem; margin: 1.6rem 0;
}
.boundary h3 { margin: .2rem 0 .5rem; font-size: 1rem; }
.boundary ul { margin: .4rem 0 .2rem 1.2rem; padding: 0; }
.method { font-family: ui-monospace, Consolas, monospace; font-weight: 600; }
.muted { color: var(--muted); }
footer {
  margin-top: 4rem; padding: 1.5rem 1.25rem 2.5rem; border-top: 1px solid var(--rule);
  font-family: ui-sans-serif, system-ui, sans-serif; font-size: .85rem; color: var(--muted);
}