.direction-home{min-inline-size:0}html:has(.combined-home){background:linear-gradient(to bottom, var(--canvas) 0 50%, var(--lightningcss-light,#fff)var(--lightningcss-dark,#1a3c48) 50% 100%) fixed}body:has(.combined-home){background:linear-gradient(to bottom, var(--canvas) var(--home-nav-height), var(--lightningcss-light,#fff)var(--lightningcss-dark,#1a3c48) 55%)}body:has(.combined-home) :is(.site-header,.site-footer){border-color:#0000}body:has(.combined-home) .site-footer{background:0 0}.direction-switcher{padding:.65rem var(--space-page);border-block-end:1px solid var(--line);font:var(--text-body)/1.5 var(--font-ui);color:var(--muted);justify-content:space-between;align-items:center;gap:1rem;display:flex}.direction-switcher>div{gap:.5rem;display:flex}.direction-switcher a{min-block-size:44px;color:var(--accent);align-items:center;gap:.6rem;padding-inline:.8rem;display:inline-flex}.direction-switcher a[aria-current]{color:var(--ink);box-shadow:inset 0 -2px var(--logo-bottom)}.direction-content{max-inline-size:94rem;padding-inline:var(--space-page);margin-inline:auto}.direction-kicker{font:500 var(--text-body)/1.5 var(--font-ui);color:var(--accent);margin:0 0 1rem}.direction-home h1{letter-spacing:-.035em;margin:0;font-weight:600;line-height:1.03}.direction-home .direction-about{padding-block:var(--space-section);grid-template-columns:minmax(0,1.45fr) minmax(0,1fr);align-items:start;gap:clamp(2rem,5vw,6rem);display:grid}.direction-description{font:1.5rem/1.65 var(--font-body);max-inline-size:58ch;margin:0}.direction-description p{margin:0}.direction-description p+p{margin-block-start:.8rem}.direction-description p:first-child{font-weight:600}.direction-principle{font:1.1rem/1.8 var(--font-body);border-inline-start:2px solid var(--accent);color:var(--muted);margin:0;padding-inline-start:1.5rem}.direction-source{min-inline-size:0}.direction-source>h2{font:600 1rem/1.5 var(--font-ui);margin:0 0 1rem}.direction-source>p{font:1.1rem/1.7 var(--font-body);margin-block:0 1rem}.direction-source .literate .code-block{margin-block:0}.direction-source .literate pre{font-size:var(--text-code);line-height:1.85}.direction-simulation{border-block-end:1px solid var(--line);font:var(--text-body)/1.5 var(--font-ui);margin-block:1rem;padding-block:.8rem}.direction-text-link{min-block-size:44px;color:var(--accent);font:var(--text-body)/1.5 var(--font-ui);align-items:center;gap:.5rem;display:inline-flex}.direction-examples{padding-block:var(--space-section)}.direction-examples .direction-principle{max-inline-size:75ch;margin-block:1rem 2rem;font-size:1.25rem;line-height:1.6}.combined-home .example-grid{grid-template-columns:repeat(4,minmax(0,1fr))}.combined-home .example-card{grid-row:span 2;grid-template-rows:subgrid;row-gap:0;display:grid}.combined-home .example-card .card-copy h2{min-block-size:0}.combined-home .example-card .card-copy p{flex:none}.combined-home .example-card .card-copy>:is(.readable-figure,.plot-expand){margin-block-start:auto;padding-block-start:1rem}.dark .combined-home .example-grid .card-preview img{border-radius:var(--radius-sm)}@media not (min-width:90rem){.combined-home .example-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media not (min-width:40rem){.combined-home .example-grid{grid-template-columns:1fr}}.direction-architecture{padding-block-end:var(--space-section)}.direction-home .home-reference .literate>ul{grid-auto-rows:1fr;align-items:stretch}.direction-home .home-reference .literate>ul>li{font-size:1.125rem;line-height:1.65}.direction-home .home-reference .monad-signature code{white-space:normal;overflow-wrap:normal;font-size:1.125rem}.direction-home .home-reference .monad-signature code .ot{white-space:nowrap}.direction-live{min-inline-size:0}.direction-live .playground-workbench{box-shadow:none}.direction-live .playground-heading{padding:1.25rem}.direction-live .playground-heading h2{font:600 1.2rem/1.4 var(--font-ui);margin:0 0 .5rem}.direction-live .playground-heading>label{align-items:center;gap:.65rem;display:flex}.direction-live .playground-heading input{inline-size:6rem}.direction-live .workbench-panes{flex-direction:column;display:flex}.direction-live .workbench-input{border-inline-end:0;border-block-end:1px solid var(--line);align-items:end;gap:1.5rem;display:flex}.direction-live .playground-controls{flex-wrap:wrap;flex:1;align-items:end;gap:.75rem;display:flex}.direction-live :is(.playground-controls,.playground-actions) button{white-space:nowrap}.direction-live .playground-actions{margin:0}.direction-live .workbench-result{min-block-size:0}.direction-live .workbench-result>svg{aspect-ratio:12/7;block-size:auto;inline-size:100%;min-block-size:calc(84px + 8 * var(--text-body));margin-block-start:.5rem}.direction-live .workbench-result :is(.function-draw,g.posterior path){vector-effect:non-scaling-stroke}.direction-live .numeric-results{display:none}.direction-live .full-size-plot{font:var(--text-body)/1.5 var(--font-ui)}.direction-live .browser-playground pre[role=status]{min-block-size:4lh;margin-block-end:.5rem}.direction-actions{flex-wrap:wrap;align-items:center;gap:.75rem 1.5rem;margin-block-start:2rem;display:flex}.direction-actions .primary-link{min-block-size:3.25rem;font-size:var(--text-body);transition:transform .2s var(--ease-out), background-color .2s;padding-inline:1.4rem}.direction-actions .primary-link:active{transform:scale(.97)}.direction-secondary{min-block-size:3.25rem;color:var(--accent);font:600 var(--text-body)/1.5 var(--font-ui);align-items:center;gap:.4rem;display:inline-flex}.direction-secondary .brand-icon{transition:transform .2s var(--ease-out)}.direction-secondary:hover .brand-icon{transform:translate(3px)}.direction-home .direction-description{max-inline-size:52ch;font-size:clamp(1.15rem,1rem + .4vw,1.35rem);line-height:1.6}.stream-hero{max-inline-size:100rem;padding:clamp(4rem, 6vw, 6rem) var(--space-page) var(--space-section);grid-template-columns:minmax(0,4fr) minmax(0,8fr);grid-template-areas:"title title""copy figure";align-items:center;gap:clamp(1.5rem,3vw,3rem) clamp(2rem,4vw,5rem);margin-inline:auto;display:grid}.combined-home .stream-hero{isolation:isolate;max-inline-size:none;padding:0;display:block;position:relative}.combined-home .hero1-container{max-inline-size:100rem;padding:clamp(4rem, 6vw, 6rem) var(--space-page) clamp(2.5rem, 5vw, 4.5rem);margin-inline:auto}.combined-home .hero1-grid{flex-wrap:wrap;align-items:flex-start;gap:clamp(1.5rem,3vw,3rem) clamp(1.25rem,2vw,3rem);display:flex}.combined-home .hero1-copy{text-align:start;display:contents}.combined-home .hero1-copy h1{flex:0 0 100%}.combined-home .stream-lede{flex:1 1 0;min-inline-size:min(25rem,100%)}.combined-home .stream-figure{flex:2 1 0;min-inline-size:min(32.3125rem,100%)}.combined-home .stream-hero>.shader-field{opacity:.06;inset-inline:0;-webkit-mask-image:linear-gradient(#0000,#000 25%,#0000);mask-image:linear-gradient(#0000,#000 25%,#0000)}.dark .combined-home .stream-hero>.shader-field{opacity:.02}.stream-copy{display:contents}.stream-copy h1{letter-spacing:-.045em;grid-area:title;max-inline-size:16ch;font-size:clamp(2.6rem,6.3vw,6.4rem);line-height:.98}.stream-lede{grid-area:copy;align-self:center}.stream-figure{grid-area:figure;min-inline-size:0;padding:1.5rem 0;position:relative}.lazy-stream{color:var(--accent)}.lazy-stream p{color:var(--muted);font:1rem/1.5 var(--font-ui);margin:.5rem 0 0}.lazy-stream svg{block-size:auto;inline-size:100%;display:block;overflow:visible}.stream-unit{fill:color-mix(in oklch, var(--accent) 12%, var(--canvas))}.stream-axis{stroke:var(--muted);stroke-width:2px;stroke-dasharray:2 7;stroke-linecap:round;fill:none}.dark .combined-home .stream-axis{stroke:var(--ink);vector-effect:non-scaling-stroke}.dark .combined-home :is(.function-draw,g.posterior path){stroke-opacity:1;vector-effect:non-scaling-stroke}.stream-axis-solid,.stream-tick{stroke:var(--ink);stroke-width:2.5px;fill:none;stroke-linecap:round}.stream-scale-break{stroke:var(--ink);stroke-width:2px;fill:none}.stream-number{font:500 32px var(--font-code);fill:var(--ink)}.stream-label{font:500 26px var(--font-code);fill:var(--ink)}.stream-link,.stream-slot path{stroke:var(--accent);stroke-width:2px;fill:none}.stream-ghost path,.stream-ghost circle{stroke:var(--muted);stroke-width:2px;fill:none}.stream-ghost path{stroke-dasharray:2 7}.stream-ghost circle{stroke-dasharray:none}.stream-node,.stream-dot{fill:var(--accent);transform-box:fill-box;transform-origin:50%}.stream-stop .stream-node,.stream-stop .stream-dot{fill:var(--canvas);stroke:var(--accent);stroke-width:3px}.stream-hero{padding-block-end:clamp(2.5rem,5vw,4.5rem)}.stream-bench{padding-block-end:var(--space-section)}.stream-bench-grid{grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr);display:grid}.stream-bench-grid>.direction-source{border-inline-end:1px solid var(--line);padding:2rem}.stream-bench .playground-workbench{border:0;border-radius:0}.stream-about{padding-block-start:0}.direction-d .example-grid,.direction-f .example-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.bench6-hero{padding:clamp(1.5rem, 2.5vw, 2.5rem) var(--space-page) 0}.bench6-stage{isolation:isolate;margin-inline:calc(-1 * var(--space-page));padding:clamp(1.5rem, 3vw, 2.5rem) var(--space-page) clamp(3rem, 5vw, 5rem);position:relative;overflow:hidden}.bench6-stage>.bench6-window{z-index:1;max-inline-size:92rem;margin-inline:auto;position:relative}.shader-field{z-index:-1;background:var(--surface);position:absolute;inset:0;-webkit-mask-image:linear-gradient(#0000,#000 22% 72%,#0000);mask-image:linear-gradient(#0000,#000 22% 72%,#0000)}.combined-home .bench6-stage>.shader-field{-webkit-mask-image:linear-gradient(#0000,#000 20%,#0000 100%);mask-image:linear-gradient(#0000,#000 20%,#0000 100%)}.shader-canvas{position:absolute;inset:0}.bench6-inner{max-inline-size:92rem;margin-inline:auto}.bench6-copy{text-align:center;justify-items:center;display:grid}.bench6-copy .direction-description{text-align:start;max-inline-size:52ch;font-size:clamp(1.05rem, var(--text-body) + .3vw, 1.2rem);margin-block-start:1.25rem}.bench6-copy .direction-actions{justify-content:center}.bench6-copy h1{letter-spacing:-.045em;max-inline-size:15ch;font-size:clamp(2.6rem,4.9vw,5rem);line-height:.98}.bench6-copy .direction-actions{margin-block-start:1.5rem}.bench6-tabs{border-block-end:1px solid var(--line);font:500 var(--text-code)/1.5 var(--font-code);color:var(--muted);border-radius:0;align-items:center;gap:1rem;padding:.7rem 1.25rem;display:flex}.bench6-tabs span{background:var(--surface);color:var(--ink);border-radius:.4rem;padding:.25rem .7rem}.bench6-panes{border-radius:0;grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);display:grid}.dark .bench6-window{border-color:color-mix(in oklch, var(--ink) 20%, var(--surface))}.bench6-panes>.direction-source{border-inline-end:1px solid var(--line);padding:1.75rem}@media (min-width:40rem){.combined-home .bench6-panes>.direction-source,.combined-home .bench6-panes>.direction-source>.literate,.combined-home .bench6-panes>.direction-source .code-block{flex-direction:column;min-block-size:0;display:flex}.combined-home .bench6-panes>.direction-source>.literate,.combined-home .bench6-panes>.direction-source .code-block{flex:1}.combined-home .bench6-panes>.direction-source .code-block pre{flex:1 1 0;min-block-size:0;max-block-size:none}}.combined-home .direction-source .code-block [role=region]{max-block-size:calc(16lh + 1.5rem);overflow:auto}@media (min-width:40rem){.combined-home .direction-source .code-block [role=region]{flex:1 1 0;min-block-size:0;max-block-size:none}}.combined-home .direction-source .code-block[data-more-below=true] [role=region]{-webkit-mask-image:linear-gradient(#000 calc(100% - 3lh),#0000 calc(100% - 1lh));mask-image:linear-gradient(#000 calc(100% - 3lh),#0000 calc(100% - 1lh))}.combined-home .direction-source .code-block[data-more-right=true] [role=region]{-webkit-mask-image:linear-gradient(90deg,#000 calc(100% - 3rem),#0000);mask-image:linear-gradient(90deg,#000 calc(100% - 3rem),#0000)}.combined-home .direction-source .code-block[data-more-right=true][data-more-below=true] [role=region]{-webkit-mask-image:linear-gradient(90deg,#000 calc(100% - 3rem),#0000),linear-gradient(#000 calc(100% - 3lh),#0000 calc(100% - 1lh));mask-image:linear-gradient(90deg,#000 calc(100% - 3rem),#0000),linear-gradient(#000 calc(100% - 3lh),#0000 calc(100% - 1lh));-webkit-mask-composite:source-in;mask-composite:intersect}.combined-home .example-card:has(.readable-figure[open]){grid-column:1/-1}.combined-home .example-card:has(.readable-figure[open]) .card-preview{display:none}.combined-home .readable-figure img{max-inline-size:40rem;margin-inline:auto}@media not (min-width:40rem){.combined-home .example-card:has(.readable-figure[open]) .card-copy{padding:1rem}}.bench6-panes .playground-workbench{border:0;border-radius:0}.bench6-panes .workbench-result{background:var(--elevated);position:relative}.model-strip{padding-block:1rem 2rem}.model-belt-controls{padding-inline:var(--space-page);justify-content:end;align-items:center;gap:.5rem;display:flex}.model-belt-controls button{border:1px solid var(--line);background:var(--elevated);block-size:44px;inline-size:44px;color:var(--ink);border-radius:50%;flex:none;padding:.6rem;position:static;transform:translate(0,0)}.model-belt-mask{margin-inline:var(--space-page);-webkit-mask-image:linear-gradient(90deg,#0000,#000 .25rem calc(100% - .25rem),#0000);mask-image:linear-gradient(90deg,#0000,#000 .25rem calc(100% - .25rem),#0000)}.model-belt-mask:has(a:focus-visible){-webkit-mask-image:none;mask-image:none}.model-belt-viewport{padding:1rem 0;overflow:hidden}.model-belt-track{margin-inline-start:0}.model-belt-item{flex:0 0 max(25%,20rem);padding:0 1rem 0 0}.model-strip a{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--elevated);inline-size:100%;color:var(--ink);font:600 var(--text-body)/1.4 var(--font-ui);transition:border-color .2s, transform .2s var(--ease-out);grid-template-rows:auto minmax(2.8em,auto);gap:.6rem;padding:.75rem;display:grid}.model-strip a:hover,.model-strip a:focus-visible{border-color:var(--accent);transform:translateY(-2px)}.model-strip img{aspect-ratio:16/9;border-radius:calc(var(--radius-md) - .3rem);background:var(--surface);block-size:auto;inline-size:100%}.model-strip a span{white-space:normal;text-overflow:clip;overflow:visible}@media (prefers-reduced-motion:reduce){.model-belt-controls [data-motion-control]{display:none}}.posterior-hero{--canvas:#002147;--surface:#173458;--subtle:var(--surface);--elevated:var(--canvas);--ink:#f7f9fc;--muted:#bcc5d2;--accent:var(--logo-bottom);--mark:var(--logo-bottom);--button:var(--logo-bottom);--button-ink:#002147;--line:#506784;--plot-canvas:var(--canvas);--plot-ink:var(--ink);--function-opacity:.85;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;background:var(--canvas);color:var(--ink);padding:clamp(2.5rem, 5vw, 5rem) var(--space-page) clamp(2rem, 4vw, 4rem);grid-template-columns:minmax(0,4fr) minmax(0,8fr);grid-template-areas:"copy copy""lede run";column-gap:clamp(2rem,4vw,4rem);display:grid}@supports (color:lab(0% 0 0)){.posterior-hero{--surface:lab(21.1068% -.741109 -25.329);--muted:lab(79.1321% -1.31983 -7.84282);--line:lab(42.5234% -2.48778 -19.2554)}}.posterior-copy{display:contents}.posterior-copy h1{letter-spacing:-.045em;grid-area:copy;max-inline-size:16ch;font-size:clamp(2.6rem,5.4vw,5.5rem);line-height:.98}.posterior-lede{grid-area:lede;align-self:start;margin-block-start:clamp(1.5rem,3vw,2.5rem)}.posterior-run pre[role=status]{min-block-size:3lh}.posterior-run{grid-area:run;min-inline-size:0;margin-block-start:clamp(1rem,2vw,1.5rem)}.posterior-run .playground-workbench{background:var(--canvas);border:0;border-radius:0}.posterior-run .playground-heading{background:var(--canvas);padding-inline:0}.posterior-run .playground-demo,.posterior-run .workbench-result{background:var(--canvas)}.posterior-run .workbench-input{padding-inline:0}.posterior-run .workbench-result{min-block-size:0;padding-inline:0}.posterior-run .workbench-result>svg{block-size:clamp(18rem,26vw,25rem)}.posterior-run .playground-heading{padding-block:.5rem 1rem}.posterior-run .workbench-input{padding-block:.75rem}.posterior-run .original-reference,.posterior-run pre[role=status]{color:var(--muted);font-size:var(--text-body)}.posterior-run .original-reference{white-space:nowrap}.posterior-run :is(.secondary-button,.cancel-button){border-color:color-mix(in oklch, var(--muted) 50%, var(--surface))}.posterior-run .observation{fill:var(--ink);stroke:var(--canvas);stroke-width:2px;transform-box:fill-box;transform-origin:50%}.posterior-run .plot-legend{color:var(--muted)}.direction-live .workbench-result:has(.full-size-plot[hidden]):after{content:"View full-size plot";visibility:hidden;font:var(--text-body)/1.5 var(--font-ui);margin-block-start:.75rem;display:inline-block}.posterior-source{padding-block:var(--space-section);grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);align-items:start;gap:clamp(2rem,5vw,6rem);display:grid}.direction-live .browser-playground .workbench-result>svg{display:block}.direction-live .browser-playground .workbench-result>.plot-legend{visibility:hidden;display:flex}.direction-live .browser-playground .workbench-result>pre[data-state=done]~.plot-legend{visibility:visible}@media (min-width:60rem){.combined-home .direction-source .code-block pre code{white-space:pre-wrap;overflow-wrap:anywhere;text-indent:2ch hanging each-line;inline-size:100%;min-inline-size:0}}@media not (min-width:60rem){.model-belt-item{flex-basis:50%}.bench6-panes>.direction-live{border-block-end:1px solid var(--line);order:-1}.direction-switcher{align-items:start}.direction-switcher>div{gap:0}.direction-switcher a{padding-inline:.7rem}.direction-switcher a span{display:none}.stream-hero{grid-template-columns:1fr;grid-template-areas:"title""copy""figure"}.posterior-hero{grid-template-columns:1fr;grid-template-areas:"copy""run""lede"}.stream-bench-grid,.bench6-panes,.posterior-copy,.posterior-source{grid-template-columns:1fr}.stream-bench-grid>.direction-source,.bench6-panes>.direction-source{border-inline-end:0;border-block-end:1px solid var(--line)}.direction-home .direction-about{grid-template-columns:1fr;gap:2rem}}@media not (min-width:40rem){.stream-label{font-size:32px}.direction-home .home-reference .literate>ul>li{padding-inline:.75rem}.direction-home .home-reference .literate>ul{grid-auto-rows:auto}.posterior-run pre[role=status]{min-block-size:4lh}.posterior-run .workbench-result{order:-1}.direction-switcher{gap:.5rem;padding-block:.2rem}.bench6-copy{text-align:start;justify-items:start}.bench6-copy .direction-actions{justify-content:start}.direction-d .example-grid,.direction-f .example-grid{grid-template-columns:1fr}.stream-bench-grid>.direction-source,.bench6-panes>.direction-source{padding:1.25rem}.combined-home .direction-source .code-copy-control{flex-wrap:nowrap;align-items:stretch;gap:.25rem;padding-inline:.4rem}.combined-home .direction-source .code-copy-control :is(.code-language,.code-scroll-hint:not([hidden])){align-items:center;display:flex}.combined-home .direction-source .code-copy-button{gap:.2rem}.direction-live .browser-playground pre[role=status]{min-block-size:6lh}.direction-live .workbench-input{flex-wrap:wrap;gap:1rem}.direction-live .playground-controls{flex-basis:100%}.direction-live .playground-heading{flex-wrap:wrap;gap:1rem}.direction-live .playground-heading>label{inline-size:auto}.model-belt-item{flex-basis:100%}}