:root{color-scheme:light;--paper:#f4f7fa;--ink:#203446;--muted:#617181;--accent:#126caa;--orange:#c16023;--line:#d8e1e8;--teal:#168078;font:16px/1.35 Arial,Helvetica,sans-serif;color:var(--ink);background:var(--paper)}
*{box-sizing:border-box}[hidden]{display:none!important}body{margin:0;padding:22px}button,input,select{font:inherit}a{color:var(--accent)}button,select{min-height:30px;border:1px solid var(--line);border-radius:5px;background:#fff;color:var(--ink);padding:4px 9px}button{cursor:pointer}button:disabled{opacity:.4;cursor:default}button[aria-pressed=true],.primary{background:var(--accent);color:white;border-color:var(--accent)}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,.graph-node:focus-visible{outline:3px solid var(--orange);outline-offset:2px}input[type=range]{accent-color:var(--accent);width:100%;min-height:20px;margin:1px 0;cursor:pointer}.standalone{display:flex;gap:24px;max-width:1250px;margin:0 auto 24px;align-items:center}.standalone span{flex:1}#app{max-width:1250px;margin:auto;background:#fff;border:1px solid var(--line);border-radius:8px;overflow:hidden}.lab{padding:10px 14px}.embedded body{padding:0}.embedded .standalone{display:none}.embedded #app{height:100vh;width:100%;font-size:13px}.embedded .lab{height:100%;display:flex;flex-direction:column}.stepbar{display:flex;align-items:center;gap:7px;height:33px}.stepbar select{flex:1;min-width:0;font-weight:700;font-size:13px}.stepbar #progress{font-size:12px;color:var(--muted);min-width:48px;text-align:center}.phases{display:flex;align-items:center;gap:7px;padding:6px 0;border-bottom:1px solid var(--line);height:44px}.phases button{font-size:12px;min-height:29px;padding:3px 13px}.phases button span{opacity:.7;margin-right:5px}.iterations{margin-left:auto;display:flex;gap:8px;align-items:center;font-size:12px;color:var(--muted)}.iterations select{font-size:12px;min-height:27px}.workspace{display:grid;grid-template-columns:minmax(0,61%) minmax(0,1fr);gap:17px;flex:1;min-height:0;padding:7px 0 6px}.scene{min-width:0;display:flex;flex-direction:column}.graph-legend{display:flex;align-items:center;gap:11px;font-size:10.5px;color:var(--muted);min-height:19px}.graph-legend span:last-child{margin-left:auto}.graph-legend i{display:inline-block;width:15px;height:3px;margin-right:4px;vertical-align:middle}.graph-legend .out{background:var(--orange)}.graph-legend .in{background:var(--teal)}#graph{flex:1;min-height:0;display:flex;align-items:center}#graph>svg{display:block;width:100%;height:100%;max-height:241px}.node-label{font-size:19px;line-height:1.2;text-align:center;color:var(--ink);pointer-events:none}.constraint-label{font-size:16px}.graph-node{cursor:pointer}.time-label{font:12px Arial;fill:#617181}.measurement-scene{height:37px;flex:none}.measurement-scene svg{width:100%;height:100%;display:block}.measurement-scene text{font:12px Arial;fill:#617181}.beliefs{display:grid;grid-template-columns:repeat(4,1fr);gap:8px;margin-top:5px}.belief-card{text-align:left;padding:4px 7px;background:var(--paper);font-size:12px;min-height:49px}.belief-card>div:first-child{display:flex;justify-content:space-between;gap:5px}.belief-card strong{color:var(--teal)}.belief-track{height:4px;background:#dce8ee;margin:4px 0}.belief-track i{display:block;height:100%;background:var(--teal)}.belief-card small{font-size:9.5px;color:var(--muted);display:block}.inspector{border-left:1px solid var(--line);padding-left:16px;min-width:0}.selection{display:flex;gap:10px;align-items:center;min-height:27px}.selection label{display:flex;align-items:center;gap:5px;font-size:11px;color:var(--muted)}.selection select{min-height:24px;padding:1px 4px;font-size:12px}.selection #source{font-size:9px;color:var(--muted);margin-left:auto;max-width:170px;text-align:right}h2{font-size:14px;line-height:1.3;margin:5px 0 4px;font-weight:700}#description{font-size:12px;line-height:1.3;margin:0;min-height:31px;color:var(--muted)}.formula{font-size:15px;min-height:42px;display:flex;align-items:center;padding:3px 0}.entry-controls{display:flex;align-items:center;gap:7px;min-height:27px;font-size:11px;color:var(--muted)}#entry-buttons,#belief-kind{display:flex;gap:4px}.entry-controls button{min-height:24px;padding:2px 8px;font-size:12px}table{border-collapse:collapse;width:100%;font-variant-numeric:tabular-nums}.arithmetic{font-size:12px;margin:3px 0}.arithmetic td,.arithmetic th{padding:3px 5px;border-bottom:1px solid #e9eef2;text-align:right;height:23px}.arithmetic th{font-weight:400;color:var(--muted);font-size:11px;height:25px}.arithmetic th:first-child,.arithmetic td:first-child{text-align:left}.arithmetic .term{font-weight:700;color:var(--orange)}.arithmetic tfoot td{background:var(--paper);font-size:11px;font-weight:700}.vector{display:flex;gap:6px;align-items:center;margin-top:5px}.vector-label{font-size:10px;color:var(--muted);margin-right:auto}.vector-label small{display:block;font-size:9px}.vector>div{display:flex;align-items:center;justify-content:space-between;gap:8px;min-width:73px;flex:1;padding:4px 7px;background:var(--paper);border:1px solid transparent;border-radius:4px}.vector>div.selected{background:#fff8f2;border-color:#ecd5c6}.vector>div>span{font-size:10px;color:var(--muted)}.vector strong{font-size:14px}#note{font-size:11px;line-height:1.35;color:var(--muted);margin:6px 0 0}.parameters{border-top:1px solid var(--line);display:grid;grid-template-columns:repeat(3,1fr);gap:28px;padding-top:5px;flex:none}.parameter>span{display:flex;justify-content:space-between;align-items:center;font-size:12px}.parameter output{font-weight:700;color:var(--accent)}.status{font-size:9.5px;line-height:1.3;display:flex;justify-content:space-between;gap:9px;margin-top:2px;color:var(--muted)}#check{color:var(--teal)}.math-tex{position:relative}.math-inline{display:inline-block;vertical-align:-.12em;line-height:1}.math-display{display:block;text-align:center}.math-tex mjx-container{margin:0!important}.math-tex svg{max-width:100%;height:auto}mjx-assistive-mml{position:absolute!important;width:1px!important;height:1px!important;overflow:hidden!important;clip-path:inset(50%)!important;white-space:nowrap!important}
@media(min-width:800px){html:not(.embedded) .lab{padding:18px 24px}html:not(.embedded) .workspace{min-height:440px}html:not(.embedded) #graph>svg{max-height:315px}html:not(.embedded) .inspector{font-size:15px}html:not(.embedded) #description,html:not(.embedded) #note{font-size:14px}html:not(.embedded) h2{font-size:18px}html:not(.embedded) .arithmetic{font-size:14px}html:not(.embedded) .arithmetic td{height:30px}html:not(.embedded) .formula{font-size:18px;min-height:66px}html:not(.embedded) .parameters{margin-top:12px}html:not(.embedded) .status{margin-top:8px;font-size:11px}}
@media(max-width:760px){body{padding:12px}.standalone{flex-wrap:wrap;gap:12px;font-size:14px}.standalone span{min-width:70%}#app{overflow:visible}.embedded #app{height:auto;min-height:100vh}.lab{padding:12px}.embedded .lab{display:block}.stepbar{height:auto;flex-wrap:wrap}.stepbar select{flex-basis:80%;order:-1}.stepbar button{min-height:40px}.phases{height:auto;flex-wrap:wrap;gap:5px;padding:10px 0}.phases button{min-height:36px;padding:4px 8px}.iterations{margin:0 0 0 auto}.iterations select{min-height:36px}.workspace{display:block;padding-top:12px}.graph-legend{flex-wrap:wrap;gap:10px;font-size:11px}.graph-legend span:last-child{margin:0;flex-basis:100%}#graph{height:auto;margin:10px -8px}#graph>svg{max-height:none;min-height:160px}.measurement-scene{height:37px}.beliefs{grid-template-columns:repeat(2,1fr)}.belief-card{min-height:55px;font-size:14px}.belief-card small{font-size:11px}.inspector{border-left:0;border-top:1px solid var(--line);padding:15px 0;margin-top:17px}.selection label{font-size:12px}.selection select{min-height:38px}.selection #source{font-size:10px}h2{font-size:17px;margin:10px 0}#description,#note{font-size:14px}.formula{font-size:17px;min-height:62px}.entry-controls{font-size:13px}.entry-controls button{min-height:37px}.arithmetic{font-size:13px}.arithmetic td,.arithmetic th{height:31px}.arithmetic th{font-size:12px}.vector{margin-top:11px}.vector strong{font-size:15px}.vector-label{font-size:11px}.vector-label small{font-size:10px}.vector>div{min-width:0;padding:6px;gap:4px}.parameters{grid-template-columns:1fr;gap:12px}.parameter>span{font-size:14px}.status{display:block;font-size:11px;margin-top:10px}.status span{display:block;margin-top:5px}.time-label{font-size:13px}.node-label{font-size:20px}}
.scene{min-height:0}.scene #note{flex:none;min-height:30px;font-size:12px;line-height:1.35;margin:5px 0 0}.scene .measurement-scene{height:30px}.vector{margin-top:7px}.message-label{color:var(--orange);font-size:17px;text-align:center;pointer-events:none}
@media(max-width:760px){.scene #note{font-size:13px}.scene .measurement-scene{height:37px}}
@media(prefers-reduced-motion:reduce){*{transition:none!important}}