:root {
  color-scheme: light;
  --bg: #f9f9f7;
  --surface: #fcfcfb;
  --surface-2: #f0efec;
  --ink: #0b0b0b;
  --ink-2: #52514e;
  --muted: #898781;
  --grid: #e1e0d9;
  --axis: #c3c2b7;
  --border: rgba(11,11,11,0.10);
  --accent: #2a78d6;
  --for: #2a78d6;      /* raises P(God): blue */
  --against: #e34948;  /* lowers P(God): red */
  --neutral: #898781;
  --good: #0ca30c; --warn: #fab219; --serious: #ec835a; --critical: #d03b3b;
  /* hypothesis categorical slots (fixed order) */
  --h-CT: #2a78d6; --h-PC: #eb6834; --h-DE: #1baf7a; --h-MTI: #eda100; --h-NPM: #e87ba4;
  --h-IDL: #4a3aa7; --h-N1: #008300; --h-NM: #e34948; --h-OTH: #898781; --h-AX: #7c5cbf; --h-PL: #b04a2a;
  --radius: 10px;
  --font: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --mono: ui-monospace, "Cascadia Mono", Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --bg: #0d0d0d; --surface: #1a1a19; --surface-2: #232322; --ink: #ffffff; --ink-2: #c3c2b7; --muted: #898781;
    --grid: #2c2c2a; --axis: #383835; --border: rgba(255,255,255,0.10); --accent: #3987e5; --for: #3987e5; --against: #e66767;
    --h-CT: #3987e5; --h-PC: #d95926; --h-DE: #199e70; --h-MTI: #c98500; --h-NPM: #d55181; --h-IDL: #9085e9; --h-N1: #008300; --h-NM: #e66767;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #0d0d0d; --surface: #1a1a19; --surface-2: #232322; --ink: #ffffff; --ink-2: #c3c2b7; --muted: #898781;
  --grid: #2c2c2a; --axis: #383835; --border: rgba(255,255,255,0.10); --accent: #3987e5; --for: #3987e5; --against: #e66767;
  --h-CT: #3987e5; --h-PC: #d95926; --h-DE: #199e70; --h-MTI: #c98500; --h-NPM: #d55181; --h-IDL: #9085e9; --h-N1: #008300; --h-NM: #e66767;
}
* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; background: var(--bg); color: var(--ink); font-family: var(--font); font-size: 15px; line-height: 1.5; }
a { color: var(--accent); }
h1 { font-size: 1.7rem; margin: 0 0 .4rem; line-height: 1.2; }
h2 { font-size: 1.25rem; margin: 1.6rem 0 .5rem; }
h3 { font-size: 1.05rem; margin: 1.2rem 0 .4rem; }
h4 { font-size: .95rem; margin: .9rem 0 .3rem; color: var(--ink-2); text-transform: uppercase; letter-spacing: .03em; }
p { margin: .4rem 0 .8rem; }
small, .small { font-size: .85rem; color: var(--ink-2); }
code { font-family: var(--mono); font-size: .9em; background: var(--surface-2); padding: 1px 4px; border-radius: 4px; }

.topbar { position: sticky; top: 0; z-index: 20; display: flex; align-items: center; gap: 14px; padding: 8px 16px; background: var(--surface); border-bottom: 1px solid var(--border); }
.brand { display: flex; flex-direction: column; line-height: 1.1; }
.brand-title { font-weight: 700; font-size: 1.05rem; }
.brand-sub { font-size: .78rem; color: var(--ink-2); }
.topbar-right { margin-left: auto; display: flex; align-items: center; gap: 12px; font-size: .85rem; }
.badge { background: var(--surface-2); border: 1px solid var(--border); border-radius: 999px; padding: 2px 9px; font-size: .78rem; color: var(--ink-2); }
.mode-switch { display: flex; align-items: center; gap: 6px; cursor: pointer; }
.status { color: var(--muted); }
.status.ok { color: var(--good); }
.status.bad { color: var(--critical); }
.navtoggle { display: none; background: none; border: 1px solid var(--border); border-radius: 6px; padding: 4px 8px; color: var(--ink); font-size: 1rem; }

.layout { display: grid; grid-template-columns: 240px 1fr; min-height: calc(100vh - 50px); }
.sidenav { position: sticky; top: 50px; align-self: start; height: calc(100vh - 50px); overflow-y: auto; padding: 10px 8px 30px; border-right: 1px solid var(--border); background: var(--surface); }
.sidenav a { display: block; padding: 5px 10px; border-radius: 6px; color: var(--ink); text-decoration: none; font-size: .9rem; cursor: pointer; }
.sidenav a:hover { background: var(--surface-2); }
.sidenav a.active { background: var(--accent); color: #fff; }
.navgroup { font-size: .72rem; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); padding: 12px 10px 4px; }
.content { padding: 22px 28px 60px; max-width: 1180px; width: 100%; }
.loading { color: var(--muted); padding: 40px; }

.card { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 16px 18px; margin: 12px 0; }
.card.tight { padding: 10px 14px; }
.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.grid3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; }
@media (max-width: 900px) { .grid2, .grid3 { grid-template-columns: 1fr; } }

.hero { text-align: center; padding: 26px 16px; }
.hero .label { font-size: .85rem; color: var(--ink-2); text-transform: uppercase; letter-spacing: .05em; }
.hero .value { font-size: 4.2rem; font-weight: 700; line-height: 1; margin: 6px 0; }
.hero .interval { font-size: 1rem; color: var(--ink-2); }
.hero .definition { max-width: 720px; margin: 10px auto 0; font-size: .95rem; color: var(--ink); background: var(--surface-2); border-radius: 8px; padding: 8px 12px; }

.stat-row { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 10px; }
.stat { background: var(--surface-2); border-radius: 8px; padding: 10px 12px; }
.stat .k { font-size: .75rem; color: var(--ink-2); text-transform: uppercase; letter-spacing: .04em; }
.stat .v { font-size: 1.45rem; font-weight: 600; }
.stat .s { font-size: .8rem; color: var(--muted); }

table { border-collapse: collapse; width: 100%; font-size: .9rem; }
th, td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--grid); vertical-align: top; }
th { color: var(--ink-2); font-weight: 600; font-size: .8rem; text-transform: uppercase; letter-spacing: .03em; }
td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
tr.clickable { cursor: pointer; }
tr.clickable:hover { background: var(--surface-2); }
.pos { color: var(--for); } .neg { color: var(--against); }

.btn { background: var(--surface); border: 1px solid var(--border); color: var(--ink); border-radius: 7px; padding: 6px 12px; font-size: .85rem; cursor: pointer; }
.btn:hover { background: var(--surface-2); }
.btn.primary { background: var(--accent); color: #fff; border-color: transparent; }
.btn.small { padding: 3px 9px; font-size: .78rem; }
.btn:disabled { opacity: .5; cursor: default; }
.btnrow { display: flex; flex-wrap: wrap; gap: 6px; margin: 8px 0; }

.tag { display: inline-block; font-size: .72rem; padding: 1px 7px; border-radius: 999px; background: var(--surface-2); color: var(--ink-2); border: 1px solid var(--border); margin-right: 4px; }
.tag.for { border-color: var(--for); color: var(--for); }
.tag.against { border-color: var(--against); color: var(--against); }
.tag.neutral { border-color: var(--muted); }
.grade { font-family: var(--mono); font-weight: 700; }

details { border: 1px solid var(--border); border-radius: 8px; padding: 6px 12px; margin: 6px 0; background: var(--surface); }
details > summary { cursor: pointer; font-weight: 600; font-size: .92rem; }
details.sub { border: none; border-left: 2px solid var(--grid); border-radius: 0; margin-left: 6px; }
.field { margin: 8px 0; }
.field .fk { font-size: .75rem; text-transform: uppercase; letter-spacing: .04em; color: var(--ink-2); margin-bottom: 2px; }
.field .fv { white-space: pre-wrap; }
ul.plain { margin: .2rem 0 .6rem 1.1rem; padding: 0; }
ul.plain li { margin: 2px 0; }

.arg-card { border-left: 4px solid var(--neutral); }
.arg-card.for { border-left-color: var(--for); }
.arg-card.against { border-left-color: var(--against); }
.arg-head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.arg-head h3 { margin: 0; }
.arg-panel { background: var(--surface-2); border-radius: 8px; padding: 10px 12px; margin: 8px 0; }
.arg-panel .fv { white-space: pre-wrap; }
.tree ul { list-style: none; margin: 0; padding-left: 16px; border-left: 1px dashed var(--grid); }
.tree li { margin: 3px 0; }
.tree .node { cursor: pointer; }
.tree .node .st { font-size: .72rem; margin-left: 6px; }
.st.contested { color: var(--serious); } .st.widely\ accepted, .st.accepted { color: var(--good); } .st.widely\ rejected, .st.rejected { color: var(--critical); }

.chart { width: 100%; height: auto; display: block; }
.chart text { font-family: var(--font); fill: var(--ink-2); font-size: 12px; }
.chart .axis { stroke: var(--axis); stroke-width: 1; }
.chart .gridline { stroke: var(--grid); stroke-width: 1; }
.chart .lbl { fill: var(--ink); }
.chart .muted { fill: var(--muted); }
.legend { display: flex; flex-wrap: wrap; gap: 10px; font-size: .8rem; color: var(--ink-2); margin: 4px 0; }
.legend .sw { display: inline-block; width: 10px; height: 10px; border-radius: 2px; margin-right: 4px; vertical-align: middle; }
.tooltip { position: fixed; z-index: 50; pointer-events: none; background: var(--surface); color: var(--ink); border: 1px solid var(--border); border-radius: 6px; padding: 6px 9px; font-size: .8rem; box-shadow: 0 4px 16px rgba(0,0,0,.15); max-width: 320px; }

.assump { display: grid; grid-template-columns: 1fr 260px; gap: 10px; align-items: start; padding: 10px 0; border-bottom: 1px solid var(--grid); }
.assump .desc { font-size: .85rem; color: var(--ink-2); }
select, input[type=number], input[type=range] { font: inherit; color: var(--ink); background: var(--surface); border: 1px solid var(--border); border-radius: 6px; padding: 5px 8px; width: 100%; }
input[type=range] { padding: 0; }
.sticky-result { position: sticky; top: 56px; z-index: 5; }

.modal-backdrop[hidden] { display: none; }
.modal-backdrop { position: fixed; inset: 0; background: rgba(0,0,0,.45); z-index: 40; display: flex; align-items: center; justify-content: center; padding: 20px; }
.modal { background: var(--surface); color: var(--ink); border-radius: 12px; max-width: 900px; width: 100%; max-height: 90vh; overflow: auto; border: 1px solid var(--border); }
.modal-head { display: flex; justify-content: space-between; align-items: center; padding: 12px 16px; border-bottom: 1px solid var(--border); font-weight: 600; position: sticky; top: 0; background: var(--surface); }
.modal-body { padding: 14px 16px; }

.callout { border-left: 4px solid var(--accent); background: var(--surface-2); padding: 8px 12px; border-radius: 0 8px 8px 0; margin: 10px 0; font-size: .92rem; }
.callout.warn { border-left-color: var(--warn); }
.notice { font-size: .85rem; color: var(--ink-2); }
.spinner { display: inline-block; width: 12px; height: 12px; border: 2px solid var(--grid); border-top-color: var(--accent); border-radius: 50%; animation: spin .8s linear infinite; vertical-align: middle; margin-right: 6px; }
@keyframes spin { to { transform: rotate(360deg); } }
.err { color: var(--critical); }
.verif { font-size: .72rem; font-family: var(--mono); }
.verif.doi_verified, .verif.title_matched, .verif.doi_checked_manually { color: var(--good); }
.verif.url_only { color: var(--ink-2); }
.verif.unverified { color: var(--warn); }
.verif.doi_mismatch, .verif.doi_not_found, .verif.match_rejected { color: var(--critical); }
.srch { width: 100%; padding: 7px 10px; border: 1px solid var(--border); border-radius: 7px; background: var(--surface); color: var(--ink); font: inherit; margin: 6px 0 10px; }

@media (max-width: 860px) {
  .layout { grid-template-columns: 1fr; }
  .sidenav { position: fixed; left: 0; top: 50px; width: 240px; transform: translateX(-100%); transition: transform .2s; z-index: 30; }
  .sidenav.open { transform: none; }
  .navtoggle { display: inline-block; }
  .content { padding: 16px 16px 60px; }
  .hero .value { font-size: 3rem; }
  .assump { grid-template-columns: 1fr; }
  .brand-sub { display: none; }
}

/* ---------------------------------------------------------------- Explore */
.ex-top h1 { margin-bottom: .2rem; }
.ex-top p { color: var(--ink-2); max-width: 900px; }
.ex-grid { display: grid; grid-template-columns: 360px minmax(0, 1fr); gap: 16px; align-items: start; }
.ex-controls { position: sticky; top: 58px; max-height: calc(100vh - 70px); overflow-y: auto; background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 12px 14px; }
.ex-panel-block { border-bottom: 1px solid var(--grid); padding: 8px 0 12px; margin: 0; border-radius: 0; border-left: 0; border-right: 0; border-top: 0; background: none; }
.ex-h { font-weight: 700; font-size: .95rem; margin: 2px 0 6px; }
.ex-lenses { display: grid; grid-template-columns: 1fr 1fr; gap: 6px; }
.ex-lens { text-align: left; background: var(--surface-2); border: 2px solid transparent; border-radius: 9px; padding: 7px 9px; cursor: pointer; color: var(--ink); font: inherit; }
.ex-lens b { display: block; font-size: .82rem; }
.ex-lens span { display: block; font-size: .72rem; color: var(--ink-2); line-height: 1.3; margin-top: 2px; }
.ex-lens.on { border-color: var(--accent); background: var(--surface); }
.ex-lens:hover { border-color: var(--axis); }
.ex-q { margin: 8px 0 10px; }
.ex-qt { font-size: .84rem; font-weight: 600; margin-bottom: 4px; }
.ex-qt .tag { font-weight: 400; }
.ex-segs { display: flex; flex-wrap: wrap; gap: 4px; }
.ex-seg { font: inherit; font-size: .74rem; line-height: 1.25; padding: 4px 8px; border-radius: 7px; border: 1px solid var(--border); background: var(--surface); color: var(--ink); cursor: pointer; text-align: left; }
.ex-seg:hover { background: var(--surface-2); }
.ex-seg.on { background: var(--accent); color: #fff; border-color: transparent; }
.ex-slider { display: flex; align-items: center; gap: 8px; margin: 6px 0; }
.ex-slider.dim { opacity: .45; }
.ex-slider span { min-width: 38px; font-weight: 700; }
.ex-check { display: block; font-size: .82rem; margin: 4px 0; cursor: pointer; }
.ex-chips { display: flex; flex-wrap: wrap; gap: 4px; }
.ex-chip { font: inherit; font-size: .74rem; padding: 3px 8px; border-radius: 999px; border: 1px solid var(--border); background: var(--surface-2); color: var(--ink); cursor: pointer; }
.ex-chip.off { text-decoration: line-through; opacity: .45; background: var(--surface); }
.ex-help { display: inline-flex; align-items: center; justify-content: center; width: 16px; height: 16px; border-radius: 50%; background: var(--surface-2); border: 1px solid var(--border); font-size: .68rem; font-weight: 700; color: var(--ink-2); cursor: help; vertical-align: middle; }
.ex-hero { display: grid; grid-template-columns: minmax(0, 400px) minmax(0, 1fr); gap: 18px; align-items: center; }
.ex-gauge { max-width: 400px; }
.ex-gauge-num { font-size: 40px; font-weight: 800; fill: var(--ink); }
.ex-kicker { font-size: .78rem; text-transform: uppercase; letter-spacing: .06em; color: var(--ink-2); }
.ex-big { font-size: 2.2rem; font-weight: 800; line-height: 1.1; margin: 2px 0 4px; }
.ex-facts { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; margin-top: 8px; }
.ex-facts div { background: var(--surface-2); border-radius: 8px; padding: 8px 10px; }
.ex-facts b { display: block; font-size: 1.15rem; }
.ex-facts span { font-size: .78rem; color: var(--ink-2); }
.ex-groups { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 8px; margin-top: 8px; font-size: .85rem; }
.ex-groups b { font-size: 1.2rem; margin-right: 4px; }
.ex-groups span { display: block; font-size: .76rem; color: var(--ink-2); }
.ex-cards4 { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 10px; }
.ex-card { background: var(--surface-2); border-radius: 10px; padding: 10px 12px; }
.ex-cq { font-weight: 700; font-size: .9rem; min-height: 2.4em; }
.ex-cv { font-size: 1.6rem; font-weight: 800; margin: 4px 0 2px; }
.ex-card .tag { margin: 6px 0; white-space: normal; line-height: 1.3; }
.ex-tiles { display: grid; grid-template-columns: repeat(auto-fill, minmax(170px, 1fr)); gap: 8px; }
.ex-tile { display: block; text-decoration: none; color: var(--ink); background: var(--surface-2); border-radius: 9px; padding: 9px 11px; border-left: 5px solid var(--neutral); }
.ex-tile.for { border-left-color: var(--for); }
.ex-tile.against { border-left-color: var(--against); }
.ex-tile:hover { background: var(--surface); outline: 1px solid var(--border); }
.ex-tile b { display: block; font-size: .88rem; }
.ex-tile span { font-size: .74rem; color: var(--ink-2); }
.ex-journey { display: grid; grid-template-columns: repeat(auto-fit, minmax(130px, 1fr)); gap: 8px; }
.ex-step { display: block; text-decoration: none; color: var(--ink); background: var(--surface-2); border-radius: 9px; padding: 9px 10px; }
.ex-step:hover { outline: 1px solid var(--border); }
.ex-num { display: inline-flex; width: 22px; height: 22px; border-radius: 50%; background: var(--accent); color: #fff; align-items: center; justify-content: center; font-size: .75rem; font-weight: 700; margin-bottom: 4px; }
.ex-step b { display: block; font-size: .85rem; }
.ex-step span { font-size: .74rem; color: var(--ink-2); }
.ex-tug { cursor: pointer; }
.ex-lens-dot { cursor: pointer; }
@media (max-width: 1100px) { .ex-cards4 { grid-template-columns: 1fr 1fr; } .ex-groups { grid-template-columns: 1fr 1fr; } }
@media (max-width: 900px) {
  .ex-grid { grid-template-columns: 1fr; }
  .ex-controls { position: static; max-height: none; }
  .ex-hero { grid-template-columns: 1fr; }
  .ex-facts { grid-template-columns: 1fr; }
  .ex-cards4, .ex-groups { grid-template-columns: 1fr; }
}

/* phone-width fixes: grid children may shrink; nothing forces horizontal scroll */
.layout > *, .content, .ex-grid > *, .ex-hero > * { min-width: 0; }
.ex-seg { white-space: normal; max-width: 100%; }
.topbar { flex-wrap: wrap; row-gap: 4px; }
@media (max-width: 600px) {
  .topbar-right { gap: 8px; font-size: .78rem; }
  .badge { display: none; }
  .ex-lenses { grid-template-columns: 1fr; }
  .ex-big { font-size: 1.8rem; }
  .content { padding: 12px 12px 48px; }
  table { display: block; overflow-x: auto; }
}
@media (max-width: 860px) { .layout { grid-template-columns: minmax(0, 1fr); } }
@media (max-width: 900px) { .ex-grid { grid-template-columns: minmax(0, 1fr); } }
html, body { max-width: 100%; }