:root {
  --ink: #0d0d0c;
  --gray: #5b5953;
  --paper: #f4f3ef;
  --white: #ffffff;
  --rule: 2px solid var(--ink);
  --sans: "Inter", ui-sans-serif, system-ui, sans-serif;
  --display: "Archivo Black", "Inter", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, Menlo, monospace;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  background: var(--white);
  color: var(--ink);
  font-family: var(--sans);
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--ink); }
a:hover { text-decoration-thickness: 2px; }
.wrap { max-width: 56rem; margin: 0 auto; padding: 2.5rem 1.25rem 4rem; }
header { border-bottom: var(--rule); padding-bottom: 1.25rem; margin-bottom: 2rem; }
header .mark {
  font-family: var(--display);
  font-weight: 400;
  font-size: 1.05rem;
  letter-spacing: 0.02em;
  text-transform: uppercase;
  margin: 0 0 0.35rem;
}
header .sub {
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--gray);
  margin: 0;
}
nav.pages {
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  margin: 0.85rem 0 0;
  display: flex;
  gap: 1.1rem;
  flex-wrap: wrap;
}
nav.pages a { text-decoration: none; border-bottom: 2px solid transparent; }
nav.pages a:hover, nav.pages a.here { border-bottom-color: var(--ink); }
nav.pages a.here { font-weight: 600; }
h1 {
  font-family: var(--display);
  font-weight: 400;
  font-size: 1.7rem;
  line-height: 1.15;
  margin: 0 0 0.75rem;
}
h2 {
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  font-weight: 500;
  color: var(--gray);
  border-top: var(--rule);
  padding-top: 1.5rem;
  margin: 2.25rem 0 1rem;
}
h3 { font-size: 1.02rem; font-weight: 600; margin: 1.4rem 0 0.5rem; }
p { margin: 0 0 0.85rem; }
.lede { font-size: 1.05rem; font-weight: 600; margin: 0 0 1.25rem; }
.focal {
  border: 2.5px solid var(--ink);
  box-shadow: 4px 4px 0 var(--ink);
  padding: 1.1rem 1.25rem;
  margin: 0 0 1.75rem;
}
.focal .lab, .card .tag, .refute .lab, .note .lab {
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--gray);
  margin: 0 0 0.55rem;
  display: block;
}
.focal p:last-child, .card > p:last-child, .refute p:last-child { margin: 0; }
.files { margin: 0.7rem 0 0; padding: 0; list-style: none; }
.files li { margin: 0 0 0.35rem; font-family: var(--mono); font-size: 0.82rem; }
p.files { font-family: var(--mono); font-size: 0.78rem; line-height: 1.7; }
p.files code { font-size: 0.72rem; word-break: break-all; }
ol { margin: 0 0 1rem; padding-left: 1.2rem; }
ol li { margin: 0 0 0.7rem; }
dl.spec { display: grid; grid-template-columns: 10.5rem 1fr; gap: 0.45rem 1.1rem; margin: 0 0 1.25rem; }
dl.spec dt {
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--gray);
  padding-top: 0.15rem;
}
dl.spec dd { margin: 0; }
.doors { margin: 0 0 1.25rem; padding: 0; list-style: none; }
.doors li { padding: 0.7rem 0; border-bottom: 1px solid #ddd; }
.doors li:last-child { border-bottom: 0; }
.doors a { font-weight: 600; }
.card {
  border: 2.5px solid var(--ink);
  padding: 1rem 1.15rem;
  margin: 0 0 1.6rem;
}
/* The hard shadow is the one focal claim on a page, never apparatus. */
.card.lead { box-shadow: 4px 4px 0 var(--ink); margin-bottom: 2.25rem; }
.card h3 { margin-top: 0; }
/* How a finding is known, said before it says anything else. Filled is a finite
   computation anyone can rerun, outlined is derived on paper, dashed depends on
   a board or a sample. A grey run-on tag did not survive skimming. */
.kinds {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.4rem;
  margin: 0 0 0.75rem;
}
.kinds .num {
  font-family: var(--display);
  font-size: 0.95rem;
  line-height: 1;
  padding: 0.22rem 0.4rem 0.18rem;
  border: 1.5px solid var(--ink);
}
.kind {
  font-family: var(--mono);
  font-size: 0.63rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  padding: 0.26rem 0.45rem 0.22rem;
  border: 1.5px solid var(--ink);
  white-space: nowrap;
}
.kind.exact { background: var(--ink); color: var(--white); }
.kind.derived { background: var(--white); color: var(--ink); }
.kind.measured { background: var(--paper); color: var(--gray); border-style: dashed; }
.legend { margin: 0 0 1.75rem; }
.legend dl { display: grid; grid-template-columns: auto 1fr; gap: 0.5rem 0.7rem; margin: 0.6rem 0 0; }
.legend dt { margin: 0; }
.legend dd { margin: 0; font-size: 0.92rem; }
@media (max-width: 719px) {
  .kind { white-space: normal; }
  .legend dl { grid-template-columns: 1fr; gap: 0.15rem 0; }
  .legend dd { padding-bottom: 0.5rem; }
}
.eq, pre {
  font-family: var(--mono);
  font-size: 0.8rem;
  background: var(--paper);
  border-left: 3px solid var(--ink);
  padding: 0.7rem 0.9rem;
  overflow-x: auto;
  margin: 0 0 1rem;
}
pre { border: 1.5px solid var(--ink); border-left: 3px solid var(--ink); }
code { font-family: var(--mono); font-size: 0.82rem; }
table.nums { width: 100%; border-collapse: collapse; margin: 0 0 1.1rem; font-size: 0.9rem; }
table.nums th, table.nums td {
  border-bottom: 1px solid #ddd;
  padding: 0.4rem 0.35rem;
  text-align: left;
  vertical-align: top;
}
table.nums th {
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  font-weight: 500;
  color: var(--gray);
}
table.nums td.n, table.nums th.n { text-align: right; font-family: var(--mono); font-size: 0.82rem; }
.refute, .note {
  background: var(--paper);
  border: 1.5px solid var(--ink);
  padding: 0.7rem 0.9rem;
  margin: 0 0 1.1rem;
}
details {
  border: 1.5px solid var(--ink);
  background: var(--paper);
  padding: 0.7rem 0.9rem;
  margin: 0.55rem 0 0;
}
details summary {
  font-family: var(--mono);
  font-size: 0.7rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  cursor: pointer;
}
details[open] summary { margin-bottom: 0.65rem; }
.fig { width: 100%; height: auto; border: 2px solid var(--ink); margin: 0 0 0.5rem; background: #fff; }
.cap {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--gray);
  margin: 0 0 1.4rem;
}
.moved {
  background: var(--paper);
  border: 1.5px solid var(--ink);
  padding: 0.75rem 0.95rem;
  margin: 0 0 1.25rem;
}
footer {
  margin-top: 2.5rem;
  padding-top: 1.25rem;
  border-top: var(--rule);
  font-size: 0.92rem;
  color: var(--gray);
}
footer a { color: var(--ink); }
label { margin-right: 0.8rem; }
input, select, button {
  font-family: var(--mono);
  font-size: 0.85rem;
  border: 1.5px solid var(--ink);
  background: #fff;
  padding: 0.25rem 0.4rem;
}
button { cursor: pointer; font-weight: 600; }
@media (max-width: 719px) {
  .focal, .card.lead { box-shadow: none; }
  dl.spec { grid-template-columns: 1fr; gap: 0.15rem 0; }
  dl.spec dt { padding-top: 0.55rem; }
}