.cicy-intro,.cicy-downloads,.cicy-charts,.cicy-gallery,.cicy-explorer{--cx-finite:#458588;--cx-affine:#689d6a;--cx-indef:#d79921;--cx-accent:var(--cicy-chart-accent, #458588);--cx-link:#6086b4;--cx-stat:#b16286;--cx-copy-ok:#689d6a;--cx-copy-no:#b5564e;--cx-ink:#2b3036;--cx-muted:#6a727b;--cx-line:rgba(22, 30, 40, 0.12);--cx-line-2:rgba(22, 30, 40, 0.06);--cx-surface:#ffffff;--cx-surface-2:#f5f7f9;--cx-paper:#f6f2e9;--cx-paper-ink:#3a3326;--cx-paper-line:rgba(120, 100, 60, 0.26);--cx-shadow:0 1px 2px rgba(16, 24, 40, 0.05), 0 10px 22px -14px rgba(16, 24, 40, 0.22);--cx-shadow-hi:0 2px 6px rgba(16, 24, 40, 0.08), 0 18px 30px -16px rgba(16, 24, 40, 0.30);--cx-serif:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;--cx-mono:ui-monospace, "SFMono-Regular", "JetBrains Mono", "Cascadia Code", Menlo, Consolas, monospace;margin-top:var(--cicy-section-gap)}.theme--dark .cicy-intro,[data-theme=dark] .cicy-intro,.theme--dark .cicy-downloads,[data-theme=dark] .cicy-downloads,.theme--dark .cicy-charts,[data-theme=dark] .cicy-charts,.theme--dark .cicy-gallery,[data-theme=dark] .cicy-gallery,.theme--dark .cicy-explorer,[data-theme=dark] .cicy-explorer{--cx-finite:#83a598;--cx-affine:#8ec07c;--cx-indef:#fabd2f;--cx-ink:#e6ecf2;--cx-muted:#9aa6b2;--cx-line:rgba(255, 255, 255, 0.14);--cx-line-2:rgba(255, 255, 255, 0.07);--cx-surface:#18242e;--cx-surface-2:#1f2d38;--cx-stat:#d3869b;--cx-copy-ok:#8ec07c;--cx-copy-no:#d98a80;--cx-paper:#272016;--cx-paper-ink:#e9dec5;--cx-paper-line:rgba(233, 222, 197, 0.16);--cx-shadow:0 1px 2px rgba(0, 0, 0, 0.35), 0 12px 26px -16px rgba(0, 0, 0, 0.65);--cx-shadow-hi:0 2px 8px rgba(0, 0, 0, 0.45), 0 22px 40px -18px rgba(0, 0, 0, 0.8)}.cicy-intro{margin-top:1.5rem}.cxhero4__panel{display:flex;flex-wrap:wrap;gap:1.6rem 2rem;padding:1.7rem 1.8rem;border:1px solid var(--cx-line);border-radius:0;background:var(--cx-surface-2);box-shadow:var(--cx-shadow)}.cxhero4__prose{flex:1.55 1 36rem;min-width:0}.cxhero4__lede{font-size:1.1em;line-height:1.6;margin:0 0 1rem;color:var(--cx-ink)}.cxhero4__featured{margin:0;font-size:.95em;line-height:1.55;color:var(--cx-muted)}.cxhero4__featured .katex{font-size:1em}.cxhero4__spec{flex:1 1 21rem;align-self:flex-start;display:grid;grid-template-columns:1fr 1fr;gap:.6rem;margin:0}.cxhero4__spec-cell{padding:.75rem .85rem;border:1px solid var(--cx-line);border-top:3px solid var(--k,var(--cx-muted));border-radius:0;background:var(--cx-surface)}.cxhero4__spec-cell dt{font-size:1.7em;font-weight:700;line-height:1;font-variant-numeric:tabular-nums;color:var(--cx-ink)}.cxhero4__spec-cell dd{margin:.3rem 0 0;font-size:.84em;line-height:1.3;color:color-mix(in srgb,var(--cx-ink) 78%,transparent)}.cxhero4__nav{flex-basis:100%;display:flex;flex-wrap:wrap;align-items:center;gap:.5rem .85rem;padding-top:1.1rem;border-top:1px solid var(--cx-line)}.cxhero4__nav-lead{font-size:.74em;font-weight:700;letter-spacing:.1em;text-transform:uppercase;color:var(--cx-muted)}.post__content .cxhero4__nav a{text-decoration:none;font-size:.95em;padding:.15rem .5rem;transition:background .15s ease}.post__content .cxhero4__nav a:not(.cxhero4__paper-btn):hover,.post__content .cxhero4__nav a:not(.cxhero4__paper-btn):focus-visible{background:color-mix(in srgb,var(--cx-link) 12%,transparent);text-decoration:none;outline:none}.cxhero4--polished .cxhero4__spec-cell:nth-child(1){border-top-color:color-mix(in srgb,var(--cx-stat) 50%,var(--cx-surface))}.cxhero4--polished .cxhero4__spec-cell:nth-child(2){border-top-color:color-mix(in srgb,var(--cx-stat) 67%,var(--cx-surface))}.cxhero4--polished .cxhero4__spec-cell:nth-child(3){border-top-color:color-mix(in srgb,var(--cx-stat) 83%,var(--cx-surface))}.cxhero4--polished .cxhero4__spec-cell:nth-child(4){border-top-color:var(--cx-stat)}.cxhero4--polished .cxhero4__nav-lead{text-transform:none;letter-spacing:.01em;font-size:.82em}.cxhero4__nav a.cxhero4__paper-btn{margin-left:auto}.post__content .cxhero4__nav a.cxhero4__paper-btn{display:inline-flex;align-items:center;padding:.28rem .7rem;border:1px solid;text-decoration:none;font-weight:600;transition:background .15s ease}.post__content .cxhero4__nav a.cxhero4__paper-btn span{transition:transform .15s ease}.post__content .cxhero4__nav a.cxhero4__paper-btn:hover{background:color-mix(in srgb,var(--cx-link) 12%,transparent);text-decoration:none}.post__content .cxhero4__nav a.cxhero4__paper-btn:hover span{transform:translateX(3px)}.cx-bibtex .highlight{margin:0}.cx-bibtex pre{margin:0;padding:.8rem .95rem;border:1px solid var(--cx-line);border-radius:0;background:var(--cx-surface-2);font-family:var(--cx-mono);font-size:.82em;line-height:1.5;overflow-x:auto}.cxdl3__copy{font:inherit;font-size:.82em;padding:.3rem .75rem;border:1px solid var(--cx-line);border-radius:0;background:var(--cx-surface);color:var(--cx-muted);cursor:pointer;white-space:nowrap;transition:color .15s ease,border-color .15s ease,background .15s ease}.cxdl3__copy:hover,.cxdl3__copy:focus-visible{color:var(--cx-ink);border-color:var(--cx-muted);outline:none}.cxdl3__copy.is-copied,.cxdl3__copy.is-failed{background:color-mix(in srgb,var(--cx-copy) 22%,var(--cx-surface));border-color:color-mix(in srgb,var(--cx-copy) 55%,var(--cx-line));color:var(--cx-copy)}.cxdl3__copy.is-copied{--cx-copy:var(--cx-copy-ok)}.cxdl3__copy.is-failed{--cx-copy:var(--cx-copy-no)}.cxdl3__copy-row{display:flex;justify-content:flex-end;align-items:center;gap:.5rem}.cxdl3{container-type:inline-size}.cxdl3__grid{display:flex;flex-direction:column;gap:1.4rem;border:1px solid var(--cx-line);background:var(--cx-surface-2);padding:1.4rem 1.6rem}.cxdl3__panel,.cxdl3__cite{min-width:0}.cxdl3__cite{border-top:1px solid var(--cx-line);padding-top:1.4rem}@container(min-width:600px){.cxdl3__grid { flex-direction: row; align-items: stretch; gap: 0; }
  .cxdl3__panel { flex: 1.6 1 0; padding-right: 1.8rem; }
  .cxdl3__cite {
    flex: 1 1 0;
    border-top: 0;
    padding-top: 0;
    border-left: 1px solid var(--cx-line);
    padding-left: 1.8rem;
  }
}.cxdl3__head h3,.cxdl3__cite h3{margin:0 0 .4rem}.cxdl3__head p{margin:0 0 1rem;font-size:.9em;color:var(--cx-muted);line-height:1.45}.cxdl3__list{list-style:none;margin:0;padding:0}.cxdl3__item{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:.9rem;padding:.85rem 0}.cxdl3__item+.cxdl3__item{border-top:1px solid var(--cx-line)}.cxdl3__badge{display:inline-flex;align-items:center;justify-content:center;width:2.3rem;height:2.3rem;border-radius:0;background:color-mix(in srgb,var(--cx-stat) 16%,transparent);color:var(--cx-stat);font-family:var(--cx-mono);font-weight:700;font-size:1em}.cxdl3__meta{display:flex;flex-direction:column;gap:.1rem;min-width:0}.cxdl3__name{font-weight:700}.cxdl3__use{font-size:.84em;color:var(--cx-muted);line-height:1.35}.cxdl3__action{display:flex;align-items:center;gap:.8rem}.cxdl3__size{font-variant-numeric:tabular-nums;font-size:.85em;color:var(--cx-muted);white-space:nowrap}.post__content a.cxdl3__dl{display:inline-flex;align-items:center;padding:.35rem .9rem;border:1px solid;font-size:.88em;font-weight:600;white-space:nowrap;text-decoration:none;transition:background .15s ease}.post__content a.cxdl3__dl:hover{background:color-mix(in srgb,var(--cx-link) 12%,transparent);text-decoration:none}.post__content a.cxdl3__dl:focus-visible{outline:2px solid currentColor;outline-offset:2px}.cxdl3__ref{margin:0 0 .85rem;font-size:.95em;line-height:1.5;color:var(--cx-ink)}.cxdl3__bibtex{margin:0 0 .6rem}.cxdl3__bibtex pre{font-size:.8em;white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal}.cxch2c{max-width:720px;margin-inline:auto}.cxch2c--square{max-width:100%}.cxch2c--square .cxch2c__chart{width:100%}.cxch2c__head{display:flex;align-items:flex-end;justify-content:flex-end;flex-wrap:wrap;gap:.55rem 1.25rem;margin-bottom:1.05rem;padding-bottom:.85rem;border-bottom:1px solid var(--cx-line)}.cxch2c__toggle{display:inline-flex;flex:none;padding:.22rem;gap:.18rem;border:1px solid var(--cx-line);background:var(--cx-surface-2)}.cxch2c__toggle button{font:inherit;font-size:.86em;display:inline-flex;align-items:baseline;gap:.4rem;padding:.4rem .85rem;border:1px solid transparent;background:0 0;color:var(--cx-muted);cursor:pointer;white-space:nowrap;transition:background .15s ease,color .15s ease,border-color .15s ease,box-shadow .15s ease}.cxch2c__toggle button:hover{color:var(--cx-ink)}.cxch2c__toggle button:focus-visible{outline:2px solid var(--btn-accent);outline-offset:1px}.cxch2c__toggle button[data-cicy-chart-mode=all]{--btn-accent:var(--cx-finite)}.cxch2c__toggle button[data-cicy-chart-mode=infinite]{--btn-accent:var(--cx-indef)}.cxch2c__toggle button.is-active{background:color-mix(in srgb,var(--btn-accent) 14%,var(--cx-surface));color:var(--btn-accent);font-weight:600;border-color:color-mix(in srgb,var(--btn-accent) 55%,var(--cx-line));box-shadow:var(--cx-shadow),inset 0 -2px 0 var(--btn-accent)}.cxch2c__toggle-n{font-variant-numeric:tabular-nums;font-size:.86em;opacity:.7}.cxch2c__toggle button.is-active .cxch2c__toggle-n{opacity:.95}.cxch2c__frame{background:var(--cx-surface);border:1px solid var(--cx-line);box-shadow:var(--cx-shadow);padding:1.1rem 1.2rem .9rem}.cicy-charts .cxch2c__chart{display:block;width:100%;text-align:center}.cicy-charts .cxch2c__chart .vega-embed{display:block;width:100%}.cxch2c__chart svg{color:inherit;max-width:100%;height:auto;animation:cxchFade .24s ease both}@keyframes cxchFade{from{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}