:root{
  --bg:#f6f5f2; --panel:#ffffff; --ink:#18202b; --ink2:#3d4757; --muted:#6b7585; --line:#e4e2dc; --line2:#efede8;
  --brand:#0e5a52; --brand2:#e3efed; --ok:#18794e; --ok-bg:#e6f4ec; --warn:#a15c07; --warn-bg:#fdf1dc;
  --fail:#b42318; --fail-bg:#fdecea; --adj:#5b3cc4; --adj-bg:#efeafd; --info:#1e5fb4; --info-bg:#e8f0fb;
  --mono:'IBM Plex Mono',ui-monospace,SFMono-Regular,Menlo,monospace; --r:10px;
  --shadow:0 1px 2px rgba(16,24,40,.05),0 1px 3px rgba(16,24,40,.06);
}
*{box-sizing:border-box}
html,body{margin:0;overflow-x:hidden;background:var(--bg);color:var(--ink);font:14px/1.5 Inter,system-ui,-apple-system,Segoe UI,sans-serif}
a{color:var(--brand);text-decoration:none} a:hover{text-decoration:underline}
h1{font-size:22px;margin:0 0 4px;letter-spacing:-.01em} h2{font-size:16px;margin:28px 0 10px} h3{font-size:14px;margin:16px 0 8px}
p{margin:6px 0}
.muted{color:var(--muted)} .small{font-size:12px} .tiny{font-size:11px} .mono{font-family:var(--mono)}
.num,.n{font-variant-numeric:tabular-nums;font-feature-settings:"tnum"}
hr{border:0;border-top:1px solid var(--line);margin:18px 0}

/* ------------------------------------------------------------ shell */
.top{position:sticky;top:0;z-index:30;display:flex;min-width:0;align-items:center;gap:14px;height:54px;padding:0 18px;
  background:#fff;border-bottom:1px solid var(--line)}
.brand{display:flex;align-items:center;gap:9px;font-weight:650;color:var(--ink);white-space:nowrap}
.brand .logo{width:26px;height:26px;border-radius:7px;background:var(--brand);color:#fff;display:grid;place-items:center;font-size:13px}
.brand .who{font-weight:450;color:var(--muted)}
.search{flex:1;max-width:420px}
.search input{width:100%;padding:7px 11px;border:1px solid var(--line);border-radius:8px;background:var(--bg)}
.top .spacer{flex:1}
.clock{display:flex;align-items:center;gap:6px;font-size:12px;color:var(--ink2)}
.clock input{font:inherit;padding:4px 6px;border:1px solid var(--line);border-radius:6px}
.persona select{font:inherit;padding:6px 8px;border:1px solid var(--line);border-radius:8px;background:#fff;max-width:240px}
.bell{position:relative;padding:6px 8px;border-radius:8px;border:1px solid var(--line);background:#fff;cursor:pointer}
.bell .dot{position:absolute;top:-5px;right:-6px;background:var(--fail);color:#fff;font-size:10px;border-radius:9px;padding:1px 5px}
.notif{display:none;position:absolute;right:0;top:40px;width:380px;max-height:460px;overflow:auto;background:#fff;
  border:1px solid var(--line);border-radius:10px;box-shadow:0 12px 32px rgba(0,0,0,.12);padding:8px;z-index:50}
.bell.open .notif{display:block}
.notif a{display:block;padding:8px;border-radius:7px;color:var(--ink)} .notif a:hover{background:var(--bg);text-decoration:none}
.shell{display:grid;grid-template-columns:232px 1fr;min-height:calc(100vh - 54px)}
.shell.solo{grid-template-columns:1fr}.shell.solo .main{margin:0 auto;width:100%;max-width:960px}
.nav{border-right:1px solid var(--line);padding:14px 10px;background:#fbfaf8;position:sticky;top:54px;height:calc(100vh - 54px);overflow:auto}
.nav a{display:flex;align-items:center;gap:8px;padding:6px 10px;border-radius:7px;color:var(--ink2);font-size:13.5px}
.nav a:hover{background:#f0eee9;text-decoration:none}
.nav a.on{background:var(--brand2);color:var(--brand);font-weight:600}
.nav .sec{font-size:11px;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:16px 10px 4px}
.nav .badge{margin-left:auto}
.main{padding:24px 30px 80px;min-width:0;max-width:1240px}
.crumb{font-size:12px;color:var(--muted);margin-bottom:6px}
.banner{background:var(--info-bg);border:1px solid #c9dbf3;color:#173a6b;padding:8px 12px;border-radius:8px;margin-bottom:14px;font-size:13px}
.banner.warn{background:var(--warn-bg);border-color:#f3d59f;color:#5c3604}
.banner.fail{background:var(--fail-bg);border-color:#f5c2bd;color:#7a1610}
#pulse{position:fixed;left:50%;transform:translateX(-50%);bottom:18px;z-index:60}
#pulse .toast{background:var(--ink);color:#fff;padding:9px 14px;border-radius:10px;box-shadow:0 8px 24px rgba(0,0,0,.25);font-size:13px}
#pulse .toast a{color:#9fe3d8}
.presence{display:flex;gap:4px}
.av{width:24px;height:24px;border-radius:50%;display:inline-grid;place-items:center;font-size:10px;font-weight:700;color:#fff;background:#7c8798}

/* ------------------------------------------------------------ building blocks */
.card{background:var(--panel);border:1px solid var(--line);border-radius:var(--r);padding:16px 18px;box-shadow:var(--shadow)}
.card+.card{margin-top:12px}
.grid{display:grid;gap:12px} .g2{grid-template-columns:repeat(2,minmax(0,1fr))} .g3{grid-template-columns:repeat(3,minmax(0,1fr))}
.g4{grid-template-columns:repeat(4,minmax(0,1fr))}
.row{display:flex;gap:10px;align-items:center;flex-wrap:wrap} .between{justify-content:space-between}
.stack>*+*{margin-top:8px}
.chip{display:inline-flex;align-items:center;gap:5px;padding:2px 8px;border-radius:999px;font-size:11.5px;font-weight:550;
  background:#f0eee9;color:var(--ink2);white-space:nowrap;border:1px solid transparent}
.chip.ok{background:var(--ok-bg);color:var(--ok)} .chip.warn{background:var(--warn-bg);color:var(--warn)}
.chip.fail{background:var(--fail-bg);color:var(--fail)} .chip.adj{background:var(--adj-bg);color:var(--adj)}
.chip.info{background:var(--info-bg);color:var(--info)} .chip.ghost{background:transparent;border-color:var(--line)}
.dot{width:8px;height:8px;border-radius:50%;display:inline-block;background:#c9c6be}
.dot.ok{background:var(--ok)} .dot.warn{background:#e0a030} .dot.fail{background:var(--fail)} .dot.adj{background:var(--adj)}
.btn{display:inline-flex;align-items:center;gap:6px;font:inherit;font-size:13px;font-weight:550;padding:6px 12px;border-radius:8px;
  border:1px solid var(--line);background:#fff;color:var(--ink);cursor:pointer;white-space:nowrap}
.btn:hover{background:#f6f5f2;text-decoration:none}
.btn.primary{background:var(--brand);border-color:var(--brand);color:#fff} .btn.primary:hover{background:#0b4943}
.btn.danger{color:var(--fail);border-color:#f0c4bf} .btn.sm{padding:3px 9px;font-size:12px} .btn[disabled]{opacity:.45;cursor:not-allowed}
.btn.link{border:0;background:none;padding:0;color:var(--brand)}
input[type=text],input[type=number],input[type=date],input:not([type]),select,textarea{font:inherit;padding:6px 9px;border:1px solid var(--line);border-radius:7px;background:#fff;color:var(--ink)}
textarea{width:100%;min-height:62px}
label{font-size:12px;color:var(--muted)}
form.inline{display:inline}
details>summary{cursor:pointer;color:var(--ink2);font-weight:550;list-style:none}
details>summary::-webkit-details-marker{display:none}
details>summary:before{content:"▸ ";color:var(--muted)} details[open]>summary:before{content:"▾ "}
.kv{display:grid;grid-template-columns:150px 1fr;gap:4px 12px;font-size:13px} .kv>div:nth-child(odd){color:var(--muted)}
table.t{width:100%;border-collapse:collapse;font-size:13px}
table.t th{text-align:left;font-weight:600;color:var(--muted);font-size:11.5px;text-transform:uppercase;letter-spacing:.04em;padding:6px 8px;border-bottom:1px solid var(--line)}
table.t td{padding:7px 8px;border-bottom:1px solid var(--line2);vertical-align:top}
table.t td.r,table.t th.r{text-align:right} table.t tr:hover td{background:#fbfaf7}
.r{text-align:right}

/* clickable numbers: every figure is a door into its proof */
a.fig{font-variant-numeric:tabular-nums;color:var(--ink);border-bottom:1px dashed #a9b3c1;cursor:pointer;white-space:nowrap}
a.fig:hover{background:var(--brand2);text-decoration:none;border-bottom-color:var(--brand)}
a.fig.adj{color:var(--adj);border-bottom-color:var(--adj)} a.fig.flag{color:var(--fail);border-bottom-color:var(--fail)}
a.fig .was{color:var(--muted);text-decoration:line-through;margin-right:4px;font-size:.9em}
a.fig.big{font-size:22px;font-weight:650;border-bottom-width:2px}

/* ------------------------------------------------------------ overview */
.hero{display:grid;grid-template-columns:1.2fr 1.2fr 1fr;gap:12px;margin:14px 0}
.result .lbl{font-size:12px;color:var(--muted);text-transform:uppercase;letter-spacing:.05em}
.result .big{font-size:28px;font-weight:700;letter-spacing:-.02em;margin:2px 0}
.result .delta{font-size:12.5px}
.meter{height:8px;border-radius:5px;background:#ece9e2;overflow:hidden;margin:8px 0}
.meter>span{display:block;height:100%;background:var(--brand)}
.areas{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}
.area-card{display:block;color:var(--ink);padding:13px 14px} .area-card:hover{border-color:#c9d8d5;text-decoration:none}
.area-card .t{font-weight:600}
.so{display:inline-flex;gap:3px}
.so span{font-size:10px;font-weight:700;width:18px;height:18px;border-radius:5px;display:grid;place-items:center;background:#efede8;color:#a19d94}
.so span.cur{background:var(--ok-bg);color:var(--ok)} .so span.stale{background:var(--warn-bg);color:var(--warn)}

/* ------------------------------------------------------------ story / bridge */
.story{font-size:15px;line-height:1.75;color:var(--ink2)}
.story b{color:var(--ink)}
.bridge{display:grid;grid-template-columns:1fr 130px 130px;gap:0;font-size:13.5px}
.bridge>div{padding:7px 10px;border-bottom:1px solid var(--line2)}
.bridge .h{font-size:11px;color:var(--muted);text-transform:uppercase;letter-spacing:.05em;border-bottom:1px solid var(--line)}
.bridge .tot{font-weight:650;background:#faf9f6}
.bar{height:6px;background:#ece9e2;border-radius:4px;overflow:hidden} .bar span{display:block;height:100%;background:var(--brand)}

/* ------------------------------------------------------------ checks */
.check{border-left:4px solid #d0ccc3}
.check.fail{border-left-color:var(--fail)} .check.warn{border-left-color:#e0a030} .check.pass{border-left-color:var(--ok)}
.check.info{border-left-color:var(--info)} .check.done{border-left-color:var(--adj)}
.check .method{font-size:12.5px;color:var(--muted);margin-top:6px}
.prop{display:grid;grid-template-columns:minmax(150px,auto) 1fr auto;gap:10px;align-items:baseline;padding:6px 0;border-top:1px dashed var(--line);font-size:13px}

/* ------------------------------------------------------------ drawer */
#drawer{position:fixed;top:54px;right:0;bottom:0;width:min(640px,100vw);background:#fff;border-left:1px solid var(--line);
  box-shadow:-12px 0 32px rgba(0,0,0,.08);transform:translateX(100%);transition:transform .18s ease;z-index:40;overflow:auto}
#drawer.open{transform:none}
#drawer .dh{position:sticky;top:0;background:#fff;border-bottom:1px solid var(--line);padding:10px 16px;display:flex;align-items:center;gap:8px;z-index:2}
#drawer .db{padding:16px 18px 60px}
.tree{border-left:2px solid var(--line);margin-left:6px;padding-left:12px}
.node{padding:6px 0}
.src{display:grid;grid-template-columns:1fr auto;gap:6px 10px;padding:9px 11px;border:1px solid var(--line);border-radius:9px;margin:6px 0;background:#fcfbf9}
.src .what{font-weight:550}
.conf{font-size:11px;padding:1px 6px;border-radius:5px;background:var(--ok-bg);color:var(--ok)}
.conf.low{background:var(--fail-bg);color:var(--fail)}
.timeline-mini{display:flex;gap:6px;flex-wrap:wrap}
.timeline-mini .v{padding:4px 9px;border-radius:7px;border:1px solid var(--line);font-size:12px}
.timeline-mini .v.cur{border-color:var(--brand);background:var(--brand2)}

/* ------------------------------------------------------------ document viewer */
.docwrap{display:grid;grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);gap:16px;align-items:start}
.paper{background:#fff;border:1px solid #dcd8cf;border-radius:4px;box-shadow:0 2px 10px rgba(0,0,0,.06);padding:34px 38px;
  font-family:var(--mono);font-size:12.5px;line-height:1.85;color:#222;position:relative;min-height:240px;white-space:pre-wrap;word-wrap:break-word}
.paper .pg{position:absolute;top:10px;right:14px;font-size:10.5px;color:#9a968d;font-family:Inter,sans-serif}
.paper .wm{position:absolute;top:10px;left:14px;font-size:10px;color:#b4afa4;font-family:Inter,sans-serif;text-transform:uppercase;letter-spacing:.08em}
mark.hl{background:#fff2b8;padding:1px 2px;border-radius:3px;cursor:pointer;color:inherit;box-shadow:inset 0 -2px 0 #f0c94c}
mark.hl.lowconf{background:#fde2df;box-shadow:inset 0 -2px 0 #e7837a}
mark.hl.focus{background:#0e5a52;color:#fff;box-shadow:0 0 0 3px #9fd3cb}
.pagemap{position:relative;width:110px;height:142px;border:1px solid var(--line);background:#fff;border-radius:3px;flex:none}
.pagemap i{position:absolute;background:rgba(240,201,76,.55);border:1px solid #d9ad2b}
.pagemap i.f{background:rgba(14,90,82,.7);border-color:#0e5a52}
.fieldlist{max-height:70vh;overflow:auto}
.fieldrow{display:grid;grid-template-columns:1fr auto;gap:2px 8px;padding:7px 8px;border-bottom:1px solid var(--line2);font-size:12.5px}
.fieldrow.on{background:var(--brand2)}

/* ------------------------------------------------------------ misc */
.empty{padding:22px;text-align:center;color:var(--muted);border:1px dashed var(--line);border-radius:10px}
.pill-tabs{display:flex;gap:4px;border-bottom:1px solid var(--line);margin:14px 0}
.pill-tabs a{padding:7px 12px;border-bottom:2px solid transparent;color:var(--ink2)} .pill-tabs a.on{border-bottom-color:var(--brand);color:var(--brand);font-weight:600}
.note{padding:10px 12px;border:1px solid var(--line);border-radius:9px;background:#fff}
.note.review{border-left:4px solid var(--warn)} .note.resolved{opacity:.65;border-left-color:var(--ok)}
.qa{padding:10px 12px;border:1px solid var(--line);border-radius:9px;background:#fff}
.stepper{display:grid;grid-template-columns:28px 1fr auto;gap:8px 10px;align-items:start}
.tick{width:22px;height:22px;border-radius:50%;display:grid;place-items:center;font-size:12px;background:#ece9e2;color:#8f8a80}
.tick.ok{background:var(--ok);color:#fff}
.client-shell{max-width:860px;margin:0 auto;padding:28px 22px}
@media print{.top,.nav,#drawer,#pulse,.noprint{display:none!important}.shell{display:block}.main{padding:0}body{background:#fff}.card{box-shadow:none}}
@media (max-width:980px){.top{gap:8px;padding:0 10px}.brand .who,.presence,.clock span{display:none}.persona select{max-width:150px}.shell{grid-template-columns:1fr}.nav{display:none}.hero,.g3,.g4,.areas{grid-template-columns:1fr 1fr}.docwrap{grid-template-columns:1fr}}
@media (max-width:640px){.hero,.g2,.g3,.g4,.areas{grid-template-columns:1fr}.main{padding:16px}.search{display:none}}