@keyframes astroFadeInOut{0%{opacity:1}to{opacity:0}}@keyframes astroFadeIn{0%{opacity:0;mix-blend-mode:plus-lighter}to{opacity:1;mix-blend-mode:plus-lighter}}@keyframes astroFadeOut{0%{opacity:1;mix-blend-mode:plus-lighter}to{opacity:0;mix-blend-mode:plus-lighter}}@keyframes astroSlideFromRight{0%{transform:translate(100%)}}@keyframes astroSlideFromLeft{0%{transform:translate(-100%)}}@keyframes astroSlideToRight{to{transform:translate(100%)}}@keyframes astroSlideToLeft{to{transform:translate(-100%)}}@media (prefers-reduced-motion){::view-transition-group(*),::view-transition-old(*),::view-transition-new(*),[data-astro-transition-scope]{animation:none!important}}.astro-route-announcer{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;top:0;left:0;overflow:hidden}:root[data-code=panda]{--cd-bg:#292a2b;--cd-head:#242526;--cd-fg:#e6e6e6;--cd-mute:#9a9eab;--cd-line:#3a3c3f;--cd-hover:#31353a;--cd-acc:#19f9d8}:root[data-code=dracula]{--cd-bg:#282a36;--cd-head:#21222c;--cd-fg:#f8f8f2;--cd-mute:#8e9bc6;--cd-line:#393b4c;--cd-hover:#44475a;--cd-acc:#50fa7b}.theory figure.code,.theory pre.out{--line:var(--cd-line);--line-strong:var(--cd-mute);--muted:var(--cd-mute);--faint:var(--cd-mute);--text:var(--cd-fg);--text-2:var(--cd-fg);--hover:var(--cd-hover);--active:var(--cd-hover);--bg:var(--cd-head);--accent-ink:var(--cd-acc);--accent-soft:color-mix(in srgb, var(--cd-acc) 18%, transparent);--code-bg:var(--cd-bg);--code-head:var(--cd-head);--code-text:var(--cd-fg)}.theory figure.code,.theory figure.t-code.is-part{background:var(--cd-bg)}:root[data-code=panda] .theory .code-body span{color:var(--shiki-panda);font-style:var(--shiki-panda-font-style)}:root[data-code=dracula] .theory .code-body span{color:var(--shiki-dracula);font-style:var(--shiki-dracula-font-style)}:root[data-theme=light]{--cd-bg:#faf4ed;--cd-head:#f2e9e1;--cd-fg:#575279;--cd-mute:#797593;--cd-line:#dfdad9;--cd-hover:#f4ede8;--cd-acc:#286983}:root[data-theme=light] .theory .code-body span{color:var(--shiki-dawn);font-style:var(--shiki-dawn-font-style)}@media (prefers-color-scheme:light){:root:not([data-theme]){--cd-bg:#faf4ed;--cd-head:#f2e9e1;--cd-fg:#575279;--cd-mute:#797593;--cd-line:#dfdad9;--cd-hover:#f4ede8;--cd-acc:#286983}:root:not([data-theme]) .theory .code-body span{color:var(--shiki-dawn);font-style:var(--shiki-dawn-font-style)}}.theory figure.code ::selection,.theory pre.out ::selection{background:color-mix(in srgb, var(--cd-acc) 28%, transparent)}.theory pre.out{background:var(--cd-bg);color:var(--cd-fg);padding:38px 18px 14px}.theory pre.out.is-long{padding-right:18px}.theory .out-label{top:13px}.io-tools{align-items:center;gap:2px;display:flex;position:absolute;top:5px;right:6px}.io-tools .fold-btn{margin-right:4px;position:static}.theory .fig{--hue:40;--accent:oklch(.6 calc(.135 * var(--chroma)) var(--hue));--accent-ink:oklch(.496 calc(.122 * var(--chroma)) var(--hue));--accent-soft:oklch(.934 calc(.02 * var(--chroma)) calc(var(--hue) + 13))}:root[data-theme=dark] .theory .fig{--accent:oklch(.672 calc(.131 * var(--chroma)) var(--hue));--accent-ink:oklch(.761 calc(.105 * var(--chroma)) var(--hue));--accent-soft:color-mix(in srgb, var(--accent) 14%, transparent)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theory .fig{--accent:oklch(.672 calc(.131 * var(--chroma)) var(--hue));--accent-ink:oklch(.761 calc(.105 * var(--chroma)) var(--hue));--accent-soft:color-mix(in srgb, var(--accent) 14%, transparent)}}.page-home .phase-meta{grid-column:3;padding-top:0}.is-locked{cursor:default}:is(.phases .phase,.row).is-locked{opacity:.5}:is(.phases .phase,.row).is-locked:before{content:none!important}:is(.phases .phase,.row).is-locked:hover{background:0 0!important;transform:none!important}.side-locked{width:100%;color:var(--text-2);opacity:.5;cursor:default;grid-template-columns:18px minmax(0,1fr) 14px;align-items:center;gap:8px;padding:6px 8px 6px 10px;font-size:14px;display:grid}.theory .katex.is-wide{vertical-align:bottom;max-width:100%;display:inline-block;overflow:auto hidden}.pager-link>span{max-width:100%}.statement,.solution .prose{overflow-wrap:anywhere}