/* ═══ Fonts (self-hosted, variable) ═══════════════════════════
   Download and place in static/fonts/:
   - Fraunces: github.com/undercasetype/Fraunces/tree/master/fonts/variable
     (.ttf) — preferably converted to .woff2 (smaller). Convert with fonttools:
       pip install fonttools brotli
       fonttools ttLib.woff2 compress "Fraunces[SOFT,WONK,opsz,wght].ttf"
   - JetBrains Mono: github.com/JetBrains/JetBrainsMono (woff2 in releases)
   Switch to .ttf + format('truetype-variations') if you don't convert.
   Make sure the filenames below match the actual files.
   ────────────────────────────────────────────────────────────── */
@font-face {
  font-family: 'Fraunces';
  font-style: normal;
  font-weight: 300 600;
  font-display: swap;
  src: url('/fonts/Fraunces%5BSOFT%2CWONK%2Copsz%2Cwght%5D.woff2') format('woff2-variations');
}
@font-face {
  font-family: 'Fraunces';
  font-style: italic;
  font-weight: 300 600;
  font-display: swap;
  src: url('/fonts/Fraunces-Italic%5BSOFT%2CWONK%2Copsz%2Cwght%5D.woff2') format('woff2-variations');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400 500;
  font-display: swap;
  src: url('/fonts/JetBrainsMono%5Bwght%5D.woff2') format('woff2-variations');
}

/* Colour tokens mirror system-spec v.1.5.1 § 06 (Farger). Keep in sync
   with 05-latex-system/quorum-colors.sty — web and PDF share one palette. */
:root {
  --bg: #EFEAE0;
  --paper: #F5F1E8;
  --paper-2: #EAE4D5;
  --ink: #1A1815;
  --ink-2: #3A3832;
  /* Ink 3 carries metadata — labels, footer, dates — always at 12px.
     WCAG AA needs 4.5:1 for small text. #5A5853 gives 5.9:1 on --bg.
     The spec's pre-1.5.1 value #6F6D67 gave 4.3:1 and failed; it is
     retired, not an alternative. See system-spec, "Kontrast-regelen". */
  --ink-3: #5A5853;
  --rule: rgba(26, 24, 21, 0.18);
  --rule-soft: rgba(26, 24, 21, 0.08);
  --seal: #6B1F1F;
  --focus-ring: rgba(26, 24, 21, 0.55);
  --serif: 'Fraunces', Georgia, 'Times New Roman', serif;
  --mono: 'JetBrains Mono', ui-monospace, 'SF Mono', Menlo, monospace;
  --sans: system-ui, -apple-system, 'Segoe UI', sans-serif;
}

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

html, body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

.page {
  max-width: 780px;
  margin: 0 auto;
  padding: 0 48px;
}

.header {
  position: sticky;
  top: 0;
  z-index: 30;
  background: rgba(239, 234, 224, 0.92);
  backdrop-filter: saturate(140%) blur(8px);
  -webkit-backdrop-filter: saturate(140%) blur(8px);
  border-bottom: 0.5px solid var(--rule);
}

.header-inner {
  max-width: 780px;
  margin: 0 auto;
  padding: 22px 48px;
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 24px;
}

.logo {
  display: flex;
  align-items: baseline;
}
.logo-kicker { margin-left: 8px; }

.hero-eyebrow {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.22em;
  text-transform: lowercase;
  margin: 0 0 32px;
  display: inline-flex;
  align-items: center;
  gap: 14px;
}
.hero-eyebrow::before {
  content: "";
  width: 28px;
  height: 1px;
  background: var(--ink-3);
  flex: 0 0 auto;
}

.logo-name {
  font-family: var(--serif);
  font-size: 22px;
  font-weight: 400;
  letter-spacing: -0.01em;
  color: var(--ink);
  font-variation-settings: 'opsz' 60, 'SOFT' 30;
}

.logo-geq {
  font-family: var(--mono);
  font-weight: 400;
  font-size: 13.75px;
  line-height: 1;
  color: var(--ink);
  align-self: baseline;
  margin-left: 0.32em;
}

.logo-kicker, .values, .label-mono, .quote-attr {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.22em;
}

.logo-kicker {
  text-transform: lowercase;
}

.values {
  text-transform: uppercase;
  text-align: right;
}
.values-sep {
  margin: 0 0.5em;
  color: var(--ink-3);
}

main {
  padding: 0;
}

.hero {
  padding: 72px 0 48px;
}

.promises {
  display: flex;
  flex-direction: column;
  gap: 28px;
}

.promise {
  font-family: var(--serif);
  font-size: 32px;
  color: var(--ink);
  line-height: 1.2;
  letter-spacing: -0.015em;
  font-weight: 400;
  font-variation-settings: 'opsz' 96, 'SOFT' 30;
  display: flex;
  align-items: baseline;
  gap: 0.45em;
}

.promise::before {
  content: "≥" / "";
  font-family: var(--mono);
  font-weight: 400;
  color: var(--seal);
  font-size: 0.625em;
  line-height: 1;
  letter-spacing: 0;
  flex-shrink: 0;
  align-self: center;
  transform: translateY(-0.05em);
}

.bridge {
  padding: 0 0 56px;
}

.bridge-line {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.18em;
  text-transform: uppercase;
  margin: 0;
}

.bridge-line + .bridge-line {
  margin-top: 8px;
}

.quote-block {
  padding-bottom: 56px;
}

.quote-inner {
  padding-top: 20px;
}

.quote {
  font-family: var(--serif);
  font-size: 19px;
  line-height: 1.5;
  color: var(--ink);
  font-weight: 400;
  letter-spacing: -0.005em;
  margin: 0 0 14px;
  font-variation-settings: 'opsz' 18;
}

.quote-second {
  margin-top: 56px;
}

.quote-attr {
  letter-spacing: 0.18em;
}

/* ── Skriv (post list) ────────────────────────────────────── */
.skriv {
  padding: 24px 0 56px;
}
.skriv-all-page {
  padding-top: 24px;
}
.skriv-empty {
  font-family: var(--serif);
  font-size: 18px;
  color: var(--ink-3);
  font-variation-settings: 'opsz' 14, 'SOFT' 0;
}
.skriv-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  padding-top: 8px;
  margin-bottom: 24px;
  gap: 14px;
}
.skriv-title {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.22em;
  text-transform: lowercase;
  display: inline-flex;
  align-items: center;
  gap: 14px;
}
.skriv-title::before {
  content: "";
  width: 28px;
  height: 1px;
  background: var(--ink-3);
  flex: 0 0 auto;
}
.skriv-feed {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.22em;
  text-transform: lowercase;
  text-decoration: none;
  border-bottom: 0.5px solid transparent;
  transition: color .2s, border-color .2s;
}
.skriv-feed:hover {
  color: var(--ink);
  border-bottom-color: var(--ink-3);
}
.skriv-list {
  list-style: none;
  margin: 0;
  padding: 0;
}
.skriv-item {
  display: flex;
  align-items: baseline;
  gap: 20px;
  padding: 10px 0;
}
.skriv-date {
  flex: 0 0 92px;
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.04em;
}
.skriv-link {
  font-family: var(--serif);
  font-size: 19px;
  line-height: 1.35;
  color: var(--ink);
  text-decoration: none;
  letter-spacing: -0.005em;
  font-variation-settings: 'opsz' 18;
  border-bottom: 0.5px solid transparent;
  transition: color .2s, border-color .2s;
}
.skriv-link:hover {
  color: var(--seal);
  border-bottom-color: var(--rule);
}

.footer {
  padding: 32px 0 36px;
  border-top: 0.5px solid var(--rule);
  font-family: var(--sans);
  font-size: 13px;
  color: var(--ink);
  display: flex;
  align-items: center;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 14px;
}

.footer-legal {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.04em;
  display: inline-flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 0 10px;
}
.footer-sep {
  color: var(--ink-3);
}
.footer-legal a {
  color: var(--ink-3);
  text-decoration: none;
  border-bottom: 0.5px solid transparent;
  transition: border-color .2s, color .2s;
}
.footer-legal a:hover {
  color: var(--ink);
  border-bottom-color: var(--ink-3);
}
a:focus-visible {
  outline: 1px solid var(--focus-ring);
  outline-offset: 3px;
}
.footer-legal a:focus-visible {
  color: var(--ink);
}
.sr-only {
  position: absolute;
  width: 1px; height: 1px;
  padding: 0; margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

/* ── Formula signature (|Q| ≥ N/2 + 1) ───────────────────── */
.formula {
  font-family: var(--mono);
  font-weight: 400;
  display: inline-flex;
  align-items: center;
  gap: 0.4em;
  line-height: 1;
  white-space: nowrap;
  font-size: 11px;
  color: var(--seal);
  letter-spacing: 0.02em;
}
.formula .frac {
  display: inline-flex;
  flex-direction: column;
  align-items: center;
  line-height: 1;
  vertical-align: middle;
  margin: 0 0.15em;
  position: relative;
  top: -0.05em;
}
.formula .frac .num,
.formula .frac .den {
  font-size: 0.62em;
  line-height: 1.05;
  padding: 0 0.22em;
}
.formula .frac .num {
  border-bottom: 0.5px solid currentColor;
  padding-bottom: 0.06em;
  margin-bottom: 0.06em;
}

@media (max-width: 640px) {
  .page {
    padding: 0 24px;
  }
  .header-inner {
    padding: 18px 24px;
    flex-direction: column;
    align-items: flex-start;
    gap: 16px;
  }
  .values {
    display: block;
    text-align: left;
    font-size: 10px;
    letter-spacing: 0.18em;
    line-height: 1.6;
  }
  .hero {
    padding: 64px 0 32px;
  }
  .bridge {
    padding: 0 0 40px;
  }
  .quote-block {
    padding-bottom: 40px;
  }
  .promise {
    font-size: clamp(32px, 9vw, 44px);
    line-height: 1.15;
  }
  .quote {
    font-size: 17px;
  }
  .footer {
    padding: 28px 0 32px;
    flex-direction: column;
    gap: 16px;
    text-align: center;
  }
  .footer-legal {
    justify-content: center;
    gap: 6px 10px;
  }
  .footer-docs {
    display: none;
  }
}

/* ═══ SKRIV PAGE (single post) ═════════════════════════════ */

.back {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.18em;
  text-transform: uppercase;
  text-decoration: none;
  border-bottom: 0.5px solid transparent;
  transition: color .2s, border-color .2s;
}
.back:hover { color: var(--ink); border-bottom-color: var(--ink-3); }

/* ── Article ──────────────────────────────────────────────── */
article {
  padding: 56px 0 72px;
}

.doc-effective {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.04em;
  margin: 0 0 32px;
}
.post-meta {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-3);
  letter-spacing: 0.1em;
  margin: 0 0 18px;
  display: flex;
  gap: 10px;
  align-items: baseline;
  flex-wrap: wrap;
}
.post-meta-upd {
  letter-spacing: 0.04em;
  opacity: 0.75;
}

.post-title {
  font-family: var(--serif);
  font-size: 40px;
  font-weight: 400;
  line-height: 1.12;
  letter-spacing: -0.018em;
  color: var(--ink);
  margin: 0 0 40px;
  font-variation-settings: 'opsz' 96, 'SOFT' 30;
}

article p {
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.7;
  color: var(--ink);
  margin: 0 0 1.3em;
  font-variation-settings: 'opsz' 14, 'SOFT' 0;
}

article h2 {
  font-family: var(--serif);
  font-size: 26px;
  font-weight: 400;
  line-height: 1.2;
  letter-spacing: -0.012em;
  color: var(--ink);
  margin: 1.8em 0 0.5em;
  font-variation-settings: 'opsz' 60, 'SOFT' 30;
}

article h3 {
  font-family: var(--serif);
  font-size: 21px;
  font-weight: 400;
  line-height: 1.25;
  color: var(--ink);
  margin: 1.6em 0 0.4em;
  font-variation-settings: 'opsz' 60, 'SOFT' 0;
}

article strong { font-weight: 500; }
article em { font-style: italic; }

article a {
  color: var(--ink);
  text-decoration: underline;
  text-decoration-color: var(--rule);
  text-underline-offset: 3px;
  text-decoration-thickness: 0.5px;
}
article a:hover { text-decoration-color: var(--seal); }

/* Lists with ≥ bullet */
article ul {
  list-style: none;
  padding: 0;
  margin: 0 0 1.3em;
}
article ul li {
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.6;
  padding-left: 28px;
  position: relative;
  margin-bottom: 0.5em;
  font-variation-settings: 'opsz' 14, 'SOFT' 0;
}
article ul li::before {
  content: "≥" / "";
  position: absolute;
  left: 0;
  top: 0.05em;
  font-family: var(--mono);
  font-size: 0.85em;
  color: var(--seal);
}

/* Blockquote */
article blockquote {
  border-left: 1px solid var(--rule);
  padding-left: 24px;
  margin: 1.8em 0;
  font-family: var(--serif);
  font-size: 20px;
  font-style: italic;
  line-height: 1.5;
  color: var(--ink-2);
  font-variation-settings: 'opsz' 18, 'SOFT' 0;
}
article blockquote p { font-size: inherit; margin-bottom: 0; }

/* Kode */
article code {
  font-family: var(--mono);
  font-size: 0.86em;
  background: var(--paper-2);
  color: var(--ink);
  padding: 1px 6px;
}
article pre {
  background: var(--paper);
  border: 0.5px solid var(--rule);
  padding: 16px 20px;
  margin: 1.4em 0;
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.6;
  overflow-x: auto;
}
article pre code { background: transparent; padding: 0; }

article hr {
  border: 0;
  border-top: 0.5px solid var(--rule);
  margin: 2.4em 0;
}

/* ── End signature ───────────────────────────────────────── */
.post-end {
  margin-top: 48px;
  padding-top: 24px;
  border-top: 0.5px solid var(--rule);
  display: flex;
  justify-content: center;
}