/* extracted from research/local-public-proof-spine/index.html by ops/inline_style_extract.py — linked in the same document position to preserve cascade order */
:root {
    --bg: #000000;
    --panel: #0a0a0a;
    --line: #242424;
    --ink: #f5f5f5;
    --muted: #b8b8b8;
    --faint: #707070;
    --gold: #e7c384;
    --green: #45a862;
    --blue: #3e84d6;
    --violet: #8c5ad2;
    --mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
    --sans: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
    --serif: Georgia, "Times New Roman", serif;
  }
  * { box-sizing: border-box; }
  html { background: var(--bg); color: var(--ink); font-family: var(--sans); }
  body { margin: 0; min-height: 100vh; background: var(--bg); color: var(--ink); }
  a { color: inherit; text-decoration: none; }
  a:hover { color: var(--gold); }
  .shell { width: min(1040px, calc(100% - 32px)); margin: 0 auto; padding: 0 0 var(--space-64); }
  .topbar { min-height: 64px; display: flex; align-items: center; gap: var(--space-12); border-bottom: 1px solid var(--line); font-family: var(--mono); color: var(--muted); font-size: var(--text-13); }
  .brand { display: inline-flex; align-items: center; gap: var(--space-8); color: var(--gold); font-weight: 700; }
  .brand::before { content: ""; width: 9px; height: 9px; border-radius: var(--radius-2); background: var(--gold); transform: rotate(45deg); }
  .nav { margin-left: auto; display: flex; align-items: center; gap: var(--space-12); flex-wrap: wrap; }
  .nav a, .chip { border: 1px solid var(--line); border-radius: var(--radius-pill); padding: var(--space-4) var(--space-8); color: var(--muted); background: rgba(255,255,255,0.02); font-family: var(--mono); font-size: var(--text-12); }
  .chip.good { color: var(--green); border-color: color-mix(in srgb, var(--act) 38%, transparent); }
  .intro { display: grid; grid-template-columns: minmax(0, 1fr) minmax(240px, 0.36fr); gap: var(--space-16); padding: var(--space-40) 0 var(--space-16); align-items: stretch; }
  h1 { margin: 0 0 var(--space-12); font-family: var(--serif); color: var(--gold); font-size: var(--text-40); line-height: 1.05; }
  h2 { margin: 0 0 var(--space-8); color: var(--ink); font-size: var(--text-16); }
  h3 { margin: 0; color: var(--ink); font-size: var(--text-16); }
  p { margin: 0; color: var(--muted); line-height: 1.6; }
  .lead { max-width: 76ch; font-size: var(--text-16); }
  .statusbox, .panel, .claim, .proof { border: 1px solid var(--line); border-radius: var(--radius-8); background: var(--panel); padding: var(--space-16); min-width: 0; }
  .statusbox { display: grid; gap: var(--space-8); }
  .stats { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: var(--space-8); margin: 0 0 var(--space-16); }
  .stat { border: 1px solid var(--line); border-radius: var(--radius-8); background: var(--panel); padding: var(--space-12); min-width: 0; }
  .stat span { display: block; color: var(--faint); font-family: var(--mono); font-size: var(--text-12); margin-bottom: var(--space-4); }
  .stat strong { display: block; color: var(--ink); font-size: var(--text-16); overflow-wrap: anywhere; }
  .stat.gold { border-top: 3px solid var(--gold); }
  .stat.green { border-top: 3px solid var(--green); }
  .stat.blue { border-top: 3px solid var(--blue); }
  .stat.violet { border-top: 3px solid var(--violet); }
  .section { margin-top: var(--space-24); border-top: 1px solid var(--line); padding-top: var(--space-16); }
  .sectionhead { display: flex; align-items: flex-end; justify-content: space-between; gap: var(--space-16); margin-bottom: var(--space-12); }
  .eyebrow { color: var(--gold); font-family: var(--mono); font-size: var(--text-12); }
  .paperbody { display: grid; grid-template-columns: minmax(0, 0.34fr) minmax(0, 0.66fr); gap: var(--space-12); align-items: start; }
  .panel { display: grid; gap: var(--space-12); }
  .thesis { border-left: 3px solid var(--gold); padding-left: var(--space-12); color: var(--ink); font-weight: 700; }
  .list { display: grid; gap: var(--space-8); margin: 0; padding: 0; list-style: none; }
  .list li { border-left: 2px solid var(--blue); padding-left: var(--space-8); color: var(--muted); line-height: 1.5; }
  .claims { display: grid; gap: var(--space-12); }
  .claim { display: grid; gap: var(--space-8); }
  .links, .tags { display: flex; flex-wrap: wrap; gap: var(--space-8); }
  .links a, .tag { border: 1px solid color-mix(in srgb, var(--sand) 40%, transparent); border-radius: var(--radius-8); padding: var(--space-4) var(--space-8); color: var(--gold); font-family: var(--mono); font-size: var(--text-12); overflow-wrap: anywhere; word-break: break-word; }
  .tag { color: var(--muted); border-color: var(--line); }
  .tag.green { color: var(--green); border-color: color-mix(in srgb, var(--act) 45%, transparent); }
  .footer { margin-top: var(--space-24); color: var(--faint); font-family: var(--mono); font-size: var(--text-12); line-height: 1.55; }
  @media (max-width: 820px) {
    .intro, .paperbody { grid-template-columns: 1fr; }
    .stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
    .topbar { align-items: flex-start; flex-direction: column; padding: var(--space-12) 0; }
    .nav { margin-left: 0; }
    h1 { font-size: var(--text-28); }
  }
  @media (max-width: 500px) {
    .shell { width: min(100% - 20px, 1040px); }
    .stats { grid-template-columns: 1fr; }
    .sectionhead { align-items: flex-start; flex-direction: column; }
  }