.semantic-equation{border:1px solid var(--line,#bcb5a6);border-radius:.65rem;padding:clamp(.8rem,2vw,1.4rem);margin:1.2rem 0;min-width:0;background:var(--paper,#faf7ef)}.semantic-equation h3{font-size:var(--type-body);margin:.15rem 0 .7rem}.equation-formula{max-width:100%;overflow-x:auto;padding:.5rem .2rem;min-height:4rem;outline-offset:3px}.equation-visual .katex-display{margin:.6rem 0}.equation-mathml{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;-webkit-clip-path:inset(50%);clip-path:inset(50%);white-space:nowrap}.equation-sentence{font-size:var(--type-small);line-height:1.7}.equation-sentence span[data-selected=true]{background:#efe0ad;text-decoration:underline;text-underline-offset:.2em}.equation-chips,.equation-tools{display:flex;flex-wrap:wrap;gap:.45rem;margin:.8rem 0}.eq-chip{min-height:2.25rem;min-width:2.25rem;display:flex;gap:.5rem;align-items:center;max-width:100%;text-align:left}.eq-kind{font-size:var(--type-micro);text-transform:uppercase;letter-spacing:.04em}.eq-operation{border-style:dashed!important}.eq-chip[data-selected=true]{outline:2px solid currentColor;outline-offset:1px}.equation-inspector{padding:.85rem;border-left:3px solid #7b5326;background:var(--wash);margin:.9rem 0}.equation-inspector h4{margin:0}.equation-inspector p{margin:.6rem 0}.equation-inspector code{overflow-wrap:anywhere}.equation-values{border-top:1px solid #c7beac;margin-top:1rem;padding-top:.65rem}.equation-values[data-pending=true]{border-left:3px dashed #7b5326;padding-left:.65rem}.equation-value-list{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,13rem),1fr));grid-gap:.8rem;gap:.8rem;margin:.6rem 0}.equation-value-list dt{font-size:var(--type-fine)}.equation-value-list dd{margin:.1rem 0;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.semantic-equation details dd{margin:.25rem 0 .85rem}.am-role-input{color:#6f401a}.am-role-result{color:#145b67}.am-role-constant{color:#5b3c75}.equation-visual [data-selected=true]{background:#efe0ad;outline:2px solid currentColor;outline-offset:2px}.semantic-equation[data-pattern=true] .am-role-input,[data-theme=kramgasse-night] .equation-sentence span[data-selected=true],[data-theme=kramgasse-night] .equation-visual [data-selected=true]{color:inherit;-webkit-text-decoration:underline dashed;text-decoration:underline dashed}.semantic-equation[data-pattern=true] .am-role-result{color:inherit;-webkit-text-decoration:underline double;text-decoration:underline double}.semantic-equation[data-pattern=true] .am-role-constant{color:inherit;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.semantic-equation button:disabled{opacity:.75}.equation-context[data-selected-quantity-id=diffusionCoefficient] [data-quantity-id=diffusionCoefficient],.equation-context[data-selected-quantity-id=modelApparentSpeed] [data-quantity-id=modelApparentSpeed],.equation-context[data-selected-quantity-id=observationInterval] [data-quantity-id=observationInterval],.equation-context[data-selected-quantity-id=rmsDisplacement1d] [data-quantity-id=rmsDisplacement1d],.equation-context[data-selected-quantity-id=viscosity] [data-quantity-id=viscosity]{outline:2px solid #6f401a;outline-offset:1px}.equation-context{min-width:0}.live-equation-group{max-width:58rem;margin-inline:auto}@media (max-width:420px){.semantic-equation .katex{font-size:1.05em}.eq-chip,.semantic-equation .fine{font-size:var(--type-fine)}}@media print{.equation-chips,.equation-inspector,.equation-tools{display:none}.equation-visual [data-selected]{outline:none;background:none}.am-role-constant,.am-role-input,.am-role-result{color:inherit}.semantic-equation{page-break-inside:avoid;break-inside:avoid}}.equation-visual *{pointer-events:none}.equation-visual [data-op],.equation-visual [data-term]{pointer-events:auto;cursor:pointer}.am-term-explorer{border:1px solid var(--line);border-radius:.5rem;padding:1rem;margin:1rem 0;background:var(--wash);color:var(--ink);font-family:var(--font-sans)}.am-explorer-header{display:flex;flex-direction:column;gap:.25rem;margin-bottom:.75rem}.am-explorer-title{font-weight:600;font-size:var(--type-fine)}.am-explorer-hint{color:var(--muted);font-size:var(--type-micro)}.am-term-chips{display:flex;flex-wrap:wrap;gap:.5rem;border:none;padding:0;margin:0 0 .75rem}.am-chip{display:inline-flex;align-items:center;gap:.375rem;padding:.25rem .5rem;border:1px solid var(--line);border-radius:.25rem;background:var(--panel);color:var(--ink);font-size:var(--type-fine);cursor:pointer;line-height:1.3}.am-chip.selected{outline:2px solid var(--accent);outline-offset:1px}.am-chip-term{border-style:solid}.am-chip-operation{border-style:dashed}.chip-name{font-weight:500}.chip-kind{font-size:var(--type-micro);color:var(--muted);text-transform:uppercase}.am-term-inspector{padding:.75rem;border:1px solid var(--line);border-radius:.375rem;background:var(--panel);margin-top:.5rem}.inspector-head{display:flex;align-items:center;justify-content:space-between;gap:.5rem;margin-bottom:.375rem}.inspector-speech{font-size:var(--type-fine);color:var(--ink);margin:0 0 .5rem;line-height:1.4}.inspector-meta{display:flex;flex-wrap:wrap;gap:.75rem;font-size:var(--type-micro);color:var(--muted)}.meta-item{display:inline-flex;gap:.25rem}.badge-status{color:var(--accent)}.badge-conclusion,.badge-constant,.badge-coordinate,.badge-countermodel,.badge-definition,.badge-field,.badge-input,.badge-model-result,.badge-move,.badge-operation,.badge-parameter,.badge-premise{font-size:var(--type-micro);padding:.125rem .375rem;border-radius:.25rem;background:var(--wash);border:1px solid var(--line)}.latex-container{display:inline-block;vertical-align:middle}.latex-unavailable{border-radius:.25rem;border:1px solid var(--line);background:var(--wash);padding:.25rem .5rem;font-family:var(--font-sans);font-size:var(--type-micro);color:var(--muted)}.latex-block-wrapper{display:block;overflow-x:auto}.equation-role-key{font-size:var(--type-fine);color:var(--muted);margin-bottom:.5rem}.bridge-link{font-size:var(--type-fine);color:var(--accent);text-decoration:underline}.genealogy-node-title{font-weight:600;font-size:var(--type-small)}