.ex{--wrong: #b23a2e;--alt: #8a5a00}@media(prefers-color-scheme:dark){.ex{--wrong: #f07a6e;--alt: #e0b060}}.ex .crumbs,.ex .meta{font-family:system-ui,sans-serif;font-size:.85rem;color:var(--muted)}.ex .toc{font-family:system-ui,sans-serif;font-size:.9rem;columns:2 16rem;padding-left:1.2rem}.ex .toc li{margin-bottom:.2rem;break-inside:avoid}.ex section{margin-top:2.6rem;padding-top:.6rem;border-top:1px solid var(--rule)}.ex h2{margin-top:0}.ex h3{font-size:1.02rem;margin:1.4rem 0 .4rem}.ex .problem{border-left:3px solid var(--accent);background:var(--code-bg);padding:.7rem 1rem;margin:1rem 0}.ex .problem p{margin:.3rem 0}.ex .defs{margin:.6rem 0 1rem}.ex .defs dt{font-weight:700;margin-top:.55rem}.ex .defs dd{margin:.1rem 0 0 1rem}.ex ol.steps>li{margin-bottom:.55rem}.ex .key{font-family:system-ui,sans-serif;font-size:.92rem;border:1px solid var(--rule);border-radius:6px;padding:.55rem .8rem}.ex .key strong{color:var(--accent)}.ex .note-box{font-size:.92rem;color:var(--muted)}.ex table.num{border-collapse:collapse;font-family:system-ui,sans-serif;font-size:.88rem;margin:.8rem 0}.ex table.num th,.ex table.num td{border:1px solid var(--rule);padding:.3rem .6rem;text-align:right}.ex table.num th:first-child,.ex table.num td:first-child{text-align:left}.ex table.num thead th{background:var(--code-bg)}.ex .scroll{overflow-x:auto;position:relative}.ex .katex-display{overflow-x:auto;overflow-y:hidden;padding:.2rem 0;position:relative}.ex figure.fig{margin:1.2rem 0}.ex figure.fig svg{display:block;width:100%;height:auto;max-width:600px;margin:0 auto}.ex figure.fig.pair{display:grid;gap:.8rem;grid-template-columns:1fr}@media(min-width:40rem){.ex figure.fig.pair{grid-template-columns:1fr 1fr}}.ex figure.fig.pair figcaption{grid-column:1 / -1}.ex figure.fig figcaption{font-family:system-ui,sans-serif;font-size:.82rem;color:var(--muted);margin-top:.4rem}.ex .fig text{font-family:system-ui,sans-serif;paint-order:stroke;stroke:var(--bg);stroke-width:3px;stroke-linejoin:round}.ex .fig .axis{stroke:var(--muted);stroke-width:1}.ex .fig .grid{stroke:var(--rule);stroke-width:1}.ex .fig .tick,.ex .fig .note{fill:var(--muted);font-size:11px}.ex .fig .lab{fill:var(--text);font-size:12px}.ex .fig .strong{fill:var(--text);font-size:12px;font-weight:700}.ex .fig .accent{fill:var(--accent);font-size:12px;font-weight:700}.ex .fig .warn{fill:var(--wrong);font-size:11px;font-weight:600}.ex .fig .ln{stroke:var(--text);stroke-width:1.6;fill:none}.ex .fig .ln-a{stroke:var(--accent);stroke-width:2.2;fill:none}.ex .fig .ln-b{stroke:var(--alt);stroke-width:2;fill:none}.ex .fig .ln-m{stroke:var(--muted);stroke-width:1.4;fill:none}.ex .fig .dash{stroke:var(--muted);stroke-width:1.3;fill:none;stroke-dasharray:5 4}.ex .fig .dash-a{stroke:var(--accent);stroke-width:1.6;fill:none;stroke-dasharray:6 4}.ex .fig .fill{fill:var(--accent);fill-opacity:.14;stroke:none}.ex .fig .fill-b{fill:var(--alt);fill-opacity:.2;stroke:none}.ex .fig .fill-w{fill:var(--wrong);fill-opacity:.25;stroke:none}.ex .fig .bar{fill:var(--accent);fill-opacity:.7}.ex .fig .pt{fill:var(--accent)}.ex .fig .pt-o{fill:var(--bg);stroke:var(--text);stroke-width:1.6}.ex .fig .pt-m{fill:var(--muted)}.ex .fig .pt-w{fill:var(--wrong)}.ex .fig .arr{stroke:var(--accent);stroke-width:2;fill:none}.ex .fig .arr-m{stroke:var(--muted);stroke-width:1.4;fill:none}.ex .fig .ahd{fill:var(--accent)}.ex .fig .node{fill:var(--bg);stroke:var(--text);stroke-width:1.4}.ex .fig .node-a{fill:var(--code-bg);stroke:var(--accent);stroke-width:2.2}.ex .fig .node-m{fill:var(--bg);stroke:var(--muted);stroke-width:1.2;stroke-dasharray:4 3}.ex .fig .nodet{fill:var(--text);font-size:12px;font-weight:700}.ex .fig .flow{stroke:var(--accent);stroke-width:4;fill:none}.ex table.num.left td,.ex table.num.left th{text-align:left}.ex .fig .tagbg{fill:var(--bg);stroke:var(--rule);stroke-width:1}.ex .sx{border:1px solid var(--rule);border-radius:8px;padding:.8rem 1rem 1rem;margin:1.4rem 0;background:var(--bg)}.ex .sx-head{font-family:system-ui,sans-serif;font-size:.9rem;margin:0 0 .6rem}.ex .sx-sliders{display:flex;flex-wrap:wrap;gap:.4rem 1.6rem;font-family:system-ui,sans-serif;font-size:.85rem;margin-bottom:.4rem}.ex .sx-sliders label{display:flex;align-items:center;gap:.5rem}.ex .sx-sliders output{min-width:2.6rem;font-weight:700;color:var(--accent)}.ex .sx-grid{display:grid;gap:1rem;grid-template-columns:minmax(0,1fr);align-items:start}@media(min-width:52rem){.ex .sx-grid{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}}.ex .sx-graph svg{display:block;width:100%;height:auto}.ex .sx-table{margin:0}.ex .sx-table th{font-weight:600;white-space:nowrap}.ex .sx-table td,.ex .sx-table th{padding:.3rem .5rem}.ex .sx-table .sx-enter{background:color-mix(in srgb,var(--accent) 14%,transparent)}.ex .sx-table tr.sx-leave>*{box-shadow:inset 0 -2px 0 var(--wrong)}.ex .sx-table .sx-pivot{outline:2px solid var(--accent);outline-offset:-2px;font-weight:700}.ex .sx-table tr.sx-z>*{border-top:2px solid var(--text)}.ex .sx-neg,.ex .sx-neg-key{font:inherit;font-weight:700;color:var(--wrong);border:1px solid var(--wrong);border-radius:4px;background:var(--bg);padding:0 .35rem}.ex .sx-neg{cursor:pointer}.ex .sx-neg[aria-pressed=true]{background:var(--wrong);color:var(--bg)}.ex .sx-say{font-family:system-ui,sans-serif;font-size:.9rem;min-height:4.5em;margin:.7rem 0}.ex .sx-buttons{display:flex;flex-wrap:wrap;gap:.5rem}.ex .sx-buttons button{font:inherit;font-family:system-ui,sans-serif;font-size:.85rem;cursor:pointer;border:1px solid var(--accent);color:var(--accent);background:var(--bg);border-radius:6px;padding:.35rem .8rem}.ex .sx-buttons button[data-act=pivot]{background:var(--accent);color:var(--bg)}.ex .sx-buttons button:disabled{opacity:.4;cursor:default}.ex .hx-presets{display:flex;flex-wrap:wrap;gap:.4rem;margin-bottom:.6rem}.ex .hx-presets button{font:inherit;font-family:system-ui,sans-serif;font-size:.8rem;cursor:pointer;border:1px solid var(--rule);background:var(--code-bg);color:var(--text);border-radius:999px;padding:.2rem .7rem}.ex .hx-read{font-family:system-ui,sans-serif;font-size:.88rem}.ex .hx-step{margin:.5rem 0}.ex .hx-H{margin:.3rem 0 .6rem}.ex .hx-H td{min-width:3rem;text-align:center}.ex .hx-yes{color:var(--accent);font-weight:700}.ex .hx-no{color:var(--wrong);font-weight:700}.ex .hx-verdict{border-left:3px solid var(--accent);padding:.4rem .7rem;background:var(--code-bg)}.ex .able{font-family:system-ui,sans-serif;font-size:.9rem;background:var(--code-bg);border-radius:6px;padding:.5rem .9rem .5rem 2rem}.ex .able:before{content:"You should be able to:";display:block;font-weight:700;margin:0 0 .2rem -1.1rem}.ex .answer{display:inline-block;border:2px solid var(--accent);border-radius:4px;padding:.05rem .45rem;font-weight:700}.ex details.full{border:1px solid var(--rule);border-radius:6px;padding:.4rem .9rem;margin:1rem 0}.ex details.full>summary{cursor:pointer;font-family:system-ui,sans-serif;font-weight:600;color:var(--accent)}.ex .sx-sub{font-family:system-ui,sans-serif;font-size:.9rem;margin:1rem 0 .3rem}.ex .sx-small{font:inherit;font-family:system-ui,sans-serif;font-size:.8rem;cursor:pointer;border:1px solid var(--accent);color:var(--accent);background:var(--bg);border-radius:6px;padding:.2rem .6rem}.ex .sx-stats{margin:.2rem 0 .4rem}.ex .sx-stats th{font-weight:500;text-align:left}.ex .sx-kkt td:nth-child(2){font-variant-numeric:tabular-nums}.ex .sx-click svg{cursor:crosshair}.ex .sx-costs input{width:3.4rem;font:inherit;padding:.1rem .2rem}.ex .sx-jt td{text-align:center}.ex .sx-jt input{display:block;width:5.5rem;margin:.2rem auto 0}.ex .sx-jt output{font-weight:700}.ex .hx-presets button[aria-pressed=true]{border-color:var(--accent);color:var(--accent);font-weight:700}.ex .sx-sliders input[type=range]{max-width:11rem}.ex .demo-lead{font-family:system-ui,sans-serif;font-size:.95rem}