:root{--paper:#f6f5ef;--ink:#26372e;--muted:#69736b;--line:#d9ded4;--green:#315e48;--accent:#e5edb8;--white:#fffefa;--gold:#b27b31;--purple:#705286;--blue:#477b96}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:15px/1.6 -apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}header{height:84px;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;padding:0 5vw}.brand{display:flex;gap:13px;align-items:center;text-decoration:none;color:var(--ink);font-size:12px;letter-spacing:2px;font-weight:750}.brand-mark{font:32px Georgia;background:var(--ink);color:var(--paper);border-radius:50%;width:40px;height:40px;text-align:center;line-height:35px}.connection{font-size:12px;color:var(--muted)}.connection:before{content:"";display:inline-block;width:7px;height:7px;background:#819b6c;border-radius:50%;margin-right:9px}main{max-width:1400px;margin:auto;padding:48px 5vw 24px}.intro{display:flex;justify-content:space-between;gap:30px;margin-bottom:45px}.eyebrow,label{font-size:10px;font-weight:750;letter-spacing:1.7px}.eyebrow{color:var(--green);margin:0 0 12px}h1{font:clamp(35px,4.1vw,58px)/1.08 Georgia,serif;letter-spacing:-1.8px;margin:0 0 20px}h1 em{font-weight:400;color:var(--green)}.lede{max-width:620px;color:var(--muted);font-size:16px}.intro-note{align-self:center;border-left:1px solid var(--line);padding-left:24px;min-width:225px;font-size:14px}.intro-note span{font-size:10px;letter-spacing:1.5px;color:var(--muted)}.intro-note small{font:11px monospace;color:var(--muted)}button,select,input{font:inherit}button{cursor:pointer;border:1px solid var(--line);border-radius:6px;padding:10px 16px;transition:background .15s;white-space:nowrap}button:hover{filter:brightness(.96)}button:disabled{opacity:.45;cursor:default}.primary{background:var(--green);color:white;border-color:var(--green)}.subtle{background:var(--white);color:var(--ink)}.tabs{display:flex;border-bottom:1px solid var(--line);margin-bottom:28px;gap:30px}.tabs button{border:0;border-bottom:3px solid transparent;background:none;color:var(--muted);border-radius:0;padding:14px 0;font-size:11px}.tabs button span{margin-left:10px;font-size:14px}.tabs button.active{color:var(--green);border-color:var(--green)}.card{background:var(--white);border:1px solid var(--line);border-radius:9px;padding:24px;margin:18px 0}.selection,.controls{display:flex;gap:18px;align-items:end;flex-wrap:wrap}.selection{padding:22px}.field{display:flex;flex-direction:column;gap:7px;min-width:100px}.grow{flex:1;min-width:220px}label{display:block;color:var(--muted)}select,input{color:var(--ink);background:#fff;border:1px solid var(--line);padding:10px 12px;border-radius:5px;min-height:43px;max-width:100%}input[type=number]{width:115px}input:focus,select:focus,button:focus-visible{outline:2px solid #9fb27d;outline-offset:3px}.subline{font-size:13px;color:var(--muted);margin:12px 0}.metrics{display:grid;grid-template-columns:repeat(4,1fr);margin:30px 0 40px}.metrics>div{border-left:1px solid var(--line);padding-left:25px}.metrics>div:first-child{padding-left:0;border:0}.metrics span{display:block;font:36px Georgia}.metrics small{color:var(--muted);font-size:12px}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:15px;margin-top:30px}.section-heading .eyebrow{margin-bottom:5px}h2{font:27px/1.2 Georgia;margin:0}.legend{display:flex;gap:12px;flex-wrap:wrap;font-size:10px;font-weight:650}.Crd{color:var(--green)}.Nct{color:var(--gold)}.Scl{color:var(--blue)}.Tns{color:var(--purple)}.hint{font-size:12px;color:var(--muted);line-height:1.7}.sequence{display:flex;gap:7px;overflow:auto;padding:10px 0 20px}.event-chip{min-width:76px;flex-shrink:0;background:var(--white);border:1px solid var(--line);border-top:3px solid currentColor;border-radius:5px;padding:8px;text-align:center}.event-chip .number{display:block;font:10px monospace;color:var(--muted)}.event-chip strong{display:block;font:22px Georgia;margin:5px 0}.event-chip strong sup{font:9px sans-serif}.event-chip small{display:block;font-size:9px;color:var(--muted)}.unknown{color:#999}.proof-card>.section-heading{margin-top:0;margin-bottom:22px}.badge{font-size:10px;padding:5px 10px;background:#edf0e7;border-radius:20px;color:var(--green)}.proof-visual{overflow:auto;padding:25px 8px;background:linear-gradient(90deg,transparent 23px,#e5e9dc55 24px),linear-gradient(transparent 23px,#e5e9dc55 24px);background-size:24px 24px;border:1px solid var(--line);border-radius:5px;margin:20px 0}.proof-node{display:inline-flex;flex-direction:column;align-items:center;padding:0 8px;font:16px Georgia;white-space:nowrap}.premises{display:flex;align-items:end;gap:20px;padding:0 0 7px}.conclusion{border-top:1px solid var(--ink);padding:7px 18px 0;min-width:100%;text-align:center}.proof-rule{font:9px monospace;color:var(--muted);margin-left:8px}.axiom{padding:0 10px}.atom sup{font:9px sans-serif}.controls+.controls{margin-top:20px}.checkbox{display:flex;align-items:center;gap:10px;font-size:12px;letter-spacing:0;font-weight:400}.checkbox input{min-height:0}details summary{cursor:pointer;font-size:13px;font-weight:600}summary span{float:right;font:11px monospace;color:var(--muted)}pre{background:#eff1e9;padding:18px;border-radius:5px;font:11px/1.7 ui-monospace,monospace;overflow:auto;max-height:320px;white-space:pre-wrap;overflow-wrap:anywhere}.table-scroll{overflow:auto}table{border-collapse:collapse;width:100%;text-align:left;font-size:12px}th{text-transform:uppercase;font-size:9px;letter-spacing:1.2px;color:var(--muted);padding:10px 14px;border-bottom:1px solid var(--line)}td{padding:13px 14px;border-bottom:1px solid #ecede6;vertical-align:top}tbody tr:last-child td{border-bottom:0}.audit .table-scroll{max-height:480px;margin-top:15px}.chain-label{font-family:ui-monospace,monospace;font-size:11px;min-width:170px}.table-button{padding:4px 9px;font-size:11px;background:var(--paper);color:var(--green)}.pagination{display:flex;align-items:center;justify-content:flex-end;gap:20px;font-size:12px;color:var(--muted)}.probability-layout{display:grid;grid-template-columns:2fr 1fr;gap:22px}.prob-row{display:grid;grid-template-columns:100px 1fr 55px;gap:15px;align-items:center;padding:10px 0}.prob-bar{height:8px;background:#edf0e7;border-radius:8px;overflow:hidden}.prob-bar span{height:100%;display:block;background:var(--green)}.prob-row small{font-size:11px}.sample{background:var(--accent);text-align:center;display:flex;flex-direction:column;justify-content:center}.sample #sample{font:45px Georgia;margin:20px 0}.sample p:last-child{font-size:12px;color:var(--green)}.settings{margin-top:45px}.settings .controls{margin-top:20px}footer{border-top:1px solid var(--line);margin-top:40px;padding-top:25px;display:flex;justify-content:space-between;gap:20px;font-size:10px;color:var(--muted)}#message{padding:14px 20px;background:#faf0d7;border:1px solid #e2d3ad;border-radius:7px;margin-bottom:20px;font-size:13px}.empty{padding:30px;color:var(--muted);text-align:center}[hidden]{display:none!important}@media(max-width:760px){header{height:65px;padding:0 20px}.brand{font-size:9px;letter-spacing:1px}main{padding:32px 20px}.intro-note{display:none}.intro{margin-bottom:20px}.tabs{gap:22px}.tabs button span{font-size:12px;margin-left:3px}.tabs button{font-size:9px}.metrics{gap:12px}.metrics>div{padding-left:10px}.metrics span{font-size:29px}.metrics small{font-size:10px}.section-heading{align-items:start;flex-direction:column}.card{padding:18px}.selection button{flex:1}.probability-layout{grid-template-columns:1fr}.legend{gap:9px}.grow{min-width:180px}.controls .field{flex:1}.controls input[type=number]{width:100%}footer{flex-direction:column}.pagination{justify-content:space-between}}
@media(max-width:760px){.tabs{overflow-x:auto;gap:18px}.tabs button{flex-shrink:0}.tabs::-webkit-scrollbar{height:3px}}