@font-face{font-family:DM Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/dm-mono-latin-ext-400-normal.C2zvOubV.woff2)format("woff2"),url(/_astro/dm-mono-latin-ext-400-normal.1aZr6b2b.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:DM Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/dm-mono-latin-400-normal.4GdczIuU.woff2)format("woff2"),url(/_astro/dm-mono-latin-400-normal.-0xN8mdc.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:DM Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/dm-mono-latin-ext-500-normal.BtRyHRi6.woff2)format("woff2"),url(/_astro/dm-mono-latin-ext-500-normal.Dw3M13d8.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:DM Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/dm-mono-latin-500-normal.DRMDZjhP.woff2)format("woff2"),url(/_astro/dm-mono-latin-500-normal.CN8Miw6E.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}.home-how-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem;margin-top:1.5rem;display:grid}@media (width<=64rem){.home-how-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=40rem){.home-how-grid[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,1fr)}}.home-how-step[data-astro-cid-lcdefpme]{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);padding:1rem 1.1rem 1.1rem}.home-how-step[data-astro-cid-lcdefpme] h3[data-astro-cid-lcdefpme]{letter-spacing:-.01em;color:var(--tdb-ink);margin:0;font-size:1rem;font-weight:640}.home-how-step[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]+p[data-astro-cid-lcdefpme],.home-how-step[data-astro-cid-lcdefpme] h3[data-astro-cid-lcdefpme]+p[data-astro-cid-lcdefpme]{color:var(--tdb-muted);margin:.45rem 0 0;font-size:.8rem;line-height:1.6}.home-how-step[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{color:var(--tdb-accent);margin-top:.7rem;font-size:.78rem;font-weight:620;text-decoration:none;display:inline-block}.home-how-step[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--tdb-accent-strong)}.home-solved-list[data-astro-cid-lcdefpme]{margin:0;padding:0;list-style:none}.home-solved-row[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--color-rule,#e6e3d9);justify-content:space-between;align-items:center;gap:1rem;padding:.6rem 0;display:flex}.home-solved-row[data-astro-cid-lcdefpme]:last-child{border-bottom:0}.home-solved-title[data-astro-cid-lcdefpme]{min-width:0;color:var(--color-navy,#0d2137);text-overflow:ellipsis;white-space:nowrap;font-size:.95rem;font-weight:550;line-height:1.4;overflow:hidden}.home-solved-title[data-astro-cid-lcdefpme]:hover{color:var(--color-accent,#4f46e5)}.home-solved-tags[data-astro-cid-lcdefpme]{flex-wrap:wrap;flex:none;justify-content:flex-end;align-items:center;gap:.5rem;display:flex}.home-solved-date[data-astro-cid-lcdefpme]{color:var(--color-muted,#6d7a83);font-family:var(--tdb-font-interface,var(--font-sans));font-variant-numeric:tabular-nums;white-space:nowrap;font-size:.7rem}.home-solved-date[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{color:var(--color-faint,#8d969c);font-size:.62rem}.home-solved-field[data-astro-cid-lcdefpme]{text-overflow:ellipsis;white-space:nowrap;background:var(--hue-bg,#f0f0ed);max-width:11rem;color:var(--hue-ink,#6d7169);font-family:var(--tdb-font-interface,var(--font-sans));border-radius:999px;padding:.05rem .55rem;font-size:.72rem;font-weight:550;overflow:hidden}.home-solved-state[data-astro-cid-lcdefpme]{border:1px solid color-mix(in srgb, var(--color-ok,#1f7a5a) 25%, transparent);background:color-mix(in srgb, var(--color-ok,#1f7a5a) 11%, white);font-family:var(--tdb-font-interface,var(--font-sans));letter-spacing:-.01em;white-space:nowrap;color:var(--color-ok,#1f7a5a);border-radius:999px;align-items:center;gap:.3rem;padding:.16rem .5rem;font-size:.7rem;font-weight:620;display:inline-flex}.home-solved-state[data-astro-cid-lcdefpme]:before{content:"";background:currentColor;border-radius:999px;width:.4rem;height:.4rem}.home-solved-state[data-astro-cid-lcdefpme][data-state*=refuted],.home-solved-state[data-astro-cid-lcdefpme][data-state*=disproved],.home-solved-state[data-astro-cid-lcdefpme][data-state*=false]{color:#a33a3a;background:#f6ebeb;border-color:#a33a3a40}@media (width<=640px){.home-solved-row[data-astro-cid-lcdefpme]{flex-direction:column;align-items:flex-start;gap:.4rem}.home-solved-title[data-astro-cid-lcdefpme]{white-space:normal}.home-solved-tags[data-astro-cid-lcdefpme]{justify-content:flex-start}}#tdb-demo[data-astro-cid-lcdefpme].home-v2{min-height:0}.connect-card[data-astro-cid-lcdefpme]{border:1px solid var(--color-rule,#e6e3d9);background:#fff;border-radius:.75rem;flex-direction:column;gap:.9rem;min-width:0;padding:1.15rem 1.25rem;display:flex;box-shadow:0 1px 2px #0d21370a}.connect-card-head[data-astro-cid-lcdefpme]{justify-content:space-between;align-items:baseline;gap:.75rem;display:flex}.connect-provider[data-astro-cid-lcdefpme]{color:var(--color-navy,#0d2137);margin:0;font-size:1rem;font-weight:650}.connect-note[data-astro-cid-lcdefpme]{color:var(--color-muted,#6d7a83);font-size:.78rem}.connect-steps[data-astro-cid-lcdefpme]{flex-direction:column;gap:.45rem;margin:0;padding:0;list-style:none;display:flex}.connect-steps[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{color:var(--color-body,#3d4b57);font-size:.875rem;line-height:1.55}.connect-steps[data-astro-cid-lcdefpme] strong[data-astro-cid-lcdefpme]{color:var(--color-navy,#0d2137);font-weight:600}.connect-more[data-astro-cid-lcdefpme]>summary[data-astro-cid-lcdefpme]{cursor:pointer;color:var(--color-accent,#4f46e5);font-size:.82rem;font-weight:550;list-style:none}.connect-more[data-astro-cid-lcdefpme]>summary[data-astro-cid-lcdefpme]::-webkit-details-marker{display:none}.connect-more[data-astro-cid-lcdefpme]>summary[data-astro-cid-lcdefpme]:after{content:" ▸";font-size:.7rem}.connect-more[data-astro-cid-lcdefpme][open]>summary[data-astro-cid-lcdefpme]:after{content:" ▾"}.connect-more[data-astro-cid-lcdefpme][open]>summary[data-astro-cid-lcdefpme]{margin-bottom:.7rem}#tdb-panes[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme]{min-width:0}.tdb-copy[data-astro-cid-lcdefpme].problem-packets-copy,.home-explore-head[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme],.tdb-copy[data-astro-cid-lcdefpme].open-problems-copy{width:100%;max-width:none}.home-opening-content-section[data-astro-cid-lcdefpme]>.tdb-section-inner[data-astro-cid-lcdefpme]{padding-top:4rem}@media (width<=640px){.home-opening-content-section[data-astro-cid-lcdefpme]>.tdb-section-inner[data-astro-cid-lcdefpme]{padding-top:3.25rem}}.tdb-copy[data-astro-cid-lcdefpme].connect-intro{width:100%;max-width:none}.packet-example[data-astro-cid-lcdefpme] .katex-display{margin-block:.75rem;padding-bottom:.15rem;overflow:auto hidden}.packet-head[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--color-rule,#e6e3d9);background:color-mix(in srgb, var(--color-bg-soft,#f4f2ec) 60%, white);flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:.75rem 1.25rem;padding:.85rem 1.1rem;display:flex}.packet-head-id[data-astro-cid-lcdefpme] .tdb-label[data-astro-cid-lcdefpme]{margin-bottom:0}.packet-head-id[data-astro-cid-lcdefpme] .tdb-label[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{color:var(--color-accent,#4f46e5)}.packet-head-id[data-astro-cid-lcdefpme] .tdb-label[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--color-accent-deep,#4338ca)}.packet-head-id[data-astro-cid-lcdefpme] h3[data-astro-cid-lcdefpme]{letter-spacing:-.01em;color:var(--color-navy,#0d2137);margin-top:.3rem;font-size:1.15rem;font-weight:620}.packet-head-meta[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--color-rule,#e6e3d9);background:color-mix(in srgb, var(--color-bg-soft,#f4f2ec) 30%, white);color:var(--color-muted,#6d7a83);flex-wrap:wrap;align-items:baseline;gap:.2rem .55rem;padding:.4rem 1.1rem;font-size:.6875rem;line-height:1.5;display:flex}.packet-meta-sep[data-astro-cid-lcdefpme]{color:var(--color-rule,#e6e3d9)}.packet-head-meta[data-astro-cid-lcdefpme] b[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:color-mix(in srgb, var(--color-muted,#6d7a83) 80%, white);font-size:.625rem;font-weight:500}.packet-head-call[data-astro-cid-lcdefpme]{align-items:baseline;gap:.5rem;min-width:0;max-width:100%;display:flex}.packet-head-call-label[data-astro-cid-lcdefpme]{letter-spacing:.06em;text-transform:uppercase;color:var(--color-muted,#6d7a83);font-size:.625rem}.packet-head-call[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{border:1px solid color-mix(in srgb, var(--color-accent,#4f46e5) 22%, white);background:var(--color-accent-tint,#eef1fe);min-width:0;max-width:100%;font-family:var(--font-mono,monospace);white-space:nowrap;color:var(--color-accent-deep,#4338ca);border-radius:.35rem;padding:.25rem .5rem;font-size:.72rem;overflow-x:auto}.packet-body[data-astro-cid-lcdefpme]{align-items:start;display:grid}@media (width>=64rem){.packet-body[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,.78fr) minmax(0,1.22fr)}}.packet-problem[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--color-rule,#e6e3d9);padding:1rem 1.1rem 1.1rem}@media (width>=64rem){.packet-problem[data-astro-cid-lcdefpme]{border-bottom:0;border-right:1px solid var(--color-rule,#e6e3d9);position:sticky;top:1.5rem}}.packet-statement[data-astro-cid-lcdefpme]{min-width:0;color:var(--color-navy,#0d2137);font-size:.9375rem;line-height:1.65}.packet-acceptance[data-astro-cid-lcdefpme]{color:var(--color-body,#46545f);margin-top:.5rem;font-size:.875rem;line-height:1.6}.packet-statement-row[data-astro-cid-lcdefpme]{gap:.75rem;margin-top:.55rem;display:grid}@media (width>=30rem){.packet-statement-row[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,1fr) auto;align-items:start;gap:.9rem}}.packet-facts[data-astro-cid-lcdefpme]{border-top:1px solid var(--color-rule,#e6e3d9);min-width:0;margin-top:.85rem}.packet-facts[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme]{border-bottom:1px solid color-mix(in srgb, var(--color-rule,#e6e3d9) 60%, transparent);grid-template-columns:7rem minmax(0,1fr);gap:.65rem;padding:.32rem 0;display:grid}.packet-facts[data-astro-cid-lcdefpme] dt[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);font-size:.6875rem}.packet-facts[data-astro-cid-lcdefpme] dd[data-astro-cid-lcdefpme]{color:var(--color-navy,#0d2137);font-size:.8125rem;line-height:1.5}.packet-figure[data-astro-cid-lcdefpme]{border:1px solid color-mix(in srgb, var(--color-rule,#e6e3d9) 80%, transparent);background:#fff9;border-radius:.6rem;justify-self:end;width:8.5rem;padding:.55rem .7rem .5rem}.packet-figure-matrix[data-astro-cid-lcdefpme]{background:#13243b}.packet-mini-matrix[data-astro-cid-lcdefpme]{aspect-ratio:1;grid-template-columns:repeat(var(--matrix-size), minmax(0, 1fr));background:#0000002e;border-radius:.2rem;gap:1px;width:100%;padding:.25rem;display:grid}.packet-mini-matrix[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{background:#ffffff0e;border-radius:1px}.packet-mini-matrix[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme].is-one{background:#f0c777}.packet-figure[data-astro-cid-lcdefpme] figcaption[data-astro-cid-lcdefpme]{color:#c3ccda;margin-top:.4rem;font-size:.625rem;line-height:1.45}.packet-return[data-astro-cid-lcdefpme]{background:radial-gradient(circle at 60% 0,#4f46e50a,#0000 46%),#fbfaf7;min-width:0;padding:1rem 1.1rem 1.1rem}.packet-return-head[data-astro-cid-lcdefpme]{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.35rem 1rem;display:flex}.packet-return-title-row[data-astro-cid-lcdefpme]{align-items:center;gap:.4rem;display:flex}.packet-return-head[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);font-size:.6875rem}.packet-return-head[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{color:var(--color-accent-deep,#4338ca)}.packet-meter[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);flex:16rem;grid-template-columns:auto auto auto minmax(0,1fr);align-items:center;gap:.4rem;font-size:.625rem;display:grid}.packet-meter[data-astro-cid-lcdefpme] strong[data-astro-cid-lcdefpme]{color:var(--color-navy,#0d2137);font-weight:600}.packet-browser[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,1fr);gap:.75rem;margin-top:.7rem;display:grid}.packet-tree[data-astro-cid-lcdefpme]{max-height:13rem}.packet-detail[data-astro-cid-lcdefpme]{max-height:20rem}@media (width>=48rem){.packet-browser[data-astro-cid-lcdefpme]{grid-template-columns:minmax(0,1fr) minmax(0,1fr);height:14rem}.packet-tree[data-astro-cid-lcdefpme],.packet-detail[data-astro-cid-lcdefpme]{max-height:none}}.packet-tree[data-astro-cid-lcdefpme],.packet-detail[data-astro-cid-lcdefpme]{overscroll-behavior:contain;border:1px solid color-mix(in srgb, var(--color-rule,#e6e3d9) 85%, transparent);background:#ffffffbf;border-radius:.6rem;min-width:0}.packet-tree[data-astro-cid-lcdefpme]{overflow-y:auto}.packet-detail[data-astro-cid-lcdefpme]{flex-direction:column;display:flex;overflow:hidden}.packet-detail-head[data-astro-cid-lcdefpme],.packet-detail-chain-label[data-astro-cid-lcdefpme],.packet-chain[data-astro-cid-lcdefpme]{flex:none}.packet-detail-scroll[data-astro-cid-lcdefpme]{flex:1;min-height:2.5rem;overflow-y:auto}.packet-detail-out[data-astro-cid-lcdefpme]{color:var(--color-accent,#4f46e5);font-size:.6875rem}.packet-detail[data-astro-cid-lcdefpme] h5[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--color-accent-deep,#4338ca)}.packet-tree[data-astro-cid-lcdefpme]{padding:.35rem}.packet-tree-group[data-astro-cid-lcdefpme]+.packet-tree-group[data-astro-cid-lcdefpme]{border-top:1px solid color-mix(in srgb, var(--color-rule,#e6e3d9) 55%, transparent);margin-top:.15rem;padding-top:.15rem}.packet-tree-head[data-astro-cid-lcdefpme]{cursor:pointer;text-align:left;border-radius:.35rem;align-items:center;gap:.35rem;width:100%;padding:.3rem .35rem;display:flex}.packet-tree-head[data-astro-cid-lcdefpme]:hover{background:var(--color-bg-soft,#f4f2ec)}.packet-tree-group[data-astro-cid-lcdefpme]:focus-visible{outline:none}.packet-tree-group[data-astro-cid-lcdefpme]:focus-visible>.packet-tree-head[data-astro-cid-lcdefpme]{outline:2px solid var(--color-accent,#24406e);outline-offset:2px}.packet-tree-caret[data-astro-cid-lcdefpme]{border-top:.22rem solid #0000;border-bottom:.22rem solid #0000;border-left:.3rem solid var(--color-muted,#6d7a83);flex:none;width:0;height:0;transition:transform .12s;transform:rotate(90deg)}.packet-tree-group[data-astro-cid-lcdefpme][aria-expanded=false] .packet-tree-caret[data-astro-cid-lcdefpme]{transform:none}.packet-tree-group[data-astro-cid-lcdefpme][aria-expanded=false]>ul[data-astro-cid-lcdefpme]{display:none}.packet-tree-heading[data-astro-cid-lcdefpme]{flex:1;align-items:baseline;gap:.4rem;min-width:0;display:flex}.packet-tree-heading[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--field-color,var(--color-navy,#0d2137));font-size:.6875rem;font-weight:550}.packet-tree-heading[data-astro-cid-lcdefpme] em[data-astro-cid-lcdefpme]{color:var(--color-muted,#6d7a83);text-overflow:ellipsis;white-space:nowrap;font-size:.6875rem;font-style:normal;overflow:hidden}.packet-tree-group[data-astro-cid-lcdefpme]{--field-color:var(--color-muted,#6d7a83)}.packet-tree-group[data-astro-cid-lcdefpme][data-field=established_results]{--field-color:#35634e}.packet-tree-group[data-astro-cid-lcdefpme][data-field=negative_traces]{--field-color:#8e382f}.packet-tree-group[data-astro-cid-lcdefpme][data-field=reusable_artifacts]{--field-color:#24406e}.packet-tree-group[data-astro-cid-lcdefpme][data-field=formalizations]{--field-color:#4a6270}.packet-tree-group[data-astro-cid-lcdefpme][data-field=open_questions]{--field-color:#835b22}.packet-tree-group[data-astro-cid-lcdefpme] .packet-tree-caret[data-astro-cid-lcdefpme]{color:var(--field-color)}.packet-tree-count[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);flex:none;font-size:.625rem}.packet-tree[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme]>ul[data-astro-cid-lcdefpme]{margin:.1rem 0 .25rem;padding:0 0 0 .65rem;list-style:none}.packet-tree-row[data-astro-cid-lcdefpme]{font-family:KaTeX_Main, var(--font-serif,Georgia), serif;text-align:left;width:100%;color:var(--color-body,#46545f);border-radius:.35rem;justify-content:space-between;align-items:center;gap:.4rem;padding:.25rem .4rem;font-size:.75rem;line-height:1.35;display:flex}.packet-tree-title[data-astro-cid-lcdefpme]{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.packet-tree-row[data-astro-cid-lcdefpme]:hover{background:var(--color-bg-soft,#f4f2ec)}.packet-tree-row[data-astro-cid-lcdefpme][aria-selected=true]{background:var(--color-accent-tint,#eef1fe);color:var(--color-accent-deep,#4338ca);font-weight:550}.packet-tree-evidence[data-astro-cid-lcdefpme]{border:1px solid var(--color-rule,#e6e3d9);font-family:var(--font-ui,sans-serif);color:var(--color-muted,#6d7a83);white-space:nowrap;border-radius:.25rem;flex:none;padding:.06rem .2rem;font-size:.55rem;font-weight:500;line-height:1.3}.packet-tree-evidence[data-astro-cid-lcdefpme].is-reproduced,.packet-tree-evidence[data-astro-cid-lcdefpme].is-formally_verified{border-color:var(--color-ok,#217a54);color:var(--color-ok,#217a54)}.packet-tree-evidence[data-astro-cid-lcdefpme].is-executable{border-color:var(--color-accent,#4f46e5);color:var(--color-accent-deep,#4338ca)}.packet-tree-evidence[data-astro-cid-lcdefpme].is-sourced{border-color:var(--color-muted,#6d7a83)}.packet-grade[data-astro-cid-lcdefpme]{border:1px solid var(--color-rule,#e6e3d9);font-family:var(--font-mono,monospace);letter-spacing:.02em;white-space:nowrap;color:var(--color-muted,#6d7a83);background:#fff;border-radius:.25rem;padding:.05rem .3rem;font-size:.5625rem;display:inline-block}.packet-grade[data-astro-cid-lcdefpme].is-reproduced,.packet-grade[data-astro-cid-lcdefpme].is-formally_verified{border-color:color-mix(in srgb, var(--color-ok,#217a54) 34%, white);background:var(--color-ok-tint,#e5f4ec);color:var(--color-ok,#217a54)}.packet-grade[data-astro-cid-lcdefpme].is-executable{border-color:color-mix(in srgb, var(--color-accent,#4f46e5) 30%, white);background:var(--color-accent-tint,#eef1fe);color:var(--color-accent-deep,#4338ca)}.packet-grade[data-astro-cid-lcdefpme].is-unverified_formalization,.packet-grade[data-astro-cid-lcdefpme].is-proposed{border-style:dashed}.packet-holds-over[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);font-size:.625rem}.packet-detail[data-astro-cid-lcdefpme]{padding:.85rem .95rem}.packet-detail-kind[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);color:var(--color-muted,#6d7a83);flex-wrap:wrap;align-items:center;gap:.4rem;font-size:.625rem;display:flex}.packet-detail[data-astro-cid-lcdefpme] h5[data-astro-cid-lcdefpme]{color:var(--color-navy,#0d2137);margin-top:.2rem;font-size:.875rem;font-weight:620;line-height:1.35}.packet-detail-summary[data-astro-cid-lcdefpme]{color:var(--color-body,#46545f);margin-top:.5rem;font-size:.78125rem;line-height:1.6}.packet-detail-chain-label[data-astro-cid-lcdefpme]{border-top:1px solid color-mix(in srgb, var(--color-rule,#e6e3d9) 70%, transparent);margin-top:.5rem;margin-bottom:.25rem;padding-top:.5rem}.packet-chain[data-astro-cid-lcdefpme]{flex-direction:column;gap:.22rem;max-height:6.5rem;margin:0;padding:0;list-style:none;display:flex;overflow-y:auto}.packet-chain[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{align-items:baseline;gap:.4rem;font-size:.75rem;line-height:1.4;display:flex}.packet-chain[data-astro-cid-lcdefpme] em[data-astro-cid-lcdefpme]{text-overflow:ellipsis;white-space:nowrap;width:5.2rem;font-family:var(--font-mono,monospace);text-align:right;color:var(--color-muted,#6d7a83);flex:none;font-size:.625rem;font-style:normal;overflow:hidden}.packet-chain[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme],.packet-chain[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{text-overflow:ellipsis;white-space:nowrap;text-align:left;min-width:0;color:var(--color-accent,#4f46e5);overflow:hidden}.packet-chain[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:hover,.packet-chain[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--color-accent-deep,#4338ca);text-decoration:underline}.packet-return-foot[data-astro-cid-lcdefpme]{border-top:1px solid var(--color-rule,#e6e3d9);color:var(--color-muted,#6d7a83);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.25rem 1rem;margin-top:.6rem;padding-top:.5rem;font-size:.6875rem;line-height:1.5;display:flex}.packet-return-foot[data-astro-cid-lcdefpme]>p[data-astro-cid-lcdefpme]:first-child{max-width:32rem}.packet-next[data-astro-cid-lcdefpme]{font-family:var(--font-mono,monospace);white-space:nowrap;font-size:.6875rem}.packet-next[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{color:var(--color-accent-deep,#4338ca)}@media (width<=40rem){.packet-head-call-label[data-astro-cid-lcdefpme]{display:none}.packet-meter[data-astro-cid-lcdefpme]{grid-template-columns:auto auto auto minmax(2.5rem,1fr)}.packet-meter[data-astro-cid-lcdefpme]>span[data-astro-cid-lcdefpme]:last-child{grid-column:1/-1}.packet-return-foot[data-astro-cid-lcdefpme]{display:block}.packet-next[data-astro-cid-lcdefpme]{margin-top:.4rem}}#tdb-demo[data-astro-cid-lcdefpme]{--font-mono:"DM Mono", "SFMono-Regular", "SF Mono", ui-monospace, monospace}#tdb-demo[data-astro-cid-lcdefpme] .font-mono[data-astro-cid-lcdefpme]{font-family:var(--font-mono)}#tdb-demo[data-astro-cid-lcdefpme] .mcp-call-compact code,#tdb-demo[data-astro-cid-lcdefpme] .mcp-call-compact span,#tdb-demo[data-astro-cid-lcdefpme] .mcp-explainer code,#tdb-demo[data-astro-cid-lcdefpme] .mcp-explainer span{font-size:.75rem}#tdb-demo[data-astro-cid-lcdefpme] .mcp-call-compact code{white-space:nowrap;flex:none}.memory-summary[data-astro-cid-lcdefpme]{background:#09111e;overflow:hidden}.memory-summary-body[data-astro-cid-lcdefpme]{flex-direction:column;gap:.7rem;height:100%;min-height:0;padding:.85rem;display:flex}.memory-piece[data-astro-cid-lcdefpme]{display:none}.memory-summary[data-astro-cid-lcdefpme][data-used~=orient] .memory-target[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=open][data-used~=orient] .memory-section-title[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=open][data-used~=orient] .memory-claim[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=open][data-used~=check] .memory-attempt[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=open][data-used~=object] .memory-artifact[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=known][data-used~=orient] .memory-section-title[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=known][data-used~=orient] .memory-no-match[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=new][data-used~=orient] .memory-section-title[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-scenario=new][data-used~=orient] .memory-no-match[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-used~=search] .memory-lean[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-used~=entry] .memory-lean[data-astro-cid-lcdefpme],.memory-summary[data-astro-cid-lcdefpme][data-used~=record] .memory-result[data-astro-cid-lcdefpme]{animation:.28s ease-out both memory-summary-in;display:block}@keyframes memory-summary-in{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:none}}.memory-target[data-astro-cid-lcdefpme],.memory-item[data-astro-cid-lcdefpme],.memory-lean[data-astro-cid-lcdefpme],.memory-result[data-astro-cid-lcdefpme],.memory-no-match[data-astro-cid-lcdefpme]{background:#0f1c2fe6;border:1px solid #48607fad;border-radius:.6rem}.memory-target[data-astro-cid-lcdefpme]{border-color:#9298f46b;padding:.75rem .8rem}.memory-target[data-astro-cid-lcdefpme] header[data-astro-cid-lcdefpme],.memory-result[data-astro-cid-lcdefpme] header[data-astro-cid-lcdefpme],.memory-item[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme]{justify-content:space-between;align-items:center;gap:.75rem;display:flex}.memory-target[data-astro-cid-lcdefpme] header[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme],.memory-result[data-astro-cid-lcdefpme] header[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme],.memory-item[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme],.memory-lean[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme],.memory-section-title[data-astro-cid-lcdefpme]{font-family:var(--font-mono);letter-spacing:.025em;color:#9298f4c2;font-size:.75rem;font-weight:500}.memory-target[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme],.memory-result[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme],.memory-item[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:#d7e1ee7a;font-size:.7rem}.memory-target[data-astro-cid-lcdefpme]>strong[data-astro-cid-lcdefpme]{color:#e8eef7eb;margin-top:.45rem;font-size:.86rem;font-weight:500;line-height:1.45;display:block}.memory-research[data-astro-cid-lcdefpme]{min-height:0}.memory-section-title[data-astro-cid-lcdefpme]{color:#d7e1ee6b;margin-bottom:.45rem}.memory-items[data-astro-cid-lcdefpme]{gap:.45rem;display:grid}.memory-item[data-astro-cid-lcdefpme]{padding:.58rem .68rem}.memory-item[data-astro-cid-lcdefpme]>strong[data-astro-cid-lcdefpme],.memory-lean[data-astro-cid-lcdefpme]>strong[data-astro-cid-lcdefpme]{text-overflow:ellipsis;white-space:nowrap;color:#e0e8f2d9;margin-top:.28rem;font-size:.8rem;font-weight:500;display:block;overflow:hidden}.memory-attempt[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{color:#d89a94d6}.memory-artifact[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{color:#7fd6a5c7}.memory-no-match[data-astro-cid-lcdefpme]{color:#d7e1ee7a;border-style:dashed;padding:.7rem;font-size:.8rem}.memory-lean[data-astro-cid-lcdefpme]{padding:.65rem .72rem}.memory-lean[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{color:#7fd6a5c2}.memory-result[data-astro-cid-lcdefpme]{background:#13302fb8;border-color:#7fd6a585;margin-top:auto;padding:.75rem .8rem}.memory-result[data-astro-cid-lcdefpme] header[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{color:#7fd6a5d1}.memory-result[data-astro-cid-lcdefpme]>strong[data-astro-cid-lcdefpme]{color:#e8f1f3f0;margin-top:.42rem;font-size:.86rem;font-weight:600;line-height:1.4;display:block}.memory-result[data-astro-cid-lcdefpme] small[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:#7fd6a59e;margin-top:.38rem;font-size:.72rem;display:block}@media (prefers-reduced-motion:reduce){.memory-piece[data-astro-cid-lcdefpme]{animation:none!important}}.pm-panel[data-astro-cid-lcdefpme][hidden],[data-astro-cid-lcdefpme][data-home-packet-rail][hidden]{display:none}.pm-shell[data-astro-cid-lcdefpme]{grid-template-columns:15rem minmax(0,1fr);display:grid}.pm-rail[data-astro-cid-lcdefpme]{border-right:1px solid var(--color-rule,#e6e3d9);background:#fbfaf7;flex-direction:column;display:flex}.pm-band[data-astro-cid-lcdefpme]{background:var(--accent,#24406e);color:#fff;text-align:center;margin:0;padding:.55rem .65rem;font-size:.72rem;font-weight:680;line-height:1.35}.pm-band-ref[data-astro-cid-lcdefpme]{font-family:var(--tdb-font-mono,ui-monospace, monospace);opacity:.82;margin-right:.3rem;font-weight:600}.pm-rail[data-astro-cid-lcdefpme]>[data-astro-cid-lcdefpme]{flex:none}.pm-figure[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--color-rule,#e6e3d9);margin:0;padding:.6rem .65rem .5rem}.pm-figure[data-astro-cid-lcdefpme] figcaption[data-astro-cid-lcdefpme]{color:var(--muted,#8b8d86);margin-top:.4rem;font-size:.6rem;line-height:1.45}.pm-figure[data-astro-cid-lcdefpme] figcaption[data-astro-cid-lcdefpme] b[data-astro-cid-lcdefpme]{color:var(--navy,#151719)}.pm-sizes[data-astro-cid-lcdefpme]{border:1px solid var(--color-rule,#e6e3d9);border-radius:3px;margin-top:.45rem;display:inline-flex;overflow:hidden}.pm-sizes[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]{border:0;border-left:1px solid var(--color-rule,#e6e3d9);font-family:var(--font-mono);color:var(--body,#656860);cursor:pointer;background:#fff;padding:.16rem .42rem;font-size:.58rem;font-weight:600}.pm-sizes[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:first-child{border-left:0}.pm-sizes[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:hover{color:var(--accent,#24406e)}.pm-sizes[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme][aria-pressed=true]{background:var(--accent-tint,#eef2f7);color:var(--accent,#24406e)}.pm-rows[data-astro-cid-lcdefpme]{margin:0;padding:.15rem 0}.pm-rows[data-astro-cid-lcdefpme]>div[data-astro-cid-lcdefpme]{border-top:1px solid #deded799;grid-template-columns:4.4rem minmax(0,1fr);gap:.6rem;padding:.32rem .65rem;font-size:.66rem;line-height:1.45;display:grid}.pm-rows[data-astro-cid-lcdefpme] dt[data-astro-cid-lcdefpme]{color:var(--body,#656860);font-weight:620}.pm-rows[data-astro-cid-lcdefpme] dd[data-astro-cid-lcdefpme]{overflow-wrap:anywhere;color:var(--navy,#151719);margin:0}.pm-cta[data-astro-cid-lcdefpme]{border-top:1px solid var(--color-rule,#e6e3d9);color:var(--accent,#24406e);margin-top:auto;padding:.55rem .65rem;font-size:.7rem;font-weight:650;text-decoration:none;display:block}.pm-cta[data-astro-cid-lcdefpme]:hover{text-underline-offset:.16em;text-decoration:underline}.pm-main[data-astro-cid-lcdefpme]{overscroll-behavior:contain;scrollbar-width:thin;background:var(--tdb-surface,#f8f8f5);min-width:0;max-height:33rem;padding:0 1.25rem;overflow-y:auto}.pm-head[data-astro-cid-lcdefpme]{flex-wrap:wrap;align-items:center;gap:.6rem;margin-bottom:.7rem;padding-top:1.1rem;display:flex}.pm-tabs[data-astro-cid-lcdefpme]{z-index:4;border-bottom:1px solid var(--color-rule,#e6e3d9);background:color-mix(in srgb, var(--tdb-surface,#f8f8f5) 97%, transparent);backdrop-filter:blur(5px);scrollbar-width:thin;gap:.2rem;margin:0 -1.25rem .9rem;padding:0 1.25rem;display:flex;position:sticky;top:0;overflow-x:auto}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]{color:var(--body,#656860);white-space:nowrap;background:0 0;border:1px solid #0000;border-bottom-width:2px;border-radius:.25rem .25rem 0 0;flex:none;align-items:center;gap:.3rem;margin-bottom:-1px;padding:.42rem .62rem;font-size:.72rem;font-weight:620;line-height:1.3;display:inline-flex}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:hover{color:var(--accent,#24406e);background:color-mix(in srgb, var(--accent-tint,#eef2f7) 55%, transparent)}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme][aria-selected=true]{border-bottom-color:var(--accent,#24406e);background:color-mix(in srgb, var(--accent-tint,#eef2f7) 68%, var(--tdb-surface,#f8f8f5));color:var(--accent,#24406e)}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:disabled{background:color-mix(in srgb, var(--tdb-surface-strong,#f1f1ec) 62%, transparent);color:var(--tdb-faint,#a7a9a2);cursor:not-allowed;opacity:.68}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme]:focus-visible{outline:2px solid var(--accent,#24406e);outline-offset:-2px;border-radius:.25rem .25rem 0 0}.pm-tab-count[data-astro-cid-lcdefpme]{background:var(--accent-tint,#eef2f7);min-width:1.25rem;font-family:var(--font-mono);color:var(--accent,#24406e);text-align:center;border-radius:999px;padding:.07rem .3rem;font-size:.55rem;line-height:1.25}.pm-tabs[data-astro-cid-lcdefpme] button[data-astro-cid-lcdefpme][aria-selected=false] .pm-tab-count[data-astro-cid-lcdefpme]{background:var(--bg-soft,#f4f2ec);color:var(--body,#656860)}.pm-research-index-head[data-astro-cid-lcdefpme]{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.25rem 1rem;margin-bottom:.65rem;display:flex}.pm-research-index-head[data-astro-cid-lcdefpme] h4[data-astro-cid-lcdefpme]{color:var(--navy,#151719);margin:0;font-size:.9rem}.pm-research-index-head[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{color:var(--muted,#8b8d86);margin:0;font-size:.68rem}.pm-research-index[data-astro-cid-lcdefpme] .research-list--embedded{margin-bottom:.75rem}.pm-research-index[data-astro-cid-lcdefpme] .research-list--embedded .research-list-table{min-width:38rem}.pm-research-index-foot[data-astro-cid-lcdefpme]{border-top:1px solid var(--tdb-rule,#deded7);color:var(--tdb-muted,#8b8d86);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.3rem 1rem;padding:.6rem 0 .8rem;font-size:.68rem;display:flex}.pm-research-index-foot[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{margin:0}.pm-research-index-foot[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{color:var(--tdb-accent,#24406e);flex:none;font-weight:650}.pm-panel[data-astro-cid-lcdefpme]{min-width:0;padding-bottom:1.1rem}.pm-state[data-astro-cid-lcdefpme]{flex:none}.pm-head[data-astro-cid-lcdefpme] h3[data-astro-cid-lcdefpme]{letter-spacing:-.02em;margin:0;font-size:1.05rem;font-weight:650}.pm-context[data-astro-cid-lcdefpme],.pm-reference-section[data-astro-cid-lcdefpme]{margin-top:.8rem}.pm-context[data-astro-cid-lcdefpme] h4[data-astro-cid-lcdefpme],.pm-reference-section[data-astro-cid-lcdefpme]>h4[data-astro-cid-lcdefpme]{color:var(--navy,#151719);margin:0;font-size:.78rem;font-weight:680;line-height:1.35}.pm-context[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{color:var(--body,#656860);margin:.35rem 0 0;font-size:.76rem;line-height:1.58}.pm-outcome-head[data-astro-cid-lcdefpme]{flex-wrap:wrap;align-items:center;gap:.45rem;margin-bottom:.6rem;display:flex}.pm-outcome-head[data-astro-cid-lcdefpme]>span[data-astro-cid-lcdefpme]:last-child{font-family:var(--font-mono);color:var(--body,#656860);font-size:.58rem}.pm-problem[data-astro-cid-lcdefpme],.pm-theorem[data-astro-cid-lcdefpme]{padding:.8rem .95rem}.pm-problem[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme],.pm-theorem[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{margin:0;font-size:.95rem;line-height:1.6}.pm-theorem[data-astro-cid-lcdefpme]{margin-top:.55rem}.pm-caption[data-astro-cid-lcdefpme]{color:var(--body,#656860);margin:.5rem 0 0;font-size:.7rem;line-height:1.55}.pm-resolution-argument[data-astro-cid-lcdefpme]{border-left:2px solid color-mix(in srgb, var(--accent,#24406e) 34%, #e6e3d9);margin-top:.75rem;padding-left:.8rem}.pm-resolution-argument[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{box-shadow:none;font-family:KaTeX_Main, var(--font-serif,Georgia), serif;color:var(--navy,#151719);text-align:left;background:0 0;border:0;margin:.52rem 0 0;padding:0;font-size:.78rem;line-height:1.62}.pm-qed[data-astro-cid-lcdefpme]{float:right;margin-left:.5rem}.pm-handoff[data-astro-cid-lcdefpme]{border:1px solid var(--color-rule,#e6e3d9);color:var(--accent,#24406e);background:#fff;border-radius:.35rem;margin-top:.65rem;padding:.38rem .55rem;font-size:.67rem;font-weight:650}.pm-handoff[data-astro-cid-lcdefpme]:hover{border-color:color-mix(in srgb, var(--accent,#24406e) 35%, white);background:var(--accent-tint,#eef2f7)}.pm-reference-section[data-astro-cid-lcdefpme]>h4[data-astro-cid-lcdefpme]{justify-content:space-between;align-items:center;gap:.75rem;display:flex}.pm-reference-section[data-astro-cid-lcdefpme]>h4[data-astro-cid-lcdefpme]>span[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--body,#656860);flex:none;font-size:.58rem;font-weight:500}.pm-references[data-astro-cid-lcdefpme]{margin:0;padding:0;list-style:none}.pm-references[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--accent,#24406e);text-underline-offset:.14em;text-decoration:underline}.pm-reference-section[data-astro-cid-lcdefpme]{margin-top:0}.pm-references[data-astro-cid-lcdefpme]{border-bottom:1px solid #e6e3d9b8;margin-top:.4rem}.pm-references[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{font-family:var(--tdb-font-math,"EB Garamond Variable", Georgia, serif);color:color-mix(in srgb, var(--navy,#151719) 78%, transparent);border-top:1px solid #e6e3d9bf;grid-template-columns:1.4rem minmax(0,1fr);gap:.25rem;padding:.42rem 0;font-size:.48rem;line-height:1.42;display:grid}.pm-reference-index[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--muted,#8b8d86);padding-top:.08rem;font-size:.4rem}.pm-references[data-astro-cid-lcdefpme] strong[data-astro-cid-lcdefpme]{color:var(--navy,#151719);font-weight:600}.pm-references[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{color:var(--accent-deep,#18345f)}.pm-references[data-astro-cid-lcdefpme] small[data-astro-cid-lcdefpme]{font-family:var(--tdb-font-interface,var(--font-sans));color:var(--muted,#8b8d86);margin-top:.1rem;font-size:.42rem;line-height:1.38;display:block}.pm-return[data-astro-cid-lcdefpme]{border-top:1px solid var(--color-rule,#e6e3d9);margin:0 -1.25rem}.pm-return-head[data-astro-cid-lcdefpme]{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem .9rem;margin-bottom:.55rem;display:flex}.pm-return-head[data-astro-cid-lcdefpme] h4[data-astro-cid-lcdefpme]{align-items:center;gap:.4rem;display:inline-flex}.pm-return-head[data-astro-cid-lcdefpme] h4[data-astro-cid-lcdefpme] code[data-astro-cid-lcdefpme]{text-transform:none;letter-spacing:0}.pm-meter[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--body,#656860);font-variant-numeric:tabular-nums;margin:0;font-size:.6rem}.pm-foot-link[data-astro-cid-lcdefpme]{color:var(--accent,#24406e);white-space:nowrap;font-size:.72rem;font-weight:650;text-decoration:none}.pm-foot-link[data-astro-cid-lcdefpme]:hover{text-underline-offset:.16em;text-decoration:underline}@media (width<=860px){.pm-shell[data-astro-cid-lcdefpme]{grid-template-columns:1fr}.pm-rail[data-astro-cid-lcdefpme]{border-right:0;border-bottom:1px solid var(--color-rule,#e6e3d9)}.pm-return[data-astro-cid-lcdefpme]{margin-inline:-1rem}.pm-main[data-astro-cid-lcdefpme]{max-height:36rem;padding-inline:1rem;overflow-y:auto}.pm-tabs[data-astro-cid-lcdefpme]{margin-inline:-1rem;padding-inline:1rem}.pm-problem[data-astro-cid-lcdefpme]{overflow-x:auto}.pm-problem[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{font-size:.84rem}}