/* ─────────────────────────────────────────────────────────────
   formaliz.ing: a Victorian journal, printed on an iron press.
   ───────────────────────────────────────────────────────────── */

/* ── Faces (self-hosted; see scripts/fonts.sh and fonts/OFL-*.txt) ── */

@font-face { font-family: "EB Garamond"; src: url("fonts/EBGaramond.woff2") format("woff2"); font-weight: 400 800; font-style: normal; font-display: swap; }
@font-face { font-family: "EB Garamond"; src: url("fonts/EBGaramond-Italic.woff2") format("woff2"); font-weight: 400 800; font-style: italic; font-display: swap; }
@font-face { font-family: "IM Fell English"; src: url("fonts/IMFellEnglish.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "IM Fell English"; src: url("fonts/IMFellEnglish-Italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "IM Fell English SC"; src: url("fonts/IMFellEnglishSC.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("fonts/JetBrainsMono.woff2") format("woff2"); font-weight: 100 800; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("fonts/JetBrainsMono-Italic.woff2") format("woff2"); font-weight: 100 800; font-style: italic; font-display: swap; }

:root {
  --paper: #f2ead8;
  --paper-deep: #e7dbc0;
  --ink: #241d15;
  --ink-soft: #4b4034;
  --faded: #7d6d57;
  --rule: #2c2721;
  --accent: #7b2318;      /* oxblood */
  --brass: #8a6a2e;
  --verdigris: #3d6a5c;
  --code-bg: #eadfc6;
  --plate: #e2d3b0;
  --selection: #dcc48f;
  --grain-opacity: 0.35;

  --serif: "EB Garamond", "Garamond", "Iowan Old Style", Georgia, serif;
  --fell: "IM Fell English", "EB Garamond", Georgia, serif;
  --fell-sc: "IM Fell English SC", "EB Garamond", Georgia, serif;
  --mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
  --measure: 36rem;

  color-scheme: light;
}

/* Gaslight. */
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #16140f;
    --paper-deep: #1f1b14;
    --ink: #e6dbc1;
    --ink-soft: #cdbf9f;
    --faded: #978769;
    --rule: #b79b63;
    --accent: #d98a6a;
    --brass: #c9a45c;
    --verdigris: #83b6a4;
    --code-bg: #201c15;
    --plate: #2a2419;
    --selection: #5a4a2a;
    --grain-opacity: 0.18;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #16140f;
  --paper-deep: #1f1b14;
  --ink: #e6dbc1;
  --ink-soft: #cdbf9f;
  --faded: #978769;
  --rule: #b79b63;
  --accent: #d98a6a;
  --brass: #c9a45c;
  --verdigris: #83b6a4;
  --code-bg: #201c15;
  --plate: #2a2419;
  --selection: #5a4a2a;
  --grain-opacity: 0.18;
  color-scheme: dark;
}

/* Heather: the same press, a different ink. */
body.heather { --accent: #6d3a63; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) body.heather { --accent: #c99ac0; }
}
:root[data-theme="dark"] body.heather { --accent: #c99ac0; }

/* ── Paper ─────────────────────────────────────────────────── */

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

html {
  font-size: 20px;
  -webkit-text-size-adjust: 100%;
}
@media (max-width: 40rem) { html { font-size: 18px; } }

body {
  margin: 0;
  background-color: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  line-height: 1.5;
  font-variant-numeric: oldstyle-nums proportional-nums;
  font-kerning: normal;
  font-feature-settings: "liga", "kern";
  text-rendering: optimizeLegibility;
  hanging-punctuation: first;
}

/* Fibre and grain, faint enough to feel rather than see. */
body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: -1;
  opacity: var(--grain-opacity);
  background-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='240' height='240'><filter id='n'><feTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='3' stitchTiles='stitch'/><feColorMatrix values='0 0 0 0 0.45 0 0 0 0 0.36 0 0 0 0 0.22 0 0 0 0.22 0'/></filter><rect width='100%' height='100%' filter='url(%23n)'/></svg>");
}

::selection { background: var(--selection); }

.sheet {
  max-width: calc(var(--measure) + 8rem);
  margin: 0 auto;
  padding: 1.5rem 1rem 3rem;
}
main { max-width: var(--measure); margin: 0 auto; }

a {
  color: inherit;
  text-decoration-line: underline;
  text-decoration-color: color-mix(in srgb, var(--accent) 55%, transparent);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
}
a:hover { color: var(--accent); text-decoration-color: var(--accent); }

/* ── Masthead ──────────────────────────────────────────────── */

.masthead { text-align: center; margin-bottom: 2.5rem; }

/* Thick-over-thin rule, as on a newspaper's front page. */
.rule-heavy {
  height: 6px;
  border-top: 3px solid var(--rule);
  border-bottom: 1px solid var(--rule);
}
.rule-heavy.flip {
  border-top-width: 1px;
  border-bottom-width: 3px;
}

.masthead-meta {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.3rem 0.1rem;
  border-bottom: 1px solid var(--rule);
  font-size: 0.85rem;
  letter-spacing: 0.1em;
  font-variant-caps: all-small-caps;
  font-variant-numeric: lining-nums;
  color: var(--ink-soft);
}

.masthead-title {
  margin: 1.1rem 0 0.2rem;
  font-family: var(--fell-sc);
  font-size: clamp(2.3rem, 9vw, 3.6rem);
  font-weight: normal;
  line-height: 1;
  letter-spacing: 0.03em;
}
.masthead-title a { text-decoration: none; }
.masthead-title a:hover { color: inherit; }

.masthead-subtitle {
  margin: 0.4rem auto 0.9rem;
  max-width: 30rem;
  font-family: var(--fell);
  font-style: italic;
  font-size: 0.95rem;
  color: var(--ink-soft);
  text-wrap: balance;
}

.masthead-nav {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  align-items: baseline;
  gap: 0.2rem 0.7rem;
  padding: 0.35rem 0;
  border-top: 1px solid var(--rule);
  font-variant: small-caps;
  letter-spacing: 0.08em;
  font-size: 1.05rem;
}
.masthead-nav a { text-decoration: none; }
.masthead-nav .sep { color: var(--brass); font-weight: 700; }

/* ── Entry heads ───────────────────────────────────────────── */

.entry-head, .section-head { text-align: center; margin-bottom: 2rem; }

/* A riveted brass maker's plate. */
.plate {
  display: inline-flex;
  gap: 0.9em;
  padding: 0.3em 1.5em;
  border: 1px solid var(--brass);
  outline: 1px solid color-mix(in srgb, var(--brass) 45%, transparent);
  outline-offset: 2px;
  background-color: var(--plate);
  background-image:
    radial-gradient(circle at 0.55em 50%, var(--brass) 0.13em, transparent 0.17em),
    radial-gradient(circle at calc(100% - 0.55em) 50%, var(--brass) 0.13em, transparent 0.17em);
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.2em;
  text-transform: uppercase;
  text-decoration: none;
  color: var(--ink-soft);
}
.plate:hover { color: var(--accent); }
.plate-no { color: var(--accent); font-weight: 600; }

.stamp {
  display: inline-block;
  margin-left: 0.6rem;
  padding: 0.05em 0.5em;
  border: 2px solid var(--accent);
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.62rem;
  font-weight: 600;
  letter-spacing: 0.25em;
  text-transform: uppercase;
  transform: rotate(-4deg);
  vertical-align: middle;
  opacity: 0.85;
}

.entry-title, .section-title {
  margin: 0.9rem 0 0.4rem;
  font-family: var(--fell);
  font-weight: normal;
  font-size: clamp(1.8rem, 6vw, 2.4rem);
  line-height: 1.15;
  text-wrap: balance;
}

.entry-meta {
  margin: 0;
  font-size: 0.85rem;
  font-style: italic;
  color: var(--faded);
}
.sep { margin: 0 0.45em; }

.epistemic {
  max-width: 30rem;
  margin: 1.2rem auto 0;
  padding: 0.6rem 0;
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  font-size: 0.9rem;
  font-style: italic;
  text-align: left;
}
.epistemic .label {
  font-style: normal;
  font-variant: small-caps;
  letter-spacing: 0.06em;
  color: var(--accent);
}

.section-desc {
  margin: 0.3rem auto 0;
  max-width: 30rem;
  font-style: italic;
  color: var(--ink-soft);
}
.section-kicker {
  margin: 0;
  font-variant: small-caps;
  letter-spacing: 0.08em;
}

/* ── Contents ──────────────────────────────────────────────── */

.toc {
  margin: 0 auto 2rem;
  padding: 0.8rem 1.2rem 0.9rem;
  border: 3px double var(--rule);
  max-width: 28rem;
  font-size: 0.92rem;
}
.toc-title {
  margin: 0 0 0.4rem;
  text-align: center;
  font-variant: small-caps;
  letter-spacing: 0.12em;
}
.toc ol { list-style: none; margin: 0; padding: 0; }
.toc li { margin: 0.1rem 0; }
.toc a { text-decoration: none; }
.toc .toc-l3 { padding-left: 1.2rem; }
.toc .toc-l4 { padding-left: 2.4rem; font-size: 0.95em; }

/* ── Body copy ─────────────────────────────────────────────── */

.entry-body { hyphens: auto; }
.entry-body p { margin: 0 0 1em; }
.entry-body > p { text-align: justify; }

.dropcap .entry-body > p:first-of-type::first-letter {
  float: left;
  margin: 0.08em 0.1em 0 0;
  font-family: var(--fell);
  font-size: 3.55em;
  line-height: 0.8;
  color: var(--accent);
}

.entry-body h2, .entry-body h3, .entry-body h4 {
  position: relative;
  font-weight: normal;
  line-height: 1.25;
  margin: 2em 0 0.6em;
}
.entry-body h2 {
  font-size: 1.35rem;
  font-variant: small-caps;
  letter-spacing: 0.05em;
  text-align: center;
}
.entry-body h3 { font-size: 1.15rem; font-style: italic; }
.entry-body h4 { font-size: 1rem; font-variant: small-caps; letter-spacing: 0.05em; }

.anchor {
  position: absolute;
  left: -1.3rem;
  color: var(--brass);
  text-decoration: none;
  opacity: 0;
  transition: opacity 0.15s;
}
.entry-body h2 .anchor { position: static; margin-right: 0.35em; }
:is(h2, h3, h4):hover > .anchor, .anchor:focus { opacity: 1; }

.entry-body ul, .entry-body ol { padding-left: 1.5em; margin: 0 0 1em; }
.entry-body li { margin: 0.2em 0; }
.entry-body li::marker { color: var(--brass); }
.entry-body li:has(> input[type="checkbox"]) { list-style: none; margin-left: -1.2em; }
.entry-body input[type="checkbox"] { accent-color: var(--accent); margin-right: 0.4em; }
.entry-body dt { font-variant: small-caps; letter-spacing: 0.04em; }
.entry-body dd { margin: 0 0 0.6em 1.5em; }

blockquote {
  margin: 1.2em 0;
  padding: 0.1em 0 0.1em 1.2em;
  border-left: 3px double var(--brass);
  color: var(--ink-soft);
}

/* Section break: an asterism in place of a rule. */
hr {
  border: 0;
  margin: 2em 0;
  text-align: center;
  line-height: 1;
}
hr::before {
  content: "*\A*\2009*";
  white-space: pre;
  display: inline-block;
  line-height: 0.5;
  padding-top: 0.25em;
  color: var(--brass);
  font-size: 2.1rem;
}

img, video { max-width: 100%; height: auto; }

table {
  margin: 1.5em auto;
  border-collapse: collapse;
  border-top: 2px solid var(--rule);
  border-bottom: 2px solid var(--rule);
  font-variant-numeric: lining-nums tabular-nums;
  font-size: 0.92rem;
  display: block;
  overflow-x: auto;
  max-width: 100%;
  width: fit-content;
}
th { border-bottom: 1px solid var(--rule); font-weight: normal; font-variant: small-caps; letter-spacing: 0.04em; }
th, td { padding: 0.3em 0.8em; text-align: left; }

/* ── Math ──────────────────────────────────────────────────── */

.math.display { display: block; margin: 1em 0; }
mjx-container[display="true"] {
  overflow-x: auto;
  overflow-y: hidden;
  max-width: 100%;
  padding: 0.1em 0;
}

/* ── Code ──────────────────────────────────────────────────── */

code, pre { font-family: var(--mono); font-variant-ligatures: none; }
:not(pre) > code {
  font-size: 0.8em;
  padding: 0.08em 0.3em;
  background: var(--code-bg);
  border-radius: 2px;
}
pre.code {
  position: relative;
  margin: 1.4em 0;
  padding: 1rem 1.1rem;
  overflow-x: auto;
  background: var(--code-bg);
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  font-size: 0.72rem;
  line-height: 1.55;
  tab-size: 4;
}
pre.code[data-lang]::before {
  content: attr(data-lang);
  position: absolute;
  top: 0.25rem;
  right: 0.5rem;
  font-size: 0.55rem;
  letter-spacing: 0.2em;
  text-transform: uppercase;
  color: var(--faded);
}

.hl-comment { color: var(--faded); font-style: italic; }
.hl-keyword, .hl-storage { color: var(--accent); }
.hl-string { color: var(--verdigris); }
.hl-constant, .hl-support { color: var(--brass); }
.hl-entity.hl-name { color: var(--ink); font-weight: 600; }
.hl-invalid { text-decoration: underline wavy var(--accent); }

/* ── Footnotes ─────────────────────────────────────────────
   At the foot by default; footnotes.js moves them into the margin
   on wide screens, or shows them as popovers on narrow ones. */

.footnote-ref {
  font-size: 0.68em;
  line-height: 0;
  font-variant-numeric: lining-nums;
}
.footnote-ref a {
  padding: 0 0.12em;
  color: var(--accent);
  text-decoration: none;
  border-radius: 2px;
}
.footnote-ref a.lit { background: color-mix(in srgb, var(--selection) 60%, transparent); }

.footnotes {
  margin-top: 3rem;
  padding-top: 0.5rem;
  border-top: 1px solid var(--rule);
  font-size: 0.85rem;
}
.footnote-list { list-style: none; margin: 0; padding: 0; }
.footnote { display: flex; gap: 0.6em; margin: 0.45em 0; }
.footnote:target { background: color-mix(in srgb, var(--selection) 40%, transparent); }
.footnote-label {
  flex: none;
  min-width: 1.2em;
  color: var(--accent);
  font-variant-numeric: lining-nums;
}
.footnote-body { min-width: 0; }
.footnote-body > :first-child { margin-top: 0; }
.footnote-body > :last-child { margin-bottom: 0; }
.footnote-body p { margin: 0 0 0.5em; text-align: left; }
.footnote-body pre.code { font-size: 0.9em; margin: 0.6em 0; }
.footnote-backref { text-decoration: none; color: var(--brass); }

/* Sidenotes: the sheet widens to hold a right-hand margin column. */
:root { --gutter: 2.5rem; --margin-col: 14rem; }

@media (min-width: 1120px) {
  .sheet.with-margin {
    max-width: calc(var(--measure) + var(--gutter) + var(--margin-col) + 2rem);
  }
  .sheet.with-margin main,
  .sheet.with-margin .colophon { margin-left: 0; }
}

.sidenotes-on { position: relative; }
.sidenotes-on .footnotes { display: none; }
.sidenote-column {
  position: absolute;
  top: 0;
  left: calc(100% + var(--gutter));
  width: var(--margin-col);
}
.sidenote {
  position: absolute;
  left: 0;
  right: 0;
  padding-left: 0.6rem;
  border-left: 1px solid color-mix(in srgb, var(--brass) 50%, transparent);
  font-size: 0.78rem;
  line-height: 1.4;
  color: var(--ink-soft);
  hyphens: auto;
  transition: background-color 0.3s, border-color 0.3s;
}
.sidenote .footnote-body p { margin: 0 0 0.4em; }
.sidenote .footnote-backref,
.footnote-popover .footnote-backref { display: none; }
.sidenote-label {
  float: left;
  margin-right: 0.35em;
  color: var(--accent);
  font-variant-numeric: lining-nums;
}
a.sidenote-label { text-decoration: none; }
.sidenote.lit { border-left-color: var(--accent); }
.sidenote.flash { animation: sidenote-flash 1.2s ease-out; }
@keyframes sidenote-flash {
  from { background-color: color-mix(in srgb, var(--selection) 70%, transparent); }
  to { background-color: transparent; }
}

.footnote-popover {
  position: absolute;
  z-index: 10;
  width: min(22rem, calc(100vw - 32px));
  max-height: 60vh;
  overflow-y: auto;
  padding: 0.6rem 0.8rem;
  background: var(--paper);
  border: 1px solid var(--rule);
  outline: 1px solid color-mix(in srgb, var(--rule) 35%, transparent);
  outline-offset: 2px;
  box-shadow: 0 6px 20px rgb(0 0 0 / 0.18);
  font-size: 0.82rem;
  line-height: 1.4;
  color: var(--ink);
}
.footnote-popover .footnote-body p { margin: 0 0 0.4em; }

/* ── Ledgers (listings) ────────────────────────────────────── */

.rubric {
  margin: 3rem 0 1rem;
  text-align: center;
  font-weight: normal;
  font-size: 1.1rem;
  font-variant: small-caps;
  letter-spacing: 0.14em;
}
.rubric::before, .rubric::after { content: "—"; color: var(--brass); margin: 0 0.6em; }

.ledger { list-style: none; margin: 0; padding: 0; }
.ledger li { margin: 0 0 0.9rem; }
.ledger-line { display: flex; align-items: baseline; gap: 0.6rem; }
.ledger-no {
  flex: none;
  min-width: 3.4rem;
  font-family: var(--mono);
  font-size: 0.6rem;
  letter-spacing: 0.15em;
  text-transform: uppercase;
  color: var(--brass);
}
.ledger-title { text-decoration: none; font-size: 1.05rem; }
.ledger-draft {
  font-family: var(--mono);
  font-size: 0.55rem;
  letter-spacing: 0.15em;
  text-transform: uppercase;
  color: var(--accent);
}
.leader {
  flex: 1 1 1.5rem;
  min-width: 1.5rem;
  border-bottom: 1px dotted var(--faded);
  transform: translateY(-0.3em);
}
.ledger time {
  flex: none;
  font-size: 0.85rem;
  font-style: italic;
  color: var(--faded);
}
.ledger-desc {
  margin: 0.1rem 0 0 4rem;
  font-size: 0.88rem;
  font-style: italic;
  color: var(--ink-soft);
}
@media (max-width: 30rem) {
  .ledger-line { flex-wrap: wrap; }
  .leader { display: none; }
  .ledger time { width: 100%; padding-left: 4rem; }
}

.subject-index { columns: 2 12rem; padding: 0; list-style: none; }
.subject-index li { break-inside: avoid; margin: 0 0 0.3rem; }
.subject-index .count { color: var(--faded); font-size: 0.85em; }

.empty { text-align: center; font-style: italic; color: var(--faded); }

/* ── Entry foot ────────────────────────────────────────────── */

.entry-foot { margin-top: 2.5rem; }
.filed { font-style: italic; color: var(--ink-soft); font-size: 0.92rem; }
.prevnext {
  display: flex;
  justify-content: space-between;
  gap: 1.5rem;
  padding-top: 0.8rem;
  border-top: 1px solid var(--rule);
}
.prevnext a { text-decoration: none; max-width: 48%; }
.prevnext .next { text-align: right; margin-left: auto; }
.prevnext .dir {
  display: block;
  font-variant: small-caps;
  letter-spacing: 0.08em;
  font-size: 0.8rem;
  color: var(--brass);
}

/* ── Colophon ──────────────────────────────────────────────── */

.colophon {
  max-width: var(--measure);
  margin: 4rem auto 0;
  text-align: center;
  font-size: 0.8rem;
  color: var(--faded);
}
.colophon p { margin: 0.3rem 0; }
.ornament { font-size: 1.4rem; color: var(--brass); }
.theme-toggle {
  font: inherit;
  color: inherit;
  background: none;
  border: 0;
  padding: 0;
  cursor: pointer;
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--accent) 55%, transparent);
  text-underline-offset: 0.18em;
}
.theme-toggle:hover { color: var(--accent); }

/* ── Compact masthead (entries and pages) ──────────────────── */
/* A running head: the full title block is for the front page and indexes. */

.masthead.compact { margin-bottom: 2rem; }
.masthead.compact .masthead-meta,
.masthead.compact .masthead-subtitle { display: none; }
.masthead.compact .masthead-body {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: baseline;
  gap: 0.2rem 1.5rem;
  padding: 0.45rem 0.1rem 0.35rem;
}
.masthead.compact .masthead-title {
  margin: 0;
  font-size: 1.45rem;
}
.masthead.compact .masthead-nav {
  border-top: 0;
  padding: 0;
  font-size: 0.95rem;
  gap: 0.2rem 0.55rem;
}
@media (max-width: 34rem) {
  .masthead.compact .masthead-body { justify-content: center; }
}

/* Justification on a narrow measure opens rivers; set ragged-right instead. */
@media (max-width: 34rem) {
  .entry-body > p { text-align: left; }
}