/* ── Variables ── */
:root {
  --bg: #ffffff;
  --fg: #1a1a1a;
  --fg-muted: #555;
  --accent: #d1421f;           /* phase-angle red-orange: fragmented headline accent */
  --accent-soft: #e07020;      /* warm orange, 3-bit fragmented marker from fig1 */
  --ballroom: #4daf4a;         /* 2-bit ballroom green */
  --pressure: #3778bf;         /* 1-bit pressure-release blue */
  --border: #e5e7eb;
  --code-bg: #fbf3ef;          /* very faint warm tint */
  --toc-width: 220px;
  --content-max: 720px;
  --font-serif: Georgia, "Times New Roman", serif;
  --font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --font-mono: "SF Mono", "Fira Code", monospace;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0f1117; --fg: #e8eaf0; --fg-muted: #9ca3af;
    --accent: #f58a5c; --accent-soft: #f2a356;
    --ballroom: #6bc26a; --pressure: #6fa8e4;
    --border: #2d3748; --code-bg: #1f1a18;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { font-size: 18px; }
body { margin: 0; background: var(--bg); color: var(--fg);
       font-family: var(--font-serif); line-height: 1.7; }
a { color: var(--fg-muted); text-decoration: underline; text-underline-offset: 2px;
    text-decoration-color: var(--border); }
a:hover { color: var(--fg); text-decoration-color: var(--fg-muted); }

.site-nav { position: sticky; top: 0; z-index: 100; background: var(--bg);
            border-bottom: 1px solid var(--border);
            display: flex; align-items: center; gap: 2rem; padding: .6rem 2rem; }
.site-nav-title { font-weight: 700; font-family: var(--font-sans); font-size: .9rem; }
.site-nav ul { display: flex; gap: 1.5rem; list-style: none; margin: 0; padding: 0; }
.site-nav a { font-family: var(--font-sans); font-size: .85rem; color: var(--fg-muted);
              text-decoration: none; font-weight: 500; }
.site-nav a:hover { color: var(--fg); }
.site-nav a.active { color: var(--fg); font-weight: 700; }

.page-wrap { display: flex; max-width: calc(var(--toc-width) + var(--content-max) + 6rem);
             margin: 0 auto; padding: 0 2rem; }

.toc-sidebar { width: var(--toc-width); flex-shrink: 0; padding-top: 2rem;
               position: sticky; top: 3rem; align-self: flex-start;
               max-height: calc(100vh - 4rem); overflow-y: auto; }
.toc-sidebar ul { list-style: none; padding: 0; margin: 0;
                  font-family: var(--font-sans); font-size: .8rem; }
.toc-sidebar li { margin: .3rem 0; }
.toc-sidebar a { color: var(--fg-muted); text-decoration: none; padding: .2rem .5rem;
                 border-left: 2px solid transparent; display: block; }
.toc-sidebar a.active { color: var(--accent); border-color: var(--accent); }
@media (max-width: 900px) { .toc-sidebar { display: none; } }

.pub-content { flex: 1; min-width: 0; max-width: var(--content-max);
               padding: 2.5rem 0 4rem 3rem; }
@media (max-width: 900px) { .pub-content { padding: 2rem 0; } }

.pub-section { padding-top: 2rem; margin-bottom: 3rem;
               border-top: 1px solid var(--border); }
.pub-section:first-child { border-top: none; }
h1 { font-size: 1.9rem; line-height: 1.2; margin-bottom: .5rem; }
h2 { font-size: 1.3rem; font-family: var(--font-sans); font-weight: 600;
     margin: 2rem 0 .75rem; }
h3 { font-size: 1.05rem; font-family: var(--font-sans); margin: 1.5rem 0 .5rem; }
p { margin: 0 0 1rem; }

.skip-cue { text-align: right; margin-top: 2.5rem; }
.skip-cue button { background: none; border: 1px solid var(--border);
                   color: var(--accent); cursor: pointer; font-family: var(--font-sans);
                   font-size: .8rem; padding: .35rem .8rem; border-radius: 999px; }
.skip-cue button:hover { background: var(--accent); color: #fff; border-color: var(--accent); }

.widget { width: 100%; margin: 1.5rem 0; }
.widget svg { overflow: visible; max-width: 100%; }
.widget-tooltip { position: absolute; background: var(--bg); border: 1px solid var(--border);
                  padding: .4rem .7rem; font-family: var(--font-sans); font-size: .8rem;
                  pointer-events: none; border-radius: 4px; box-shadow: 0 2px 8px rgba(0,0,0,.12);
                  z-index: 200; color: var(--fg); }
.widget-controls { display: flex; flex-wrap: wrap; gap: .6rem; margin: .5rem 0;
                   font-family: var(--font-sans); font-size: .82rem; align-items: center; }
.widget-controls button { background: var(--bg); border: 1px solid var(--border);
                          padding: .3rem .75rem; border-radius: 999px; cursor: pointer;
                          color: var(--fg); font-family: var(--font-sans); font-size: .8rem; }
.widget-controls button:hover { border-color: var(--accent); color: var(--accent); }
.widget-controls button.active { background: var(--accent); color: #fff; border-color: var(--accent); }
.widget-controls input[type="range"] { accent-color: var(--accent); }
.widget-controls label { color: var(--fg-muted); }

.abstract-card { background: var(--code-bg); border-left: 4px solid var(--accent);
                 padding: 1rem 1.25rem; margin: 1.5rem 0; font-size: .95rem; border-radius: 2px; }
.abstract-card .tldr { font-family: var(--font-sans); font-weight: 700;
                        font-size: .75rem; letter-spacing: .05em; color: var(--accent);
                        text-transform: uppercase; margin-bottom: .4rem; }

.expand-trigger { font-family: var(--font-sans); font-size: .85rem; color: var(--accent);
                  cursor: pointer; background: none; border: none; padding: 0; margin: .5rem 0; }
.expandable { display: none; }
.expandable.open { display: block; }

figure { margin: 2rem 0; }
figure img { max-width: 100%; border: 1px solid var(--border); }
figcaption { font-family: var(--font-sans); font-size: .82rem; color: var(--fg-muted);
             margin-top: .5rem; }

.lean-badge { display: inline-block; font-family: var(--font-mono); font-size: .75rem;
              padding: .1rem .4rem; border-radius: 3px; }
.lean-badge.proven  { background: #d1fae5; color: #065f46; }
.lean-badge.deferred{ background: #fef3c7; color: #92400e; }
.lean-badge.stub    { background: #e5e7eb; color: #374151; }
.lean-badge.axiom   { background: #ede9fe; color: #5b21b6; }
@media (prefers-color-scheme: dark) {
  .lean-badge.proven  { background: #065f46; color: #d1fae5; }
  .lean-badge.deferred{ background: #78350f; color: #fef3c7; }
  .lean-badge.stub    { background: #374151; color: #d1d5db; }
  .lean-badge.axiom   { background: #4c1d95; color: #ede9fe; }
}

.citation-box { font-family: var(--font-mono); font-size: .78rem; background: var(--code-bg);
                padding: 1rem; border-radius: 4px; white-space: pre; overflow-x: auto; }

/* ── Hero ── */
.hero { padding: 3rem 0 2rem; border-bottom: none; }
.hero h1 { font-size: 2.15rem; line-height: 1.15; margin-bottom: .75rem; }
.hero .byline { font-family: var(--font-sans); font-size: .85rem; color: var(--fg-muted); margin-bottom: 2rem; }
.hero .hook { font-size: 1.15rem; line-height: 1.6; margin-bottom: 1.5rem; font-style: italic; color: var(--fg-muted); }
.byline-link { color: var(--fg-muted); text-decoration: underline; text-underline-offset: 2px; }
.byline-link:hover { color: var(--accent); }

/* ── Big callout number ── */
.callout-row { display: flex; gap: 1rem; flex-wrap: wrap; margin: 1.5rem 0; }
.callout { flex: 1; min-width: 140px; text-align: center; padding: 1.25rem 1rem;
           border: 1px solid var(--border); border-radius: 8px; }
.callout .num { font-family: var(--font-sans); font-size: 2.4rem; font-weight: 700;
                color: var(--accent); line-height: 1; }
.callout .label { font-family: var(--font-sans); font-size: .78rem; color: var(--fg-muted);
                  margin-top: .4rem; line-height: 1.3; }
.callout.ballroom .num { color: var(--ballroom); }
.callout.pressure .num { color: var(--pressure); }
.callout.orange .num { color: var(--accent-soft); }

/* Angle-specific callout row for layer-0 angles */
.angle-row { display: grid; grid-template-columns: repeat(4, 1fr); gap: .6rem; margin: 1rem 0; }
@media (max-width: 600px) { .angle-row { grid-template-columns: repeat(2, 1fr); } }
.angle-card { padding: .8rem .6rem; border: 1px solid var(--border); border-radius: 6px;
              text-align: center; }
.angle-card .arch { font-family: var(--font-sans); font-size: .72rem; color: var(--fg-muted);
                    text-transform: uppercase; letter-spacing: .06em; }
.angle-card .val { font-family: var(--font-sans); font-size: 1.6rem; font-weight: 700; line-height: 1.1;
                   margin-top: .25rem; }
.angle-card.ok .val { color: var(--ballroom); }
.angle-card.mid .val { color: var(--accent-soft); }
.angle-card.bad .val { color: var(--accent); }
.angle-card .note { font-family: var(--font-sans); font-size: .72rem; color: var(--fg-muted);
                    margin-top: .3rem; }

/* ── Inline finding box ── */
.finding { background: var(--code-bg); border-left: 3px solid var(--accent);
           padding: .9rem 1.1rem; margin: 1.5rem 0; border-radius: 0 4px 4px 0;
           font-family: var(--font-sans); font-size: .95rem; }
.finding strong { color: var(--accent); }

/* ── Inline note ── */
.aside { font-family: var(--font-sans); font-size: .85rem; color: var(--fg-muted);
         border-left: 2px solid var(--border); padding-left: .9rem; margin: 1rem 0; }

/* ── Section label ── */
.section-label { font-family: var(--font-sans); font-size: .7rem; font-weight: 700;
                 letter-spacing: .1em; text-transform: uppercase; color: var(--accent);
                 margin-bottom: .3rem; }

.dashboard-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 2rem; margin: 1.5rem 0; }
@media (max-width: 700px) { .dashboard-grid { grid-template-columns: 1fr; } }
.dashboard-card { border: 1px solid var(--border); border-radius: 6px; padding: 1rem; }
.dashboard-card h3 { margin-top: 0; }

/* ── Glossary ── */
dl.glossary { margin: 1.5rem 0; }
dl.glossary dt { font-family: var(--font-sans); font-weight: 700; font-size: .95rem;
                  margin-top: 1.25rem; color: var(--fg); }
dl.glossary dd { margin: .25rem 0 0 1.25rem; font-size: .95rem; color: var(--fg); }

/* ── Lean tables ── */
.lean-table { width: 100%; border-collapse: collapse; font-size: .88rem; margin: 1rem 0; }
.lean-table th { text-align: left; padding: .4rem .6rem; border-bottom: 2px solid var(--border);
                  font-family: var(--font-sans); font-weight: 600; font-size: .8rem; }
.lean-table td { padding: .45rem .6rem; border-bottom: 1px solid var(--border);
                  vertical-align: top; line-height: 1.5; }
.lean-table td:first-child { font-family: var(--font-mono); font-size: .8rem;
                               white-space: nowrap; color: var(--accent); }
.lean-table tr:last-child td { border-bottom: none; }

/* ── Explore playground ── */
.explore-controls { display: flex; flex-wrap: wrap; gap: 1.5rem; margin-bottom: 1.5rem;
                    font-family: var(--font-sans); font-size: .82rem; }
.control-group { display: flex; flex-direction: column; gap: .4rem; }
.control-label { font-weight: 600; color: var(--fg-muted); font-size: .72rem;
                 text-transform: uppercase; letter-spacing: .05em; }
.control-group label { display: flex; align-items: center; gap: .4rem; cursor: pointer; }
.explore-note { font-family: var(--font-sans); font-size: .8rem; color: var(--fg-muted);
                margin-top: .5rem; min-height: 1.2em; }

/* ── Beta slider readout ── */
.beta-readout { display: flex; gap: 1.5rem; flex-wrap: wrap; font-family: var(--font-sans);
                font-size: .88rem; margin-top: .5rem; }
.beta-readout .chip { border: 1px solid var(--border); padding: .3rem .7rem; border-radius: 6px; }
.beta-readout .chip strong { color: var(--accent); font-family: var(--font-sans); }