/* ==========================================================================
   The Counting World — The Complete Record
   "Laboratory ledger": university-press monograph typography, receipts in
   monospace, corrections kept visible, tick-marks (counting) as ornament.
   ========================================================================== */

@font-face { font-family: "Literata"; src: url("../vendor/fonts/literata-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Literata"; src: url("../vendor/fonts/literata-latin-400-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "Literata"; src: url("../vendor/fonts/literata-latin-600-normal.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Literata"; src: url("../vendor/fonts/literata-latin-700-normal.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("../vendor/fonts/jetbrains-mono-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("../vendor/fonts/jetbrains-mono-latin-700-normal.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }

:root {
  --serif: "Literata", "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --mono: "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;

  --paper: #f6f1e7;          /* warm laid paper */
  --paper-high: #fcf9f2;     /* panels, drawers */
  --paper-dim: #ece5d6;      /* wells, code blocks */
  --ink: #26221c;
  --ink-soft: #5c554a;
  --ink-faint: #8d8577;
  --rule: #cfc5b0;
  --rule-strong: #a2967d;
  --accent: #8c3021;         /* oxblood — receipts, corrections, emphasis */
  --accent-ink: #fff6ee;
  --verified: #2f5d3a;       /* stamp green */
  --link: #305d7a;
  --mark: #f3d98b;
  --shadow: 0 18px 50px -18px rgba(38, 30, 18, .45);
  --tick: rgba(38, 34, 28, .28);
  --masthead-h: 3.25rem;
}
:root[data-theme="dark"] {
  --paper: #1c1915;
  --paper-high: #262119;
  --paper-dim: #14120e;
  --ink: #e9e2d2;
  --ink-soft: #b3a892;
  --ink-faint: #7d7461;
  --rule: #3d372c;
  --rule-strong: #5c5340;
  --accent: #d4694f;
  --accent-ink: #211008;
  --verified: #7fb98a;
  --link: #8fb6cf;
  --mark: #6b5a23;
  --shadow: 0 18px 50px -12px rgba(0, 0, 0, .65);
  --tick: rgba(233, 226, 210, .25);
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--masthead-h) + 1.5rem); }
body {
  margin: 0;
  font: 400 1.0625rem/1.72 var(--serif);
  color: var(--ink);
  background:
    radial-gradient(140% 90% at 50% 0%, rgba(255, 255, 255, .05), transparent 60%),
    var(--paper);
  text-rendering: optimizeLegibility;
  font-feature-settings: "onum" 1, "pnum" 1;
}
.skip { position: absolute; left: -999px; top: 0; background: var(--accent); color: var(--accent-ink); padding: .5rem 1rem; z-index: 99; }
.skip:focus { left: .5rem; }

/* ---- tick-mark ruler ornament: counting as decoration ------------------ */
.tp-rule, .part > h1::after {
  display: block; height: 11px; margin: 1.1rem 0;
  background:
    repeating-linear-gradient(90deg, var(--tick) 0 1px, transparent 1px 8px) left top / 100% 6px no-repeat,
    repeating-linear-gradient(90deg, var(--tick) 0 1px, transparent 1px 40px) left top / 100% 11px no-repeat;
  content: "";
}

/* ---- masthead ----------------------------------------------------------- */
.masthead {
  position: fixed; inset: 0 0 auto 0; height: var(--masthead-h); z-index: 40;
  display: flex; align-items: center; gap: .9rem; padding: 0 .9rem;
  background: color-mix(in srgb, var(--paper) 88%, transparent);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--rule);
}
.masthead-title { font: 600 .95rem/1 var(--serif); letter-spacing: .02em; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.mast-sep { color: var(--accent); }
.mast-sub { font-style: italic; font-weight: 400; color: var(--ink-soft); }
.masthead-tools { margin-left: auto; display: flex; align-items: center; gap: .55rem; }
#search {
  font: 400 .8rem/1 var(--mono); color: var(--ink);
  background: var(--paper-dim); border: 1px solid var(--rule);
  border-radius: 2px; padding: .42rem .6rem; width: 15rem; max-width: 34vw;
}
#search:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
.tool-link { font: 400 .78rem/1 var(--mono); color: var(--link); text-decoration: none; border: 1px solid var(--rule); padding: .42rem .55rem; border-radius: 2px; }
.tool-link:hover { border-color: var(--link); }
#theme-toggle, #nav-toggle, #drawer-close {
  font: inherit; cursor: pointer; color: var(--ink);
  background: transparent; border: 1px solid var(--rule); border-radius: 2px;
  padding: .3rem .55rem; line-height: 1;
}
#theme-toggle:hover, #nav-toggle:hover, #drawer-close:hover { border-color: var(--accent); color: var(--accent); }
.ruler { position: absolute; left: 0; right: 0; bottom: -1px; height: 3px; background: transparent; }
.ruler-fill { height: 100%; width: 0; background: var(--accent); transition: width .1s linear; }

/* ---- table of contents rail -------------------------------------------- */
#toc {
  position: fixed; top: var(--masthead-h); bottom: 0; left: 0; width: 21rem; z-index: 30;
  transform: translateX(-100%); transition: transform .28s cubic-bezier(.2, .8, .2, 1);
  background: var(--paper-high); border-right: 1px solid var(--rule);
}
#toc.open { transform: none; box-shadow: var(--shadow); }
.toc-inner { height: 100%; overflow-y: auto; padding: 1.1rem 1.2rem 3rem; }
.nav-h {
  font: 700 .68rem/1 var(--mono); letter-spacing: .18em; text-transform: uppercase;
  color: var(--ink-faint); margin: 1.4rem 0 .5rem; border-bottom: 1px solid var(--rule); padding-bottom: .35rem;
}
.nav-parts, .nav-subs, .nav-exps { list-style: none; margin: 0; padding: 0; }
.nav-part { margin: .15rem 0; }
.nav-part > a { font: 600 .82rem/1.4 var(--serif); color: var(--ink); text-decoration: none; display: block; padding: .28rem .4rem; border-radius: 2px; }
.nav-subs { margin: 0 0 .4rem .55rem; border-left: 1px solid var(--rule); }
.nav-subs a { font: 400 .76rem/1.45 var(--serif); color: var(--ink-soft); text-decoration: none; display: block; padding: .16rem .55rem; }
.nav-part > a:hover, .nav-subs a:hover { background: var(--paper-dim); color: var(--accent); }
.nav-subs a.here { color: var(--accent); border-left: 2px solid var(--accent); margin-left: -1.5px; }
.nav-exps { display: grid; gap: 2px; }
.chip-plain {
  font: 400 .72rem/1.5 var(--mono); color: var(--ink-soft); background: transparent;
  border: 0; cursor: pointer; text-align: left; padding: .12rem .4rem; border-radius: 2px; width: 100%;
}
.chip-plain:hover { background: var(--paper-dim); color: var(--accent); }

/* ---- main column -------------------------------------------------------- */
main { max-width: 47.5rem; margin: 0 auto; padding: calc(var(--masthead-h) + 2.2rem) 1.4rem 5rem; }
@media (min-width: 88rem) { main { margin-left: max(24rem, calc(50vw - 23.75rem - 6rem)); } #toc { transform: none; box-shadow: none; } #nav-toggle { display: none; } }

.titlepage { text-align: center; margin: 2.5rem 0 4rem; }
.tp-kicker { font: 400 .78rem/1 var(--mono); letter-spacing: .22em; text-transform: uppercase; color: var(--ink-faint); }
.tp-title { font: 700 clamp(2.6rem, 7vw, 4.2rem)/1.05 var(--serif); margin: .8rem 0 .2rem; letter-spacing: -.01em; }
.tp-subtitle { font: 400 italic 1.35rem/1.3 var(--serif); font-style: italic; color: var(--ink-soft); }
.tp-authors { font: 600 1rem/1 var(--serif); margin-top: 1.6rem; letter-spacing: .04em; }
.tp-meta { font: 400 .8rem/1.7 var(--mono); color: var(--ink-soft); margin-top: 1rem; }
.tp-stamp {
  display: inline-block; margin-top: 1.2rem; padding: .5rem .95rem;
  font: 700 .72rem/1 var(--mono); letter-spacing: .14em;
  color: var(--verified); border: 2px solid var(--verified); border-radius: 3px;
  transform: rotate(-1.6deg); opacity: .92;
}
.tp-note { max-width: 34rem; margin: 1.8rem auto 0; font-size: .95rem; color: var(--ink-soft); text-align: left; }

/* ---- scholarly text ------------------------------------------------------ */
.part { margin: 0 0 3.6rem; }
.part > h1 {
  font: 700 1.75rem/1.25 var(--serif); letter-spacing: .01em;
  margin: 3.2rem 0 .4rem; color: var(--ink);
}
h2 { font: 600 1.28rem/1.35 var(--serif); margin: 2.6rem 0 .8rem; }
h3 { font: 600 1.08rem/1.4 var(--serif); margin: 2rem 0 .6rem; }
p { margin: .85rem 0; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
em { font-style: italic; }
strong { font-weight: 600; }
blockquote { margin: 1.2rem 0; padding: .2rem 1.2rem; border-left: 3px solid var(--accent); color: var(--ink-soft); font-style: italic; }
hr { border: 0; height: 6px; margin: 2.4rem 0; background: repeating-linear-gradient(90deg, var(--tick) 0 1px, transparent 1px 8px) left center / 100% 6px no-repeat; }
code { font: 400 .86em/1.5 var(--mono); background: var(--paper-dim); padding: .1em .3em; border-radius: 2px; }
pre { background: var(--paper-dim); border: 1px solid var(--rule); border-radius: 3px; padding: .9rem 1rem; overflow-x: auto; }
pre code { background: transparent; padding: 0; }
ul, ol { padding-left: 1.5rem; }
li { margin: .3rem 0; }
mark { background: var(--mark); color: inherit; padding: 0 .15em; }

.table-scroll { overflow-x: auto; margin: 1.2rem 0; border: 1px solid var(--rule); border-radius: 3px; }
table { border-collapse: collapse; font-size: .86rem; line-height: 1.5; min-width: 100%; }
th { font: 700 .72rem/1.4 var(--mono); letter-spacing: .05em; text-transform: uppercase; color: var(--ink-soft); text-align: left; }
th, td { padding: .5rem .7rem; border-bottom: 1px solid var(--rule); vertical-align: top; }
tbody tr:last-child td { border-bottom: 0; }
tbody tr:hover { background: color-mix(in srgb, var(--paper-dim) 55%, transparent); }

img { max-width: 100%; height: auto; }
.part p > img { display: block; margin: 1.4rem auto; border: 1px solid var(--rule); border-radius: 3px; background: #fff; cursor: zoom-in; box-shadow: 0 6px 24px -14px rgba(38, 30, 18, .4); }
:root[data-theme="dark"] .part p > img { border-color: var(--rule-strong); }

/* ---- receipt chips ------------------------------------------------------- */
.chips { display: flex; flex-wrap: wrap; gap: .4rem; margin: .3rem 0 1.1rem; align-items: center; }
.chips::before { content: attr(data-label) " ›"; font: 400 .68rem/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-faint); }
.chip {
  font: 400 .72rem/1 var(--mono); cursor: pointer;
  color: var(--accent); background: transparent;
  border: 1px solid color-mix(in srgb, var(--accent) 55%, transparent);
  border-radius: 2px; padding: .34rem .5rem;
  transition: background .15s, color .15s;
}
.chip:hover { background: var(--accent); color: var(--accent-ink); }
.chip-badge { color: var(--verified); font-weight: 700; }
.chip:hover .chip-badge { color: inherit; }
.chip-demo { pointer-events: none; display: inline-block; padding: .12rem .4rem; }
.chip svg { width: .7em; height: .7em; fill: currentColor; }

/* ---- receipt drawer ------------------------------------------------------ */
#drawer-veil { position: fixed; inset: 0; z-index: 48; background: rgba(20, 16, 10, .45); }
#drawer {
  position: fixed; top: 0; right: 0; bottom: 0; z-index: 50;
  width: min(46rem, 96vw);
  background: var(--paper-high);
  border-left: 1px solid var(--rule-strong); box-shadow: var(--shadow);
  display: flex; flex-direction: column;
  animation: drawer-in .25s cubic-bezier(.2, .8, .25, 1);
}
@keyframes drawer-in { from { transform: translateX(30px); opacity: 0; } }
.drawer-head {
  display: flex; align-items: center; justify-content: space-between; gap: 1rem;
  padding: .9rem 1.2rem .6rem;
  border-bottom: 1px dashed var(--rule-strong);  /* the receipt perforation */
}
.drawer-title { font: 700 .95rem/1.3 var(--mono); }
.drawer-stamp { padding: .45rem 1.2rem 0; font: 400 .72rem/1.6 var(--mono); color: var(--ink-soft); }
.drawer-stamp .ok { color: var(--verified); font-weight: 700; }
.drawer-tabs { display: flex; gap: .25rem; padding: .7rem 1.2rem 0; border-bottom: 1px solid var(--rule); }
.drawer-tabs button {
  font: 400 .78rem/1 var(--mono); cursor: pointer; color: var(--ink-soft);
  background: transparent; border: 1px solid transparent; border-bottom: 0;
  padding: .5rem .8rem; border-radius: 3px 3px 0 0;
}
.drawer-tabs button.on { color: var(--accent); border-color: var(--rule); background: var(--paper); font-weight: 700; }
.drawer-body { flex: 1; overflow: auto; padding: 1rem 1.2rem 2rem; background: var(--paper); }
.drawer-body pre { margin: 0; font-size: .78rem; line-height: 1.55; border: 0; background: transparent; padding: 0; }
.drawer-body .codewrap { background: var(--paper-dim); border: 1px solid var(--rule); border-radius: 3px; padding: 1rem; overflow: auto; }
.drawer-body img { border: 1px solid var(--rule); border-radius: 3px; background: #fff; }
.drawer-actions { display: flex; gap: .5rem; margin: 0 0 .8rem; flex-wrap: wrap; }
.btn {
  font: 700 .76rem/1 var(--mono); cursor: pointer; letter-spacing: .04em;
  color: var(--accent-ink); background: var(--accent);
  border: 1px solid var(--accent); border-radius: 2px; padding: .55rem .9rem;
}
.btn[disabled] { opacity: .5; cursor: default; }
.btn.ghost { background: transparent; color: var(--accent); }
.run-log { font: 400 .76rem/1.55 var(--mono); white-space: pre-wrap; background: var(--paper-dim); border: 1px solid var(--rule); border-radius: 3px; padding: .9rem; min-height: 3rem; max-height: 22rem; overflow: auto; }
.run-status { font: 400 .75rem/1.5 var(--mono); color: var(--ink-soft); margin: .5rem 0; }
.run-status .ok { color: var(--verified); font-weight: 700; }
.run-status .warn { color: var(--accent); font-weight: 700; }
.verify-table td, .verify-table th { font-size: .74rem; font-family: var(--mono); }
.v-ok { color: var(--verified); font-weight: 700; }
.v-warn { color: var(--accent); font-weight: 700; }

/* syntax highlighting */
.hl-kw { color: var(--accent); font-weight: 700; }
.hl-str { color: var(--verified); }
.hl-com { color: var(--ink-faint); font-style: italic; }
.hl-num { color: var(--link); }
.hl-blt { color: var(--link); }
.hl-op { color: var(--ink-soft); }

/* ---- lightbox ------------------------------------------------------------ */
#lightbox {
  position: fixed; inset: 0; z-index: 60; cursor: zoom-out;
  display: flex; flex-direction: column; align-items: center; justify-content: center; gap: .8rem;
  background: rgba(16, 13, 8, .88); padding: 2rem;
}
#lightbox img { max-width: 94vw; max-height: 86vh; border-radius: 3px; background: #fff; }
.lb-cap { font: 400 .8rem/1.4 var(--mono); color: #e9e2d2; }

/* ---- search results ------------------------------------------------------ */
#search-results {
  position: fixed; top: calc(var(--masthead-h) + .4rem); right: .9rem; z-index: 45;
  width: min(30rem, 92vw); max-height: 60vh; overflow: auto;
  background: var(--paper-high); border: 1px solid var(--rule-strong); border-radius: 3px; box-shadow: var(--shadow);
}
.sr-item { display: block; width: 100%; text-align: left; padding: .6rem .8rem; cursor: pointer; background: transparent; border: 0; border-bottom: 1px solid var(--rule); color: var(--ink); font: 400 .8rem/1.5 var(--serif); }
.sr-item:hover { background: var(--paper-dim); }
.sr-where { font: 700 .64rem/1 var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--accent); display: block; margin-bottom: .2rem; }
.sr-none { padding: .8rem; font: 400 .8rem/1.4 var(--mono); color: var(--ink-soft); }

/* ---- archaeology explorer ------------------------------------------------ */
.explorer { margin: 2.4rem 0; border: 1px solid var(--rule-strong); border-radius: 4px; background: var(--paper-high); padding: 1.2rem 1.2rem 1.6rem; }
.explorer-head { font: 700 .8rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase; color: var(--accent); margin-bottom: .8rem; }
.explorer-sub { font: 400 .85rem/1.6 var(--serif); font-style: italic; color: var(--ink-soft); margin-bottom: 1rem; }
.x-filters { display: flex; flex-wrap: wrap; gap: .4rem; margin-bottom: 1rem; }
.x-filters select, .x-filters input {
  font: 400 .76rem/1.3 var(--mono); color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule); border-radius: 2px; padding: .4rem .5rem;
}
.x-count { font: 400 .72rem/2.1 var(--mono); color: var(--ink-faint); margin-left: auto; }
.x-claim { border: 1px solid var(--rule); border-radius: 3px; margin: .45rem 0; background: var(--paper); }
.x-claim summary { cursor: pointer; padding: .6rem .8rem; display: flex; gap: .6rem; align-items: baseline; list-style: none; }
.x-claim summary::-webkit-details-marker { display: none; }
.x-claim summary:hover { background: var(--paper-dim); }
.x-verdict { flex-shrink: 0; font: 700 .62rem/1.5 var(--mono); letter-spacing: .08em; padding: .1rem .4rem; border-radius: 2px; border: 1px solid currentColor; }
.x-claim-text { font: 400 .85rem/1.55 var(--serif); }
.x-detail { padding: .2rem .9rem .9rem; border-top: 1px dashed var(--rule); font-size: .85rem; }
.x-detail dt { font: 700 .64rem/2 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-faint); }
.x-detail dd { margin: 0 0 .6rem; }
.x-doc-head { font: 600 .95rem/1.4 var(--serif); margin: 1.4rem 0 .3rem; }
.x-intent { font-style: italic; color: var(--ink-soft); font-size: .85rem; }

/* founding docs */
.fd-doc { border: 1px solid var(--rule); border-radius: 3px; margin: .5rem 0; background: var(--paper-high); }
.fd-doc > summary { cursor: pointer; padding: .7rem .9rem; font: 600 .9rem/1.4 var(--serif); list-style: none; display: flex; gap: .7rem; align-items: baseline; }
.fd-doc > summary::-webkit-details-marker { display: none; }
.fd-doc > summary:hover { background: var(--paper-dim); }
.fd-path { font: 400 .68rem/1 var(--mono); color: var(--ink-faint); }
.fd-body { padding: .4rem 1.1rem 1.2rem; border-top: 1px dashed var(--rule); }
.fd-body h1 { font-size: 1.4rem; }
.fd-group-h { font: 700 .72rem/1 var(--mono); letter-spacing: .16em; text-transform: uppercase; color: var(--ink-faint); margin: 1.6rem 0 .6rem; }

/* ---- colophon, print ----------------------------------------------------- */
.colophon { margin-top: 4rem; font-size: .85rem; color: var(--ink-soft); text-align: center; }
@media print {
  .masthead, #toc, #drawer, #drawer-veil, .chips, #search-results, #lightbox { display: none !important; }
  main { margin: 0; max-width: none; padding-top: 0; }
  body { background: #fff; color: #000; }
}
@media (max-width: 40rem) {
  #search { width: 8.5rem; }
  main { padding-left: 1rem; padding-right: 1rem; }
  body { font-size: 1rem; }
}