.leanwalk{--font-sans:"Inter", system-ui, sans-serif;--font-serif:"STIX Two Text", Georgia, "Times New Roman", serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--bg:var(--surface-secondary);--panel:var(--surface-primary);--ink:oklch(12.9% .042 264.695);--ink-soft:oklch(37.2% .044 257.287);--ink-faint:oklch(50% .0445 257.349);--rule:oklch(89.9% .0175 254.201);--accent:#0e4322;--book-bg:var(--surface-primary);--code-bg:var(--surface-tertiary);--sym:oklch(48% .12 237.323);--sym-bg:transparent;--sym-active-bg:color-mix(in srgb, var(--sym) 12%, transparent);--kw:oklch(50% .0445 257.349);--name:oklch(12.9% .042 264.695);--com:oklch(62.9% .043 257.103);--c-name:oklch(55% .03 257);--c-obj:oklch(55% .11 300);--c-hyp:oklch(55% .11 5);--c-con:oklch(55% .11 80);--slot-mix:22%;--fig-a:oklch(48% .12 237.323);--fig-b:oklch(45% .09 152);--fig-x:oklch(55.5% .163 48.998)}.leanwalk *,.leanwalk :before,.leanwalk :after{box-sizing:border-box}.leanwalk{color:var(--ink);font:1.0625rem/1.62 var(--font-sans);margin:0}.leanwalk .page{max-width:53.125rem;margin:0 auto;padding:2.125rem 1.3281rem 4.25rem}.leanwalk a{color:var(--accent)}.leanwalk header{margin-bottom:1.9rem}.leanwalk .eyebrow{letter-spacing:.14em;text-transform:uppercase;color:var(--ink-faint);margin:0 0 .5312rem;font-size:.765rem}.leanwalk .lw-title{margin:0;font-size:1.5406rem;font-weight:650;line-height:1.3}.leanwalk .lw-title .sub{color:var(--ink-soft);font-weight:400}.leanwalk h2:not(.lw-title){letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);border-bottom:1px solid var(--rule);margin:2.55rem 0 .9563rem;padding-bottom:.425rem;font-size:.8287rem;font-weight:600}.leanwalk .note{color:var(--ink-soft);font-size:.9031rem}.leanwalk .preface{border-left:2px solid var(--rule);margin:0 0 4.2rem;padding:.1rem 0 .1rem 1.15rem}.leanwalk .preface .pf-lead{color:var(--ink);margin:0 0 .55rem;font-size:1.13rem;line-height:1.5}.leanwalk .preface .note{margin:0}.leanwalk .mono,.leanwalk pre,.leanwalk code{font-family:var(--font-mono)}.leanwalk pre{background:var(--code-bg);border:1px solid var(--rule);border-radius:5px;margin:.6375rem 0 0;padding:.9563rem 1.0625rem;font-size:.8819rem;line-height:1.85;overflow-x:auto}.leanwalk pre.tips{overflow:visible}.leanwalk p code,.leanwalk li code,.leanwalk td code{background:var(--code-bg);border-radius:3px;padding:0 .2em;font-size:.88em}.leanwalk .dictwrap{background:var(--panel);border:1px solid var(--rule);border-radius:6px;margin:1.0625rem 0 0;padding:.7437rem 1.0094rem .5312rem}.leanwalk .plbl{letter-spacing:.08em;text-transform:uppercase;color:var(--accent);font-size:.7437rem;font-weight:700}.leanwalk .dict{border-collapse:collapse;width:100%;margin:.4781rem 0 0;font-size:.9031rem}.leanwalk .dict td{border-top:1px solid var(--rule);vertical-align:top;color:var(--ink-soft);padding:.3187rem .5312rem .3187rem 0}.leanwalk .dict td:first-child{white-space:nowrap;color:var(--ink);font-family:var(--font-serif);padding-right:1.1688rem}.leanwalk .dict tr:first-child td{border-top:0}.leanwalk .passes-wrap{margin:.9563rem 0 0}.leanwalk .passes{grid-template-columns:1fr;align-items:start;gap:1.4875rem;display:grid}.leanwalk .pass{min-width:0}.leanwalk .passlab,.leanwalk .stepchip,.leanwalk .kind,.leanwalk .steprange{font:600 .7437rem/1.4 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);background:0 0;border:0;border-radius:0;padding:0;position:static}.leanwalk .passlab{color:var(--accent);margin:0 0 .15rem;display:block}.leanwalk .pass pre{white-space:pre-wrap;overflow-wrap:anywhere;overflow-x:visible}.leanwalk .s-name,.leanwalk .s-obj,.leanwalk .s-hyp,.leanwalk .s-con{border-radius:3px;padding:.04em .18em}.leanwalk .s-name{background:color-mix(in srgb, var(--c-name) var(--slot-mix), transparent)}.leanwalk .s-obj{background:color-mix(in srgb, var(--c-obj) var(--slot-mix), transparent)}.leanwalk .s-hyp{background:color-mix(in srgb, var(--c-hyp) var(--slot-mix), transparent)}.leanwalk .s-con{background:color-mix(in srgb, var(--c-con) var(--slot-mix), transparent)}.leanwalk .slotkey{color:var(--ink-soft);flex-wrap:wrap;gap:.425rem 1.1688rem;margin:.6375rem 0 0;font-size:.8287rem;display:flex}.leanwalk .markkey{color:var(--ink-soft);flex-wrap:wrap;gap:.5rem 1.7rem;margin:.6375rem 0 .2rem;font-size:.8287rem;display:flex}.leanwalk .markkey>span{flex:17rem;align-items:baseline;gap:.55em;display:flex}.leanwalk .markkey>span>:last-child{flex:none}.leanwalk .markkey .sep{color:var(--ink-faint)}.leanwalk .markkey code{font-family:var(--font-mono);font-size:.95em}.leanwalk .uni{opacity:.4}.leanwalk .callout{vertical-align:super;color:var(--accent);font-size:.6587rem;font-weight:700}.leanwalk ol.notes{color:var(--ink-soft);margin:.85rem 0 0;padding-left:1.3813rem;font-size:.9137rem}.leanwalk ol.notes li{margin:.425rem 0}.leanwalk ol.notes li::marker{color:var(--accent);font-weight:700}.leanwalk .card{background:var(--panel);border:1px solid var(--rule);border-radius:6px;margin:0 0 2.125rem;padding:1.0625rem 1.1688rem 1.1688rem}.leanwalk .card .stepchip,.leanwalk .card .kind{display:inline-block}.leanwalk .card .kind:before{content:"·";color:var(--ink-faint);margin:0 .55em}.leanwalk .card .kind.theorem{color:var(--accent)}.leanwalk .card h3{margin:.3rem 0 0;font-size:1.0625rem;font-weight:600;line-height:1.35;display:block}.leanwalk .mathview{font-size:1.0413rem;line-height:2.1;font-family:var(--font-serif);margin:.7437rem 0 0}.leanwalk .seg{cursor:default;box-shadow:inset 0 -2px 0 color-mix(in srgb, var(--ink-faint) 55%, transparent);padding:.05em .15em}.leanwalk .seg.hl{background:color-mix(in srgb, var(--ink) 9%, transparent);box-shadow:inset 0 -2px 0 var(--ink-soft)}.leanwalk .codehead{justify-content:space-between;align-items:baseline;margin:.9563rem 0 0;display:flex}.leanwalk .codehead .lab{letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);font-size:.765rem;font-weight:700}.leanwalk .codehead button{font:inherit;cursor:pointer;color:var(--ink-soft);border:1px solid var(--rule);background:0 0;border-radius:999px;padding:.1594rem .6375rem;font-size:.765rem}.leanwalk .codehead button:hover{border-color:var(--accent);color:var(--ink)}.leanwalk .hint{color:var(--ink-faint);margin:.4781rem 0 0;font-size:.8075rem}.leanwalk .codecols{margin:.9563rem 0 0}.leanwalk .codecols>div{min-width:0}.leanwalk .codecols .lab{letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);margin:0 0 .3719rem;font-size:.765rem;font-weight:700}.leanwalk .codecols pre{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}.leanwalk math{font-size:1.03em}.leanwalk .book{font-family:var(--font-serif);margin:1.4rem 0 0;padding:0 1.75rem;font-size:1.15rem;line-height:1.7}.leanwalk .book p{margin:0 0 .85rem}.leanwalk .book p:last-child{margin-bottom:0}.leanwalk .book .label{font-weight:700}.leanwalk .src{color:var(--ink-faint);margin:.85rem 0 0 1.75rem;font-size:.85rem}.leanwalk .lede{color:var(--ink-soft);margin:0 0 1.1688rem;font-size:.9987rem}.leanwalk .group{margin:0 0 2.3375rem}.leanwalk .group>h3{font:500 1.3rem/1.3 var(--font-serif);margin:2rem 0 .4rem}.leanwalk .group>h3 .steprange{margin:0 0 .45rem;display:block}.leanwalk .group>.blurb{color:var(--ink-soft);margin:0 0 1.1688rem;font-size:.9563rem}.leanwalk .sorry{color:var(--accent);font-weight:600}.leanwalk .k{color:var(--kw)}.leanwalk .n{color:var(--name);font-weight:600}.leanwalk .c,.leanwalk .elide{color:var(--com);font-style:italic}.leanwalk .pl{color:var(--ink-faint)}.leanwalk button.sym{font:inherit;color:var(--sym);background:var(--sym-bg);cursor:pointer;text-decoration:underline dotted;text-decoration-color:var(--sym);text-underline-offset:.2em;border:0;border-radius:3px;margin:0 -.12em;padding:0 .12em;font-weight:600;text-decoration-thickness:2px;position:relative}.leanwalk button.sym:hover{background:var(--sym-active-bg);color:var(--ink)}.leanwalk button.sym:focus-visible{background:var(--sym-active-bg);color:var(--ink);outline:2px solid var(--accent);outline-offset:1px}.leanwalk [data-sym].on{background:var(--sym-active-bg);color:var(--ink);outline:1px solid var(--sym)}.leanwalk button.sym[data-tip]:hover:after,.leanwalk button.sym[data-tip]:focus-visible:after{content:attr(data-tip);z-index:9;background:var(--ink);color:var(--bg);font:.765rem/1.45 var(--font-sans);text-align:left;white-space:normal;border-radius:4px;width:max-content;max-width:21.25rem;padding:.3719rem .6375rem;font-weight:400;position:absolute;bottom:calc(100% + .5em);left:0}.leanwalk details{margin:.5844rem 0 0}.leanwalk summary{cursor:pointer;color:var(--ink-soft);padding:.2125rem 0;font-size:.8712rem}.leanwalk summary:hover{color:var(--ink)}.leanwalk .doc{border-left:2px solid var(--rule);background:var(--panel);color:var(--ink-soft);white-space:pre-wrap;font-size:.8712rem;font-family:var(--font-mono);border-radius:0 3px 3px 0;margin:.5312rem 0 0;padding:.85rem 1.0625rem;line-height:1.55}.leanwalk .support{flex-wrap:wrap;align-items:baseline;gap:.3719rem;margin:.2125rem 0 0;display:flex}.leanwalk .support button{font:inherit;font-size:.8712rem;font-family:var(--font-mono);background:var(--code-bg);border:1px solid var(--rule);color:var(--sym);cursor:pointer;border-radius:999px;padding:.1275rem .5844rem}.leanwalk .support button:hover{border-color:var(--accent);color:var(--ink)}.leanwalk{position:relative}.leanwalk aside{z-index:20;scrollbar-width:thin;-webkit-overflow-scrolling:touch;background:var(--panel);border:1px solid var(--rule);border-radius:6px;width:min(26rem,100% - 1rem);max-height:min(70vh,34rem);padding:.85rem 1.0625rem 1.0625rem;position:absolute;overflow-y:auto;box-shadow:0 10px 30px #00000024}.leanwalk aside:focus{outline:none}@media (width<=40rem){.leanwalk aside{width:auto;max-height:min(60vh,30rem);padding-bottom:max(1.0625rem, env(safe-area-inset-bottom));border-bottom:0;border-left:0;border-right:0;border-radius:8px 8px 0 0;position:fixed;bottom:0;right:0;box-shadow:0 -8px 28px #0003;top:auto!important;left:0!important}.leanwalk .dict,.leanwalk .dict tbody,.leanwalk .dict tr,.leanwalk .dict td{display:block}.leanwalk .dict tr{border-top:1px solid var(--rule);padding:.4781rem 0 .3187rem}.leanwalk .dict tr:first-child{border-top:0;padding-top:0}.leanwalk .dict td{overflow-wrap:anywhere;border-top:0;padding:0}.leanwalk .dict td:first-child{white-space:normal;margin-bottom:.1594rem;padding-right:0}.leanwalk .dict button.sym{overflow-wrap:anywhere}}.leanwalk .aside-head{letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;gap:.5312rem;margin-bottom:.9563rem;padding-bottom:.425rem;font-size:.765rem;font-weight:600;display:flex}.leanwalk .aside-head .btns{gap:.3187rem;display:flex}.leanwalk .aside-head button{font:inherit;letter-spacing:.04em;text-transform:none;border:1px solid var(--rule);color:var(--ink-soft);cursor:pointer;background:0 0;border-radius:3px;padding:.1063rem .425rem}.leanwalk .aside-head button:hover{color:var(--ink);border-color:var(--accent)}.leanwalk .aside-head button[hidden]{display:none}.leanwalk .chip{background:0 0;border:0;padding:0}.leanwalk .chip .chip-kind{letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-size:.7013rem;font-weight:700}.leanwalk .chip h3{font-size:1.0837rem;font-weight:650;font-family:var(--font-mono);word-break:break-word;margin:.2125rem 0 .3187rem}.leanwalk .chip .usage{color:var(--ink-faint);margin:0 0 .9031rem;font-size:.8287rem}.leanwalk .chip .usage .lbl{margin-right:.4781rem;font-style:italic}.leanwalk .chip .usage code{font-family:var(--font-mono);background:var(--code-bg);border:1px solid var(--rule);color:var(--ink-soft);white-space:pre;border-radius:3px;padding:.05em .35em;font-size:.95em}.leanwalk .chip .gloss{color:var(--ink-soft);margin:0 0 .9031rem;font-size:.9775rem}.leanwalk .chip .gloss code,.leanwalk .lede code,.leanwalk .blurb code{font-family:var(--font-mono);background:var(--code-bg);border-radius:3px;padding:0 .2em;font-size:.9em}.leanwalk .chip pre{white-space:pre-wrap;overflow-wrap:break-word;font-size:.8394rem;line-height:1.6}.leanwalk .chip .loc{color:var(--ink-faint);margin:.5844rem 0 0;font-size:.8075rem}.leanwalk .schemfig{max-width:46.75rem;margin:1.275rem auto 1.7rem}.leanwalk .schemfig svg{width:100%;height:auto;display:block}.leanwalk .s-state{fill:var(--book-bg);stroke:var(--ink-faint)}.leanwalk .s-party{fill:none;stroke-width:1.8px}.leanwalk .s-alice{stroke:var(--fig-a);fill:color-mix(in srgb, var(--fig-a) 7%, transparent)}.leanwalk .s-bob{stroke:var(--fig-b);fill:color-mix(in srgb, var(--fig-b) 7%, transparent)}.leanwalk .s-wire{fill:var(--panel)}.leanwalk .s-arr{fill:none;stroke:var(--ink-soft);stroke-width:1.7px}.leanwalk .s-barrier{stroke:var(--fig-x);stroke-width:2px;stroke-dasharray:8 6}.leanwalk .schemfig .s-lab{font:19px var(--font-sans);fill:var(--ink)}.leanwalk .schemfig .s-sm{font:16px var(--font-sans);fill:var(--ink-faint)}.leanwalk .schemfig .s-name{font:600 19px var(--font-sans)}.leanwalk .schemfig .s-u{font:600 20px var(--font-sans);fill:var(--bg)}.leanwalk .schemfig figcaption,.leanwalk .graphfig figcaption{margin-top:.5312rem}.leanwalk .graphfig{width:min(96vw,65.875rem);margin:1.275rem 0 2.125rem;position:relative;left:50%;transform:translate(-50%)}.leanwalk .graphfig svg{width:100%;height:auto;display:block}.leanwalk .pg-edge{fill:none;stroke:var(--ink-soft);stroke-width:1.25px;opacity:.55}.leanwalk .pg-node text{font:12px var(--font-mono);fill:var(--ink-soft);paint-order:stroke;stroke:var(--bg);stroke-width:3px;stroke-linejoin:round}.leanwalk .pg-node:hover text,.leanwalk .pg-node.on text{fill:var(--ink);font-weight:600}.leanwalk .pg-node.on circle:first-of-type{stroke:var(--accent);stroke-width:2.5px}.leanwalk .pg-legend{color:var(--ink-soft);flex-wrap:wrap;justify-content:center;gap:.425rem 1.1688rem;margin:.5312rem 0 0;font-size:.8075rem;display:flex}.leanwalk .pg-legend i{border-radius:50%;width:.7em;height:.7em;margin-right:.35em;display:inline-block}.leanwalk .whynow{color:var(--ink-faint);margin:.5844rem 0 -.1063rem;font-size:.9031rem}.leanwalk .pathwrap{margin:1.1688rem 0 1.7rem;padding-bottom:.7969rem}.leanwalk ol.path{color:var(--ink-soft);margin:.5844rem 0 0;padding-left:1.4875rem;font-size:.9563rem}.leanwalk ol.path li{margin:.3187rem 0}.leanwalk ol.path li::marker{color:var(--accent);font-weight:700}.leanwalk ol.path,.leanwalk ol.notes{list-style:decimal}.leanwalk ol.path a{color:var(--ink);text-decoration-color:var(--rule);font-weight:600}.leanwalk .card:target{outline:2px solid var(--accent);outline-offset:3px}.leanwalk [hidden]{display:none!important}.leanwalk .pg-edge.nske{opacity:0;pointer-events:none}.leanwalk .pg-edge.nske.show{opacity:.8}.leanwalk .pg-node{cursor:pointer}.leanwalk #gtip{z-index:40;background:var(--ink);max-width:25.5rem;color:var(--bg);opacity:0;pointer-events:none;border-radius:5px;padding:.4781rem .6906rem;font-size:.8287rem;line-height:1.5;transition:opacity .1s;position:fixed}.leanwalk #gtip .gt-name{font-family:var(--font-mono);font-weight:600}.leanwalk #gtip math{font-size:1.05em}:where(.dark) .leanwalk{--bg:var(--surface-secondary);--panel:var(--surface-primary);--ink:#fff;--ink-soft:oklch(86.9% .022 252.894);--ink-faint:oklch(62.9% .043 257.103);--rule:oklch(40.9% .0435 257.284);--accent:oklch(88% .045 150);--book-bg:var(--surface-primary);--code-bg:var(--surface-tertiary);--sym:oklch(82.8% .111 230.318);--sym-bg:transparent;--sym-active-bg:color-mix(in srgb, var(--sym) 22%, transparent);--kw:oklch(70.4% .04 256.788);--name:#fff;--com:oklch(62.9% .043 257.103);--c-name:oklch(80% .03 257);--c-obj:oklch(80% .12 300);--c-hyp:oklch(80% .12 5);--c-con:oklch(80% .15 80);--slot-mix:30%;--fig-a:oklch(82.8% .111 230.318);--fig-b:oklch(78% .12 152);--fig-x:oklch(78% .14 60)}.leanwalk{border-top:1px solid var(--rule);margin-top:5rem;padding-top:2.75rem;scroll-margin-top:7rem}.leanwalk .lw-kicker{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--accent);margin:0 0 .25rem;font-size:.7437rem}.leanwalk .lw-source{color:var(--ink-soft);margin:0 0 .4rem;font-size:.9563rem}.leanwalk .page{max-width:none;padding-left:0;padding-right:0}.leanwalk .lw-title,.leanwalk h2,.leanwalk h3:not(.group>h3){font-family:var(--font-sans)}.leanwalk .graphfig figcaption{max-width:calc(min(48rem,100vw) - 2rem);margin-inline:auto}@media (width>=40rem){.leanwalk .graphfig figcaption{max-width:calc(min(48rem,100vw) - 3rem)}}@media (width>=64rem){.leanwalk .graphfig figcaption{max-width:calc(min(48rem,100vw) - 4rem)}}.blog-prose[data-astro-cid-m66uj5id]{color:var(--content);font-size:1.0625rem;line-height:1.8}.blog-prose[data-astro-cid-m66uj5id] h2{font-size:1.75rem;font-family:var(--font-serif);margin-top:2.75rem;margin-bottom:1rem;scroll-margin-top:7rem;font-weight:500;line-height:1.25}.blog-prose[data-astro-cid-m66uj5id] h3{font-size:1.35rem;font-family:var(--font-serif);margin-top:2rem;margin-bottom:.75rem;scroll-margin-top:7rem;font-weight:500;line-height:1.3}.blog-prose[data-astro-cid-m66uj5id] h4{margin-top:1.75rem;margin-bottom:.5rem;scroll-margin-top:7rem;font-size:1.1rem;font-weight:600}.blog-prose[data-astro-cid-m66uj5id] p{margin-top:1.75rem;margin-bottom:1.75rem}.blog-prose[data-astro-cid-m66uj5id] p:has(img)+p:has(>em:only-child){color:var(--content-subtle);margin-top:.75rem;font-size:.85rem;line-height:1.5}.blog-prose[data-astro-cid-m66uj5id] a{color:inherit;text-decoration:underline 2px;text-decoration-color:var(--edge-accent-bold);text-underline-offset:3px;transition:text-decoration-thickness .15s}.blog-prose[data-astro-cid-m66uj5id] a:hover{text-decoration-thickness:3px}.blog-prose[data-astro-cid-m66uj5id] ul,.blog-prose[data-astro-cid-m66uj5id] ol{margin-top:1.25rem;margin-bottom:1.25rem;padding-left:1.5rem}.blog-prose[data-astro-cid-m66uj5id] ul{list-style-type:disc}.blog-prose[data-astro-cid-m66uj5id] ol{list-style-type:decimal}.blog-prose[data-astro-cid-m66uj5id] li{margin-top:.5rem;margin-bottom:.5rem}.blog-prose[data-astro-cid-m66uj5id] li::marker{color:var(--content-subtle)}.blog-prose[data-astro-cid-m66uj5id] strong{font-weight:600}.blog-prose[data-astro-cid-m66uj5id] blockquote{border-left:3px solid var(--edge-accent-bold);color:var(--content-light);margin:1.75rem 0;padding-left:1.25rem;font-style:italic}.blog-prose[data-astro-cid-m66uj5id] code{font-family:var(--font-mono);background-color:var(--surface-tertiary);padding:.15em .4em;font-size:.9em}.blog-prose[data-astro-cid-m66uj5id] pre{border:1px solid var(--edge-primary);margin:1.75rem 0;padding:1.25rem;font-size:.9rem;line-height:1.6;overflow-x:auto}.blog-prose[data-astro-cid-m66uj5id] pre code{font-size:inherit;background-color:#0000;padding:0}.blog-prose[data-astro-cid-m66uj5id] img{background-color:var(--color-white);box-sizing:border-box;width:100%;height:auto;margin:1.75rem 0;padding:1rem;display:block}.dark .blog-prose[data-astro-cid-m66uj5id] img{border:1px solid var(--edge-primary)}.blog-prose[data-astro-cid-m66uj5id] img[src*=-dark\.],.dark .blog-prose[data-astro-cid-m66uj5id] img[src*=-light\.]{display:none}.dark .blog-prose[data-astro-cid-m66uj5id] img[src*=-dark\.]{background-color:var(--surface-primary);display:block}.blog-prose[data-astro-cid-m66uj5id] hr{border:0;border-top:1px solid var(--edge-primary);margin:2.5rem 0}.blog-prose[data-astro-cid-m66uj5id] .table-wrap{margin:1.75rem 0;overflow-x:auto}.blog-prose[data-astro-cid-m66uj5id] table{border-collapse:collapse;background-color:var(--surface-primary);width:100%;margin:0;font-size:.95rem}.blog-prose[data-astro-cid-m66uj5id] th,.blog-prose[data-astro-cid-m66uj5id] td{border:1px solid var(--edge-primary);text-align:left;padding:.5rem .75rem}.blog-prose[data-astro-cid-m66uj5id] th{background-color:var(--surface-tertiary);font-weight:600}.blog-prose[data-astro-cid-m66uj5id] .katex-display{padding:.5rem 0;overflow:auto hidden}