:root{--paper:#f7f5ef;--white:#fffefa;--ink:#17332f;--muted:#5c6e64;--green:#146c58;--mint:#dcedde;--line:#d7ded5;--ochre:#a35c25;--cream:#faecd8;--red:#943d32;--serif:Georgia,'Times New Roman',serif;--sans:ui-sans-serif,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:14px/1.6 var(--sans)}[hidden]{display:none!important}a{color:var(--green);text-underline-offset:4px}button,input,select,textarea{font:inherit}button,a,input,select,textarea{touch-action:manipulation}button{cursor:pointer}button:disabled{opacity:.5;cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--ochre);outline-offset:3px}header,main,footer{width:min(1440px,calc(100% - 88px));margin:auto}header{min-height:86px;display:flex;justify-content:space-between;align-items:center;gap:20px;border-bottom:1px solid var(--line);font-size:12px}header a{text-decoration:none}.brand{font-weight:750;letter-spacing:1.2px;display:flex;align-items:center;gap:12px}.brand>span{font-size:28px}.brand small{border-left:1px solid var(--line);padding-left:12px;color:var(--muted);font-size:9px;letter-spacing:1.7px;font-weight:500}.skip{position:absolute;top:-70px;left:16px;background:var(--ink);padding:10px;color:white;z-index:20}.skip:focus{top:10px}.hero{padding:58px 0 39px;max-width:930px}.eyebrow{font-weight:750;font-size:10px;letter-spacing:1.8px;color:var(--green);margin:0 0 15px}h1{font:400 clamp(42px,5.6vw,76px)/1.05 var(--serif);letter-spacing:-2px;margin:0 0 25px}.lede{font-size:18px;color:var(--muted);line-height:1.7;max-width:795px;margin:0}.hero-foot{display:flex;flex-wrap:wrap;gap:10px 22px;align-items:center;margin-top:27px;font-size:11px;color:var(--muted)}.dot{width:7px;height:7px;border-radius:50%;background:var(--green);margin-right:-16px}.journey{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border:1px solid var(--line);border-radius:9px;overflow:hidden;background:var(--white);margin-bottom:38px}.journey button{border:0;border-right:1px solid var(--line);background:transparent;padding:25px 21px;display:flex;gap:17px;align-items:center;text-align:left;color:var(--ink)}.journey button:last-child{border-right:0}.journey button.active,.journey button:hover{background:var(--mint)}.journey b{font:400 26px var(--serif);color:var(--green)}.journey span{flex:1}.journey strong{display:block;font-size:14px}.journey small{display:block;font-size:10px;color:var(--muted);margin-top:4px}.workbench{display:grid;grid-template-columns:270px minmax(0,1fr);gap:26px;align-items:start;scroll-margin-top:18px}.controls{position:sticky;top:20px;padding:14px 0}.controls>label{margin-top:16px}.controls .eyebrow{margin-bottom:20px}label{display:block;font-weight:650;font-size:11px;margin:13px 0 7px}select,input[type=number],textarea{width:100%;border:1px solid #afc2b3;background:var(--white);border-radius:5px;padding:9px 10px;color:var(--ink);min-width:0;max-width:100%}select{font-size:12px;min-height:40px}textarea{font:11px/1.5 ui-monospace,SFMono-Regular,monospace;resize:vertical;min-height:180px}button.primary,button.secondary{min-height:39px;padding:9px 12px;border-radius:5px;font-weight:650;font-size:11px}.primary{border:1px solid var(--green);background:var(--green);color:white;display:flex;justify-content:space-between;gap:15px}.primary:hover{background:#0c5141}.secondary{border:1px solid #afc2b3;background:var(--white);color:var(--green)}.secondary:hover{background:var(--mint)}.controls>.primary,.controls>#cancel{width:100%;margin:15px 0 6px}.button-pair{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin-top:20px}.muted{color:var(--muted);font-size:12px}.help{font-size:11px;line-height:1.65;color:var(--muted)}.small-badge{display:inline-block;font-size:9px;font-weight:650;text-transform:uppercase;letter-spacing:1px;background:var(--mint);color:var(--green);padding:4px 7px;margin-top:11px;border-radius:3px}.status{font-size:11px;padding:10px 11px;background:#e9f1e8;border-left:2px solid var(--green);white-space:pre-line}.status.warn{background:var(--cream);border-color:var(--ochre)}.text-button{border:0;background:none;color:var(--muted);text-decoration:underline;font-size:11px;padding:14px 0}.error{background:#f8e5dd;border:1px solid #dfb3a5;border-radius:5px;padding:12px;color:#803d30;font-size:12px;white-space:pre-line;overflow-wrap:anywhere}.results{background:var(--white);border:1px solid var(--line);border-radius:10px;min-width:0;padding:25px 27px}.result-heading{display:flex;gap:20px;justify-content:space-between;align-items:center}.result-heading h2{font:400 29px/1.15 var(--serif);letter-spacing:-.5px;margin:0}.result-heading .eyebrow{font-size:9px;margin-bottom:9px}.badge{display:inline-block;flex-shrink:0;max-width:155px;border-radius:5px;font-size:10px;font-weight:650;background:var(--mint);color:var(--green);padding:7px 9px;line-height:1.5}.badge.warn{background:var(--cream);color:var(--ochre)}.badge.error-badge{background:#f8e5dd;color:var(--red)}.result-summary{font-size:12px;color:var(--muted);line-height:1.75;max-width:850px;margin:16px 0 24px}.metrics{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:0 -1px 20px}.metric{padding:17px 14px;border-right:1px solid var(--line)}.metric:first-child{padding-left:0}.metric:last-child{border:0}.metric strong{display:block;font:400 29px/1.2 var(--serif);overflow-wrap:anywhere}.metric span{display:block;font-size:9px;color:var(--muted);margin-top:7px}.tabs{display:flex;gap:20px;border-bottom:1px solid var(--line);overflow-x:auto;padding-top:5px}.tabs button{background:none;border:0;border-bottom:2px solid transparent;white-space:nowrap;padding:12px 0;color:var(--muted);font-size:11px;font-weight:650}.tabs button[aria-selected=true]{color:var(--green);border-color:var(--green)}.panel{padding-top:22px}.panel-heading{display:flex;justify-content:space-between;align-items:center;gap:18px;margin:0 0 12px}.panel-heading select{width:min(270px,50%)}h3{font-size:15px;line-height:1.4;margin:0 0 13px}.panel-heading h3{margin:0}h4{font-size:15px;margin:0 0 12px}.unit{font-size:8px;color:var(--muted);letter-spacing:1px}.graph-control{display:flex;align-items:center;gap:12px;margin:15px 0 7px}.graph-control label{margin:0;white-space:nowrap}.graph-control select{max-width:410px}.diagram{background:#f9faf5;border:1px solid #e2e7dd;border-radius:6px;overflow:auto;margin:13px 0;min-width:0}.diagram svg{display:block;width:100%;height:auto;min-width:560px}.event-node{cursor:pointer}.event-node:hover rect,.event-node.selected rect{fill:#dcedde;stroke:var(--green);stroke-width:2}.inspector{border-left:2px solid #c9dacc;background:#f6f8f1;padding:11px 13px;font-size:11px;color:var(--muted);line-height:1.75;margin:12px 0 22px;overflow-wrap:anywhere}.inspector strong{color:var(--ink)}details{border-top:1px solid var(--line);padding:12px 0;margin-top:14px}summary{cursor:pointer;font-weight:650;font-size:11px;line-height:1.6}details[open]>summary{margin-bottom:13px}.table-scroll{max-width:100%;overflow:auto}table{border-collapse:collapse;font-size:10px;min-width:100%;text-align:left}caption{text-align:left;font-size:10px;font-weight:650;color:var(--muted);padding:10px 0}th{font-weight:650;font-size:9px;text-transform:uppercase;letter-spacing:.5px;color:var(--muted);background:#f2f5ec}th,td{border-bottom:1px solid var(--line);padding:10px 11px;vertical-align:top}code{font:10px/1.6 ui-monospace,SFMono-Regular,monospace;overflow-wrap:anywhere}pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:450px;overflow:auto;font-size:10px;background:#f4f6ef;padding:15px}.comparison{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin:25px 0}.comparison article{border:1px solid var(--line);border-radius:7px;padding:19px;background:#f8faf4;min-width:0}.comparison .eyebrow{font-size:8px}.comparison p{font-size:12px}.comparison button{margin-top:10px}.comparison .counterexample{color:var(--ochre);background:var(--cream);padding:10px;border-radius:4px}.order-tester{border-top:1px solid var(--line);padding:25px 0 5px}.order-tester>.primary{margin-top:15px}#order-inputs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px 15px}#order-inputs label{margin:5px 0}.certificate{background:#eef4e9;border:1px solid #dae5d2;border-radius:6px;padding:15px 18px;margin-top:20px;font-size:11px;color:var(--muted)}.certificate p{margin:5px 0}.tree-block,.term-block{border:1px solid #cbdcca;border-radius:5px;padding:10px;margin:7px;background:#f3f7ed;min-width:130px}.tree-label,.term-label{font-size:8px;letter-spacing:1px;color:var(--green);font-weight:700;margin-bottom:7px}.tree-children,.term-children{display:flex;flex-wrap:wrap;gap:4px}.tree-task,.term-task{background:var(--white);border:1px solid #d8e1d0;border-radius:4px;padding:9px 12px;font-size:11px;margin:4px;min-width:90px}.tree-task code,.term-task code{display:block;font-size:8px;color:var(--muted)}.empty{padding:38px 20px;text-align:center;color:var(--muted);font-size:13px}.trace{font-size:12px;color:var(--green);overflow-wrap:anywhere}.term-tree{overflow:auto;background:#f9faf5;border:1px solid var(--line);border-radius:5px;padding:12px;margin:18px 0}#duration-editor{display:grid;grid-template-columns:1fr 120px;gap:8px 15px;border-top:1px solid var(--line);padding-top:23px;margin-top:23px}#duration-editor h3,#duration-editor p,#duration-editor button{grid-column:1/-1}#duration-editor label{margin:0}#duration-editor select{grid-column:1;grid-row:4}#duration-editor input{grid-column:2;grid-row:4}#duration-editor label[for=duration-event]{grid-column:1}#duration-editor label[for=duration-value]{grid-column:2}#duration-editor button{justify-self:start;margin-top:10px}.research{margin:70px 0 0;border-top:1px solid var(--line);padding:43px 0;display:grid;grid-template-columns:1.2fr 1fr 1fr 1fr;gap:30px}.research h2,.method h2{font:400 32px/1.15 var(--serif);letter-spacing:-.5px;margin:0 0 18px}.research h3{font-size:14px}.research p{font-size:12px;color:var(--muted)}.method{border-top:1px solid var(--line);padding:40px 0 45px}.method-grid{display:grid;grid-template-columns:1fr 1fr 1fr;gap:45px;margin-top:30px}.method-grid h3{font-size:13px}.method-grid p{font-size:11px;color:var(--muted)}footer{display:flex;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding:23px 0 30px;font-size:10px;color:var(--muted)}
@media(max-width:1150px){header,main,footer{width:calc(100% - 48px)}.workbench{grid-template-columns:240px minmax(0,1fr);gap:22px}.results{padding:21px}.journey button{padding:22px 16px;gap:12px}.result-heading{align-items:start}.result-heading h2{font-size:26px}.badge{max-width:120px;font-size:9px}.tabs{gap:14px}.research{grid-template-columns:1fr 1fr}.method-grid{gap:24px}}@media(max-width:800px){header,main,footer{width:calc(100% - 32px)}header{min-height:70px;font-size:10px}.brand small{display:none}.hero{padding:40px 0 30px}h1{font-size:49px;letter-spacing:-1.5px}.lede{font-size:16px}.hero-foot{font-size:10px;gap:8px 20px}.journey{grid-template-columns:1fr;margin-bottom:27px}.journey button{border-right:0;border-bottom:1px solid var(--line);padding:19px}.journey button:last-child{border-bottom:0}.workbench{grid-template-columns:1fr;gap:22px}.controls{position:static;background:#ecf2e7;border-radius:7px;padding:21px}.controls>.eyebrow{margin-bottom:15px}.results{padding:19px 16px}.result-heading h2{font-size:26px}.result-heading{gap:12px}.badge{max-width:100px;font-size:8px}.metrics{margin-top:22px}.metric{padding:15px 9px}.metric strong{font-size:25px}.metric span{font-size:8px}.tabs{gap:17px}.tabs button{font-size:10px}.panel-heading{align-items:start;flex-direction:column;gap:8px}.panel-heading select{width:100%;max-width:100%}.graph-control{display:block}.graph-control label{margin-bottom:7px}.graph-control select{max-width:none}.comparison{grid-template-columns:1fr}.diagram svg{min-width:560px}.research{grid-template-columns:1fr;gap:22px;margin-top:45px;padding:30px 0}.research h2{font-size:32px}.research article{border-top:1px solid var(--line);padding-top:22px}.method{padding:30px 0}.method-grid{grid-template-columns:1fr;gap:20px}.method h2{font-size:30px}.method-grid div{padding-top:10px}footer{display:block;font-size:9px}footer span{display:block;margin-top:12px}#order-inputs{grid-template-columns:1fr 1fr;gap:8px}.term-tree{padding:4px}.tree-block,.term-block{margin:4px;padding:7px;min-width:100px}}

.step-tester{border-top:1px solid var(--line);padding-top:24px;margin-top:24px}#step-prefix{max-width:400px}#step-inputs{display:flex;flex-wrap:wrap;gap:8px 18px;margin:12px 0 18px}#step-inputs label{font-size:11px;font-weight:500;display:flex;gap:7px;align-items:center}.wire-line{cursor:pointer}.wire-line:hover path,.wire-line:focus-visible path{stroke:#b66b29;stroke-width:3}.wire-line text{paint-order:stroke;stroke:#f9faf5;stroke-width:3px;stroke-linejoin:round}