.semantic-explorer{border-block:1px solid;min-width:0;margin-block:1rem}.semantic-explorer>summary{cursor:pointer;min-height:44px;padding:.85rem .25rem;font-weight:650}.semantic-explorer-body{min-width:0;padding:.5rem .25rem 1rem}.semantic-explorer :is(p,h4,legend,caption,label){overflow-wrap:anywhere}.semantic-explorer h4{margin-block:.75rem;font-size:1.1rem}.semantic-question{border-inline-start:3px solid;margin-block:1rem;padding-inline-start:.8rem}.semantic-question p{margin-block:.4rem}.semantic-context,.semantic-boundary{font-size:.9rem;line-height:1.55}.semantic-math-scroll{overscroll-behavior-inline:contain;min-width:0;max-width:100%;padding-block:.5rem;overflow-x:auto}.semantic-explorer .math-view{max-width:100%}.semantic-explorer .semantic-math-scroll .math-view{max-width:none}.semantic-operation{font-variant-numeric:tabular-nums;font-size:1.15rem;font-weight:650}.semantic-scalar svg{width:100%;max-width:32rem;height:auto;color:inherit;margin-inline:auto;display:block}.semantic-scalar svg :is(line,path,circle,rect){stroke:currentColor;stroke-width:1.5px;fill:none;vector-effect:non-scaling-stroke}.semantic-scalar svg marker path{fill:currentColor;stroke:none}.semantic-scalar svg text{fill:currentColor;font-size:13px}.semantic-scalar svg .semantic-highlight{stroke-width:3px;fill:currentColor;fill-opacity:.12}.semantic-exact-table{border-collapse:collapse;text-align:start;width:100%}.semantic-explorer th,.semantic-explorer td{vertical-align:middle;border:1px solid;padding:.6rem}.semantic-exact-table th{width:32%;font-size:.95rem}.semantic-explorer caption{text-align:start;padding-block:.5rem}.semantic-prediction{flex-direction:column;align-items:stretch;gap:.75rem;margin-block:1rem;display:flex}.semantic-prediction label{flex-direction:column;gap:.5rem;display:flex}.semantic-prediction input:not([type=radio]){box-sizing:border-box;width:100%;min-width:0;min-height:44px;font:inherit;color:inherit;background:0 0;border:1px solid;border-radius:.3rem;padding:.7rem}.semantic-prediction fieldset{border:1px solid;min-width:0;margin:0}.semantic-prediction fieldset label{flex-direction:row;align-items:center;min-height:44px}.semantic-explorer button{touch-action:manipulation;white-space:normal;min-width:44px;min-height:44px}.semantic-context-observation{overscroll-behavior-inline:contain;min-width:0;max-width:100%;overflow-x:auto}.semantic-explorer select{width:100%;min-width:0;max-width:100%;min-height:44px;font:inherit;color:inherit;background:var(--surface,transparent);border:1px solid;padding:.7rem}.semantic-concept>label{flex-direction:column;gap:.5rem;margin-block:.75rem;display:flex}.semantic-concept input{box-sizing:border-box;width:100%;min-width:0;min-height:44px;font:inherit;color:inherit;background:0 0;border:1px solid;padding:.7rem}.semantic-concept svg{width:100%;max-width:32rem;height:auto;margin-inline:auto;display:block}.semantic-concept svg:not(.semantic-instrument-svg) :is(path,rect,line,circle){stroke:currentColor;stroke-width:1.5px;fill:none;vector-effect:non-scaling-stroke}.semantic-concept svg:not(.semantic-instrument-svg) text{fill:currentColor;font-size:15px}.semantic-concept svg:not(.semantic-instrument-svg) .semantic-highlight{stroke-width:2px;fill:currentColor;fill-opacity:.15}.semantic-concept fieldset{min-width:0;margin-block:.75rem}.semantic-concept fieldset button{min-width:4rem;margin:.3rem}.semantic-concept button[aria-pressed=true]{outline-offset:-2px;outline:2px solid;font-weight:700}.semantic-concept .semantic-exact-table th{width:auto}.semantic-explorer :is(button,input,summary,[tabindex="0"]):focus-visible{outline-offset:4px;outline:2px solid}.semantic-observation{border-inline-start:3px solid;padding-inline-start:.8rem}.semantic-history-actions{flex-wrap:wrap;gap:.5rem 1rem;display:flex}.semantic-matrix table{border-collapse:collapse;text-align:center}.semantic-matrix td{min-width:4rem}.semantic-cell-marked{outline-offset:-4px;outline:3px solid}.semantic-result-matrix button{min-width:64px;color:inherit;font:inherit;background:0 0;border:1px solid;padding:.6rem}.semantic-result-matrix button[aria-pressed=true]{outline-offset:-3px;outline:3px solid;font-weight:700}.semantic-history{margin-block-start:1rem}.semantic-explorer *,.semantic-explorer :before,.semantic-explorer :after{transition:none;animation:none}@media (width<=390px){.semantic-explorer-body{padding-inline:0}.semantic-explorer th,.semantic-explorer td{padding:.45rem}.semantic-history-actions{flex-direction:column;align-items:stretch}}@media (prefers-reduced-motion:reduce){.semantic-explorer{scroll-behavior:auto}}.semantic-source-details{margin-block:.35rem;font-size:.9rem}.semantic-source-details>summary{cursor:pointer;min-height:44px;padding-block:.6rem}.semantic-logic-task{margin-block:.7rem;font-size:.9rem}.semantic-logic-context-bar{z-index:1;background:var(--surface,#fff);border-block-end:1px solid var(--divider,currentColor);position:sticky;top:0}.semantic-logic-context-bar>.semantic-source-details{margin:0}.semantic-logic-context-bar>.semantic-source-details>summary{max-width:calc(100% - 11rem);padding-inline-end:.5rem}.semantic-logic-context-bar>button{max-width:10.5rem;padding-block:.5rem;font-size:.82rem;position:absolute;inset-block-start:0;inset-inline-end:0}@media (width<=600px){.semantic-logic-context-bar>.semantic-source-details>summary{max-width:none;padding-inline-end:0}.semantic-logic-context-bar>button{text-align:start;width:100%;max-width:100%;margin-block:.2rem;position:static}}.semantic-logic-lab{--logic-paper:var(--surface,#f6f5f1);--logic-fill:color-mix(in srgb, currentColor 8%, var(--logic-paper));min-width:0;margin-block-start:1.2rem}.semantic-logic-heading{gap:.5rem;margin-block-end:1rem;display:grid}.semantic-logic-eyebrow{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font-size:.78rem}.semantic-logic-heading h3{max-width:26ch;margin:0;font-size:clamp(1.35rem,3vw,1.7rem);line-height:1.2}.semantic-logic-source{font-variant-numeric:tabular-nums;font-size:.9rem}.semantic-logic-workbench{gap:1.2rem;min-width:0;display:grid}.semantic-logic-view{border:1px solid var(--divider,currentColor);background:color-mix(in srgb, var(--surface) 96%, var(--ink));border-radius:.7rem;min-width:0;padding:.9rem}.semantic-logic-readout{flex-wrap:wrap;align-items:baseline;gap:.35rem .7rem;margin-block-end:.8rem;font-size:.9rem;display:flex}.semantic-logic-readout>strong{font-size:1.25rem}.semantic-logic-tested-x{overflow-wrap:anywhere;width:100%}.semantic-logic-alert-badge{background:var(--ink,currentColor);color:var(--surface,#fff);border-radius:.2rem;margin-block:0 .6rem;padding:.3rem .6rem;font-size:.88rem;font-weight:650;display:inline-block}.semantic-logic-conditions{flex-wrap:wrap;justify-content:space-between;gap:.3rem .7rem;margin-block:.4rem;font-size:.9rem;font-weight:550;display:flex}.semantic-logic-figure{margin:0}.semantic-logic-figure figcaption{color:var(--muted);margin-block:.5rem .9rem;font-size:.82rem;line-height:1.45}.semantic-concept svg.semantic-logic-bench{max-width:38rem;overflow:visible}.semantic-concept .semantic-logic-bench .logic-solid{--logic-tone:16%}.semantic-concept .semantic-logic-bench .logic-tone-lo{--logic-tone:9%}.semantic-concept .semantic-logic-bench .logic-tone-hi{--logic-tone:5%}.semantic-concept .semantic-logic-bench .logic-tone-lit{--logic-tone:65%}.semantic-concept .semantic-logic-bench .logic-face-top{fill:color-mix(in srgb, var(--ink) var(--logic-tone), var(--logic-paper));stroke:color-mix(in srgb, var(--ink) 30%, var(--logic-paper));stroke-width:.75px}.semantic-concept .semantic-logic-bench .logic-face-front{fill:color-mix(in srgb, var(--ink) calc(var(--logic-tone) + 7%), var(--logic-paper));stroke:color-mix(in srgb, var(--ink) 30%, var(--logic-paper));stroke-width:.75px}.semantic-concept .semantic-logic-bench .logic-face-side{fill:color-mix(in srgb, var(--ink) calc(var(--logic-tone) + 14%), var(--logic-paper));stroke:color-mix(in srgb, var(--ink) 30%, var(--logic-paper));stroke-width:.75px}.semantic-concept .semantic-logic-bench .logic-shadow{fill:var(--ink);opacity:.07;stroke:none;filter:blur(6px)}.semantic-concept .semantic-logic-bench :is(.logic-groove,.logic-inset){stroke:color-mix(in srgb, var(--ink) 15%, var(--logic-paper));stroke-width:.7px}.semantic-concept .semantic-logic-bench .logic-fastener path{fill:var(--logic-paper);stroke:color-mix(in srgb, var(--ink) 28%, var(--logic-paper));stroke-width:.7px}.semantic-concept .semantic-logic-bench .logic-fastener circle{fill:var(--ink);stroke:none}.semantic-concept .semantic-logic-bench .logic-socket-open{fill:color-mix(in srgb, var(--ink) 52%, var(--logic-paper));stroke:color-mix(in srgb, var(--ink) 18%, var(--logic-paper));stroke-width:.7px}.semantic-concept .semantic-logic-bench .logic-socket-inner{fill:var(--ink);stroke:none;opacity:.85}.semantic-concept .semantic-logic-bench .logic-socket-closed{fill:var(--logic-paper);stroke:color-mix(in srgb, var(--ink) 28%, var(--logic-paper));stroke-width:.8px}.semantic-concept .semantic-logic-bench .logic-ruler-tick{stroke:color-mix(in srgb, var(--ink) 50%, var(--logic-paper));stroke-width:.75px}.semantic-concept .semantic-logic-bench text{font-variant-numeric:tabular-nums;font-family:inherit;font-size:24px}.semantic-concept .semantic-logic-bench .logic-channel-number{fill:var(--muted);font-size:11px}.semantic-concept .semantic-logic-bench .logic-selected-label{font-weight:750}.semantic-concept .semantic-logic-bench .logic-gap{font-size:16px}.semantic-concept .semantic-logic-bench .logic-probe-ring{stroke:var(--logic-paper);stroke-width:1px}.semantic-concept .semantic-logic-bench .logic-probe-centre{fill:var(--logic-paper);stroke:none}.semantic-concept .semantic-logic-bench .logic-knurl{stroke:color-mix(in srgb, var(--ink) 45%, var(--logic-paper));stroke-width:.6px}.semantic-concept .semantic-logic-bench .logic-pointer{fill:var(--ink);stroke:none}.semantic-concept .semantic-logic-bench .logic-test-carriage{transition:transform .18s ease-out}.semantic-logic-facts{gap:.4rem;margin-block:.65rem;font-size:.86rem;display:grid}.semantic-logic-facts p{flex-wrap:wrap;justify-content:space-between;gap:.2rem .5rem;margin:0;display:flex}.semantic-logic-conditions b{color:var(--muted);margin-inline-end:.2rem;font-size:.68rem;font-weight:500}@media (prefers-reduced-motion:reduce){.semantic-concept .semantic-logic-bench .logic-test-carriage{transition:none}}.semantic-logic-result{border-block-start:1px solid var(--divider,currentColor);gap:.4rem;padding-block-start:.8rem;line-height:1.45;display:grid}.semantic-logic-result>strong{font-size:1.12rem}.semantic-logic-result p{margin:0;font-size:.9rem}.semantic-logic-result.has-counterexample{border-inline-start:4px solid;padding-inline-start:.75rem}.semantic-logic-prediction-result{color:var(--muted)}.semantic-logic-controls{align-content:start;gap:.65rem;min-width:0;display:grid}.semantic-logic-controls>label,.semantic-logic-controls>label select{gap:.4rem;display:grid}.semantic-logic-input-heading{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.3rem .5rem;display:flex}.semantic-logic-input-heading>label{font-size:.9rem}.semantic-logic-stepper{grid-template-columns:3rem minmax(0,1fr) 3rem;align-items:stretch;gap:.4rem;display:grid}.semantic-logic-stepper button{border:1px solid var(--divider,currentColor);color:inherit;background:0 0;border-radius:.3rem}.semantic-logic-controls .semantic-use-source{justify-self:start;padding:.25rem 0;font-size:.88rem}.semantic-logic-controls fieldset{border:0;flex-wrap:wrap;gap:.25rem .8rem;margin:.1rem 0;padding:0;display:flex}.semantic-logic-controls legend{margin-block-end:.4rem;font-weight:550}.semantic-logic-controls fieldset label{align-items:center;gap:.6rem;min-height:44px;display:flex}.semantic-logic-controls fieldset input{flex:0 0 1.1rem;width:1.1rem;min-height:1.1rem}.semantic-logic-controls .semantic-history-actions{gap:.4rem .8rem;font-size:.88rem}.semantic-logic-support{border-block:1px solid var(--divider,currentColor);margin-block:.8rem}.semantic-logic-support>summary{cursor:pointer;min-height:44px;padding-block:.7rem}.semantic-logic-support ul{margin-block:.7rem;padding:0;list-style:none}.semantic-logic-support li{border-block-start:1px solid var(--divider,currentColor);gap:.3rem;padding-block:.65rem;display:grid}.semantic-logic-support li span{font-size:.9rem}.semantic-logic-footnote{color:var(--muted);margin-block-start:.6rem;font-size:.78rem}@container (width>=42rem){.semantic-logic-workbench{grid-template-columns:minmax(0,1.5fr) minmax(14rem,1fr)}}.semantic-step-explorer{container-type:inline-size}.help-dialog:has(.semantic-step-explorer[open] .semantic-logic-lab){width:min(52rem,100vw)}.help-dialog:has(.semantic-step-explorer[open] .semantic-logic-lab) .help-dialog-header{grid-template-columns:minmax(0,1fr) 44px;gap:.5rem;display:grid}.help-dialog:has(.semantic-step-explorer[open] .semantic-logic-lab) .help-dialog-header>h2{overflow-wrap:normal;grid-area:1/1}.help-dialog:has(.semantic-step-explorer[open] .semantic-logic-lab) .help-dialog-header>.help-dialog-close{grid-area:1/2}.help-dialog:has(.semantic-step-explorer[open] .semantic-logic-lab) .help-dialog-header>button:not(.help-dialog-close){grid-area:2/1/auto/-1;justify-self:start}.semantic-logic-original{margin-block:.7rem 1rem;font-size:.88rem;line-height:1.55}.semantic-logic-original>p{margin-block:.35rem}.semantic-logic-heading{scroll-margin-block-start:4rem}.semantic-logic-workbench{align-items:start}.semantic-logic-result{background:color-mix(in srgb, var(--surface) 96%, var(--ink));border-radius:.3rem;grid-column:1/-1;padding:.8rem}.semantic-logic-figure{flex-direction:column;display:flex}.semantic-logic-figure>svg{order:0}.semantic-logic-figure>figcaption{order:1}.semantic-logic-figure>.semantic-logic-facts{order:2}.semantic-logic-figure>details{order:3;margin-block:.25rem 0}.semantic-logic-figure>details>summary{min-height:44px;padding-block:.5rem;font-size:.8rem}.semantic-logic-controls{margin:0;font-size:.9rem}.semantic-logic-controls .semantic-history-actions{flex-direction:row;font-size:.8rem}.semantic-instrument-lab{--instrument-paper:var(--surface,#f6f5f1);min-width:0;margin-block:1rem}.semantic-instrument-heading h3{margin-block:.5rem;font-size:clamp(1.35rem,3vw,1.7rem);line-height:1.2}.semantic-instrument-heading p{font-size:.9rem;line-height:1.5}.semantic-instrument-workbench{align-items:start;gap:1.2rem;min-width:0;display:grid}.semantic-instrument-view{border:1px solid var(--divider,currentColor);background:color-mix(in srgb,var(--surface) 96%,var(--ink));border-radius:.7rem;min-width:0;padding:.8rem}.semantic-instrument-lab figure{margin:0}.semantic-instrument-labels{flex-wrap:wrap;justify-content:space-between;gap:.5rem;font-size:.88rem;display:flex}.semantic-instrument-labels b{color:var(--muted);margin-inline-end:.2rem;font-size:.68rem}.semantic-instrument-lab figcaption{color:var(--muted);margin-block-start:.5rem;font-size:.8rem;line-height:1.45}.semantic-instrument-controls{gap:.8rem;min-width:0;margin:0;font-size:.9rem;display:grid}.semantic-instrument-controls label{gap:.4rem;min-width:0;display:grid}.semantic-instrument-controls :is(input,select,button){min-height:44px}.semantic-instrument-controls input,.semantic-instrument-controls select{width:100%;min-width:0}.semantic-instrument-controls fieldset{border:0;margin:0;padding:0}.semantic-instrument-controls fieldset label{align-items:center;gap:.6rem;min-height:44px;display:flex}.semantic-instrument-controls fieldset input{width:1.1rem;min-height:1.1rem}.semantic-matrix-position{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.semantic-instrument-controls .semantic-history-actions{font-size:.8rem}.semantic-instrument-result{background:color-mix(in srgb,var(--surface) 96%,var(--ink));overflow-wrap:anywhere;border-radius:.3rem;grid-column:1/-1;padding:.8rem;line-height:1.45}.semantic-instrument-result p{margin-block:.5rem;font-size:.9rem}.semantic-matrix-sources{gap:.8rem;min-width:0;margin-block:1rem;display:grid}.semantic-matrix-sources>*{min-width:0}.semantic-matrix-entry-active{background:color-mix(in srgb,var(--ink) 12%,var(--surface));font-weight:700;box-shadow:inset 0 -2px}.semantic-matrix-recipe{font-family:var(--font-mono,monospace);overflow-wrap:anywhere;font-size:.9rem;line-height:1.6}.semantic-concept .semantic-instrument-svg{max-width:38rem;overflow:visible}.semantic-concept .semantic-instrument-svg .instrument-solid{--instrument-tone:16%}.semantic-concept .semantic-instrument-svg .instrument-tone-lo{--instrument-tone:9%}.semantic-concept .semantic-instrument-svg .instrument-tone-hi{--instrument-tone:5%}.semantic-concept .semantic-instrument-svg .instrument-tone-lit{--instrument-tone:52%}.semantic-concept .semantic-instrument-svg :is(.instrument-top,.instrument-front,.instrument-side){stroke:color-mix(in srgb,var(--ink) 30%,var(--instrument-paper));stroke-width:.75px}.semantic-concept .semantic-instrument-svg .instrument-top{fill:color-mix(in srgb,var(--ink) var(--instrument-tone),var(--instrument-paper))}.semantic-concept .semantic-instrument-svg .instrument-front{fill:color-mix(in srgb,var(--ink) calc(var(--instrument-tone) + 7%),var(--instrument-paper))}.semantic-concept .semantic-instrument-svg .instrument-side{fill:color-mix(in srgb,var(--ink) calc(var(--instrument-tone) + 14%),var(--instrument-paper))}.semantic-concept .semantic-instrument-svg .instrument-shadow{fill:var(--ink);opacity:.07;stroke:none;filter:blur(6px)}.semantic-concept .semantic-instrument-svg .instrument-fastener path{fill:var(--instrument-paper);stroke:color-mix(in srgb,var(--ink) 28%,var(--instrument-paper));stroke-width:.7px}.semantic-concept .semantic-instrument-svg .instrument-fastener circle{fill:var(--ink);stroke:none}.semantic-concept .semantic-instrument-svg .instrument-mark{stroke:color-mix(in srgb,var(--ink) 50%,var(--instrument-paper));stroke-width:.75px}@container (width>=42rem){.semantic-instrument-workbench{grid-template-columns:minmax(0,1.5fr) minmax(14rem,1fr)}.semantic-matrix-sources{grid-template-columns:repeat(2,minmax(0,1fr))}}.help-dialog:has(.semantic-step-explorer[open] .semantic-instrument-lab){width:min(52rem,100vw)}.help-dialog:has(.semantic-step-explorer[open] .semantic-instrument-lab) .help-dialog-header{grid-template-columns:minmax(0,1fr) 44px;gap:.5rem;display:grid}.help-dialog:has(.semantic-step-explorer[open] .semantic-instrument-lab) .help-dialog-header>h2{overflow-wrap:normal;grid-area:1/1}.help-dialog:has(.semantic-step-explorer[open] .semantic-instrument-lab) .help-dialog-header>.help-dialog-close{grid-area:1/2}.help-dialog:has(.semantic-step-explorer[open] .semantic-instrument-lab) .help-dialog-header>button:not(.help-dialog-close){grid-area:2/1/auto/-1;justify-self:start}.semantic-augmented-boundary{border-inline-start:2px solid}.semantic-coordinate-svg{width:100%;display:block}.coordinate-board,.coordinate-plot-paper{fill:var(--instrument-paper);stroke:color-mix(in srgb,var(--ink) 30%,var(--instrument-paper))}.coordinate-board-side{fill:color-mix(in srgb,var(--ink) 18%,var(--instrument-paper))}.coordinate-grid{stroke:color-mix(in srgb,var(--ink) 9%,var(--instrument-paper))}.coordinate-axis,.coordinate-ruler,.coordinate-screw{stroke:color-mix(in srgb,var(--ink) 45%,var(--instrument-paper));fill:none}.coordinate-source-stroke,.coordinate-connector{color:color-mix(in srgb,var(--ink) 45%,var(--instrument-paper));stroke:color-mix(in srgb,var(--ink) 45%,var(--instrument-paper))}.coordinate-result-stroke{color:var(--ink)}.coordinate-mirror{stroke:var(--ink);stroke-width:1.7px;stroke-dasharray:6 4;fill:none}.coordinate-circle{stroke:var(--ink);stroke-width:1.7px;fill:none}.coordinate-source-dot{fill:var(--instrument-paper);stroke:var(--ink);stroke-width:1.7px}.coordinate-result-dot,.coordinate-origin{fill:var(--ink)}.semantic-coordinate-history{grid-column:1/-1}