/* ICD-11 BFO Ontology — clinical/formal editorial system
   display: serif · body: sans · data/logic: mono
   rust is reserved semantically for unsatisfiability (owl:Nothing) */
:root{
  --ink:#15171c; --paper:#f4f6f7; --panel:#ffffff; --panel-2:#eef1f3;
  --slate:#33506b; --slate-deep:#22384a; --rust:#a8531e; --rust-soft:#f3e6da;
  --line:#d7dce1; --line-soft:#e6eaee; --muted:#6a727c;
  --serif:'Iowan Old Style','Palatino Linotype',Palatino,Georgia,'Times New Roman',serif;
  --sans:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif;
  --mono:ui-monospace,'SF Mono',SFMono-Regular,Menlo,Consolas,'Liberation Mono',monospace;
  --maxw:920px;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);
  font-size:17px;line-height:1.6;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
a{color:var(--slate);text-decoration:none}
a:hover{text-decoration:underline;text-underline-offset:2px}
h1,h2,h3{font-family:var(--serif);font-weight:600;line-height:1.15;letter-spacing:-.01em}
.mono{font-family:var(--mono)}
.wrap{max-width:var(--maxw);margin:0 auto;padding:0 24px}

/* ---------- top bar ---------- */
.topbar{border-bottom:1px solid var(--line);background:var(--panel)}
.topbar .wrap{display:flex;align-items:center;justify-content:space-between;height:56px}
.brand{font-family:var(--mono);font-size:13px;letter-spacing:.02em;color:var(--muted)}
.brand b{color:var(--ink);font-weight:600}
.navlinks{display:flex;gap:20px;font-family:var(--mono);font-size:13px}

/* ---------- hero ---------- */
.hero{padding:72px 0 40px;border-bottom:1px solid var(--line)}
.eyebrow{font-family:var(--mono);font-size:12.5px;letter-spacing:.06em;text-transform:uppercase;
  color:var(--slate);margin:0 0 20px}
.hero h1{font-size:clamp(38px,6vw,60px);margin:0 0 16px}
.hero .lede{font-size:20px;color:#33383f;max-width:640px;margin:0 0 8px}
.byline{font-family:var(--mono);font-size:13px;color:var(--muted);margin-top:18px}

/* ---------- coherence ledger (signature) ---------- */
.ledger{display:flex;flex-wrap:wrap;gap:0;margin:40px 0 4px;border:1px solid var(--line);
  border-radius:4px;background:var(--panel);overflow:hidden}
.ledger .cell{flex:1 1 auto;min-width:130px;padding:16px 20px;border-right:1px solid var(--line-soft)}
.ledger .cell:last-child{border-right:0}
.ledger .num{font-family:var(--mono);font-size:24px;font-weight:600;color:var(--ink);line-height:1}
.ledger .lab{font-family:var(--mono);font-size:11.5px;letter-spacing:.04em;text-transform:uppercase;
  color:var(--muted);margin-top:8px}
.ledger .cell.ok .num{color:var(--slate-deep)}
.ledger .cell.unsat{background:var(--rust-soft)}
.ledger .cell.unsat .num{color:var(--rust)}
.ledger .cell.unsat .lab{color:#8a4718}
.bot{font-family:var(--mono);color:var(--rust)}

/* ---------- prose sections ---------- */
section{padding:44px 0;border-bottom:1px solid var(--line-soft)}
section h2{font-size:26px;margin:0 0 18px}
section p{max-width:680px;margin:0 0 16px}
.kicker{font-family:var(--mono);font-size:12px;letter-spacing:.06em;text-transform:uppercase;
  color:var(--slate);margin:0 0 10px}

/* contents list */
.contents{list-style:none;padding:0;margin:0}
.contents li{display:flex;gap:18px;align-items:baseline;padding:18px 0;border-top:1px solid var(--line-soft)}
.contents li:first-child{border-top:0}
.contents .rn{font-family:var(--mono);font-size:13px;color:var(--rust);min-width:26px}
.contents .ct h3{font-size:19px;margin:0 0 4px;font-family:var(--serif)}
.contents .ct p{font-size:15.5px;color:var(--muted);margin:0;max-width:620px}

.callout{background:var(--panel);border:1px solid var(--line);border-left:3px solid var(--slate);
  border-radius:4px;padding:20px 22px;margin:8px 0}
.callout.warn{border-left-color:var(--rust)}
.callout p{max-width:none;margin:0 0 10px}
.callout p:last-child{margin:0}

.btn{display:inline-block;font-family:var(--mono);font-size:14px;background:var(--slate-deep);
  color:#fff;padding:11px 18px;border-radius:4px;border:1px solid var(--slate-deep)}
.btn:hover{background:#1a2c3b;text-decoration:none}
.btn.ghost{background:transparent;color:var(--slate-deep)}
.btn.ghost:hover{background:var(--panel-2)}

footer{padding:40px 0 64px;color:var(--muted);font-size:14px}
footer .wrap{display:flex;flex-wrap:wrap;gap:8px 18px;align-items:center}
footer .mono{font-size:12.5px}

/* ================= VIEWER ================= */
.app{display:grid;grid-template-columns:minmax(300px,380px) 1fr;height:calc(100vh - 56px)}
.rail{border-right:1px solid var(--line);background:var(--panel);display:flex;flex-direction:column;min-height:0}
.tabs{display:flex;border-bottom:1px solid var(--line)}
.tabs button{flex:1;font-family:var(--mono);font-size:12.5px;letter-spacing:.02em;padding:12px 6px;
  background:none;border:0;border-bottom:2px solid transparent;color:var(--muted);cursor:pointer}
.tabs button.active{color:var(--ink);border-bottom-color:var(--rust)}
.tabs button:hover{color:var(--ink)}
.railtop{padding:12px 14px;border-bottom:1px solid var(--line-soft)}
.search{width:100%;font-family:var(--mono);font-size:14px;padding:9px 11px;border:1px solid var(--line);
  border-radius:4px;background:var(--paper);color:var(--ink)}
.search:focus{outline:2px solid var(--slate);outline-offset:0;border-color:var(--slate)}
.listwrap{overflow:auto;flex:1;min-height:0}
.hint{padding:12px 16px;color:var(--muted);font-size:13.5px}

.row{display:block;width:100%;text-align:left;background:none;border:0;border-bottom:1px solid var(--line-soft);
  padding:9px 14px;cursor:pointer;font-family:var(--sans);font-size:15px;color:var(--ink)}
.row:hover{background:var(--panel-2)}
.row.sel{background:#e7edf2;box-shadow:inset 3px 0 0 var(--slate)}
.row .sub{font-family:var(--mono);font-size:11.5px;color:var(--muted);margin-top:2px}
.row.u{color:var(--rust)}
.row.u.sel{box-shadow:inset 3px 0 0 var(--rust)}
.tw{font-family:var(--mono);font-size:11px;color:var(--rust);margin-right:5px}

/* tree */
.node>.row .caret{display:inline-block;width:14px;color:var(--muted);font-family:var(--mono);font-size:11px}
.kids{margin-left:14px;border-left:1px solid var(--line-soft)}
.grp{padding:12px 14px 6px;font-family:var(--mono);font-size:11.5px;letter-spacing:.05em;
  text-transform:uppercase;color:var(--slate);background:var(--panel)}
.cnt{color:var(--muted)}

/* detail */
.detail{overflow:auto;padding:30px 34px}
.detail .empty{color:var(--muted);max-width:520px;margin-top:8px}
.dt-eyebrow{font-family:var(--mono);font-size:12px;letter-spacing:.05em;text-transform:uppercase;color:var(--slate)}
.detail h1{font-size:30px;margin:6px 0 6px;display:flex;align-items:center;gap:12px}
.detail h1 .bt{font-family:var(--mono);font-size:20px;color:var(--rust);border:1px solid var(--rust);
  border-radius:4px;padding:0 8px;line-height:1.5}
.iri{font-family:var(--mono);font-size:12.5px;color:var(--muted);word-break:break-all;margin-bottom:20px}
.def{font-size:17px;max-width:680px;margin-bottom:24px}
.block{margin:0 0 22px}
.block h4{font-family:var(--mono);font-size:11.5px;letter-spacing:.05em;text-transform:uppercase;
  color:var(--muted);margin:0 0 10px;border-bottom:1px solid var(--line-soft);padding-bottom:6px}
.chips{display:flex;flex-wrap:wrap;gap:8px}
.chip{font-family:var(--mono);font-size:13px;background:var(--panel-2);border:1px solid var(--line);
  border-radius:4px;padding:4px 10px;color:var(--slate-deep);cursor:pointer}
.chip:hover{background:#e2e8ee}
.chip.anchor{background:#e9eef3;color:var(--slate-deep);cursor:default}
.chip.static{cursor:default}
.axioms{font-family:var(--mono);font-size:13.5px;line-height:1.9;background:var(--panel);
  border:1px solid var(--line);border-radius:4px;padding:12px 16px}
.axioms .p{color:var(--slate-deep);font-weight:600}
.unsatnote{background:var(--rust-soft);border:1px solid #e6c9b0;border-left:3px solid var(--rust);
  border-radius:4px;padding:14px 16px;margin:0 0 24px;font-size:15px;color:#5f3311;max-width:700px}
.unsatnote .bot{font-weight:600}

/* coherence tab clusters */
.clus{padding:14px 14px 2px}
.clus h5{font-family:var(--mono);font-size:11.5px;letter-spacing:.04em;text-transform:uppercase;
  color:var(--rust);margin:0 0 2px}
.clus p{font-size:12.5px;color:var(--muted);margin:0 0 6px}

.viewerhead{padding:22px 0 10px}
.viewerhead .wrap{display:flex;flex-wrap:wrap;align-items:baseline;gap:6px 16px}
.viewerhead h1{font-size:26px;margin:0}
.viewerhead .stat{font-family:var(--mono);font-size:13px;color:var(--muted)}

@media (max-width:820px){
  .app{grid-template-columns:1fr;height:auto}
  .rail{border-right:0;border-bottom:1px solid var(--line)}
  .listwrap{max-height:44vh}
  .detail{padding:22px 20px}
}
@media (prefers-reduced-motion:no-preference){
  .row,.chip,.btn,.tabs button{transition:background .12s ease,color .12s ease}
}
:focus-visible{outline:2px solid var(--slate);outline-offset:2px}