:root{--cicy-chart-grid:rgba(128, 128, 128, 0.25);--cicy-chart-accent:#458588;--cicy-chart-bg:transparent;--cicy-section-gap:2.5rem}#downloads,.cicy-charts,.cicy-gallery,.cicy-explorer{margin-top:var(--cicy-section-gap);scroll-margin-top:1.5rem}.cx-sec-head{margin:0 0 1.4rem}.cx-sec-head h2{margin:0 0 .4rem;line-height:1.15}.cx-sec-head__lede{margin:0;max-width:60ch;color:var(--cx-muted);font-size:.96em;line-height:1.5}#charts,#gallery,#explorer,#downloads{scroll-margin-top:1rem}.cicy-chart-fallback{display:flex;flex-direction:column;justify-content:center;gap:.6rem;height:100%;min-height:240px;padding:.5rem .25rem;text-align:left;color:inherit}.cicy-chart-fallback__summary{margin:0;font-weight:500;line-height:1.4}.cicy-chart-fallback__note{margin:0;font-size:.88em;opacity:.75;line-height:1.4}.cicy-chart-fallback__note a{color:inherit;text-decoration:underline}.cicy-chart--clickable .role-mark>path,.cicy-chart--clickable .role-mark>rect,.cicy-chart--clickable .marks .role-mark path,.cicy-chart--clickable .marks .role-mark rect{cursor:pointer}.cicy-explorer__field optgroup{font-style:normal}.cicy-explorer__loading{padding:.75rem 1rem;border:1px solid var(--border-color,rgba(128,128,128,.25));border-radius:0;background:rgba(128,128,128,4%)}.cicy-loading-stages{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;font-variant-numeric:tabular-nums}.cicy-loading-stages li{display:flex;align-items:center;gap:.5rem;opacity:.4}.cicy-loading-dot{width:.65rem;height:.65rem;border-radius:50%;border:1.5px solid;background:0 0;flex-shrink:0}.cicy-loading-stages[data-stage=duckdb] li[data-stage=duckdb],.cicy-loading-stages[data-stage=parquet] li[data-stage=parquet],.cicy-loading-stages[data-stage=view] li[data-stage=view]{opacity:1}.cicy-loading-stages[data-stage=duckdb] li[data-stage=duckdb] .cicy-loading-dot,.cicy-loading-stages[data-stage=parquet] li[data-stage=parquet] .cicy-loading-dot,.cicy-loading-stages[data-stage=view] li[data-stage=view] .cicy-loading-dot{animation:cicy-pulse 1.1s ease-in-out infinite}.cicy-loading-stages[data-stage=parquet] li[data-stage=duckdb],.cicy-loading-stages[data-stage=view] li[data-stage=duckdb],.cicy-loading-stages[data-stage=view] li[data-stage=parquet]{opacity:.85}.cicy-loading-stages[data-stage=parquet] li[data-stage=duckdb] .cicy-loading-dot,.cicy-loading-stages[data-stage=view] li[data-stage=duckdb] .cicy-loading-dot,.cicy-loading-stages[data-stage=view] li[data-stage=parquet] .cicy-loading-dot{background:currentColor}@keyframes cicy-pulse{0%,100%{transform:scale(1);opacity:.6}50%{transform:scale(1.3);opacity:1}}.cicy-explorer__loading--error{border-color:#c0392b}.cicy-explorer__loading-error{margin:.5rem 0 0;color:#c0392b}.cicy-explorer__facets{display:flex;flex-direction:column;gap:1rem;padding:1rem;border:1px solid var(--border-color,rgba(128,128,128,.25));border-radius:0}.cicy-explorer__search{display:grid;grid-template-columns:minmax(0,1fr)auto;gap:.75rem 1rem;align-items:end;padding-bottom:.85rem;border-bottom:1px solid var(--border-color,rgba(128,128,128,.2))}@media(max-width:480px){.cicy-explorer__search{grid-template-columns:minmax(0,1fr)}}.cicy-explorer__search-label{display:flex;flex-direction:column;gap:.2rem}.cicy-explorer__search input[type=number]{padding:.45rem .6rem;font-size:1.05em;border:1px solid var(--border-color,rgba(128,128,128,.45));border-radius:0;background:0 0;color:inherit;width:100%;font-variant-numeric:tabular-nums}.cicy-explorer__search .cicy-explorer__hint{margin:0;align-self:end;opacity:.7;font-size:.9em;grid-column:1/-1}.cicy-explorer__filters-pill{display:inline-flex;align-items:center;gap:.3rem;padding:.35rem .85rem;border:1px solid var(--cicy-chart-accent,#458588);border-radius:0;background:rgba(74,123,214,.1);color:var(--cicy-chart-accent,#458588);font:inherit;font-size:.9em;cursor:pointer;white-space:nowrap}.cicy-explorer__filters-pill:hover,.cicy-explorer__filters-pill:focus-visible{background:rgba(74,123,214,.2);outline:none}.cicy-explorer__filters-pill[hidden]{display:none}.cicy-explorer__facets-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:1rem}.cicy-explorer__field{border:0;padding:0;margin:0;display:flex;flex-direction:column;gap:.5rem}.cicy-explorer__field legend{font-weight:600;padding:0;margin-bottom:.25rem}.cicy-explorer__field label{display:flex;flex-direction:column;gap:.15rem}.cicy-explorer__label{opacity:.8}.cicy-explorer__field input[type=number],.cicy-explorer__field select{padding:.3rem .4rem;font:inherit;border:1px solid var(--border-color,rgba(128,128,128,.45));border-radius:0;background:0 0;color:inherit;min-width:0}.cicy-explorer__hint{margin:0;opacity:.7}.cicy-explorer__actions{grid-column:1/-1;display:flex;gap:.75rem;justify-content:flex-end;flex-wrap:wrap}.cicy-explorer__actions button{padding:.4rem .9rem;font:inherit;border:1px solid var(--border-color,rgba(128,128,128,.45));border-radius:0;background:0 0;color:inherit;cursor:pointer}.cicy-explorer__actions button:hover:not(:disabled){background:color-mix(in srgb,var(--cx-link) 12%,transparent)}.cicy-explorer__actions button:disabled{cursor:not-allowed;opacity:.5}.cicy-explorer__summary{opacity:.9}.cicy-explorer__table-frame{position:relative}.cicy-explorer__table-wrap{overflow:auto;max-height:75vh;border:1px solid var(--border-color,rgba(128,128,128,.25));border-radius:0}.cicy-explorer__scroll-hint{display:none;margin:0 0 .35rem;font-size:.85em;opacity:.7;text-align:center}.cicy-explorer__scroll-fade{display:none;position:absolute;top:0;right:0;width:1.5rem;height:100%;pointer-events:none;background:linear-gradient( to right,rgba(255,255,255,0),var(--body-background,#fff) 85%);border-top-right-radius:6px;border-bottom-right-radius:6px}.theme--dark .cicy-explorer__scroll-fade,[data-theme=dark] .cicy-explorer__scroll-fade{background:linear-gradient( to right,rgba(27,27,31,0),#1b1b1f 85%)}@media(max-width:640px){.cicy-explorer__scroll-hint,.cicy-explorer__scroll-fade{display:block}}.cicy-explorer__table{width:100%;border-collapse:collapse}.cicy-explorer__table th,.cicy-explorer__table td{padding:.4rem .65rem;text-align:left;border-bottom:1px solid rgba(128,128,128,.15);white-space:nowrap}.cicy-explorer__table th{background:var(--body-background,#fff);font-weight:600;position:sticky;top:0;z-index:2;padding:0;box-shadow:inset 0 -1px rgba(128,128,128,.35)}.theme--dark .cicy-explorer__table th,[data-theme=dark] .cicy-explorer__table th{background:#1b1b1f}.cicy-explorer__table tbody tr:last-child td{border-bottom:0}.cicy-explorer__table tbody tr{cursor:pointer}.cicy-explorer__table tbody tr:hover{background:rgba(74,123,214,8%);outline:none}.cicy-explorer__table tbody tr:has(a:focus-visible){background:rgba(74,123,214,8%);outline:2px solid var(--cicy-chart-accent,#458588);outline-offset:-2px}.cicy-explorer__table .cicy-cell--num a:focus-visible{outline:none}.cicy-explorer__table .cicy-cell--num a,.cicy-explorer__table .cicy-cell--num,.cicy-explorer__table .cicy-cell--numeric{font-variant-numeric:tabular-nums}.cicy-explorer__table .cicy-cell--bool,.cicy-explorer__table .cicy-cell--numeric{text-align:right}.cicy-explorer__table .cicy-cell--bool{text-align:center}.cicy-explorer__empty-row td{padding:1.5rem;text-align:center;font-style:italic;opacity:.75}.cicy-sort-btn{width:100%;display:inline-flex;align-items:center;justify-content:space-between;gap:.25rem;padding:.45rem .65rem;font:inherit;color:inherit;background:0 0;border:0;cursor:pointer;text-align:left}.cicy-sort-btn:hover{background:rgba(128,128,128,.12)}.cicy-sort-arrow{font-size:.75em;opacity:.85;min-width:.85em;text-align:right}.cicy-sort-btn.is-sort-asc,.cicy-sort-btn.is-sort-desc{color:var(--cicy-chart-accent,#458588)}.cicy-explorer__noscript{padding:1rem;border:1px solid #c0392b;border-radius:0}.cxatlas__chip:target{outline:2px solid rgba(200,150,40,.7);outline-offset:3px;animation:cicy-tile-pulse 2.5s ease-out 1}.cxatlas__chip.is-active-shape{border-color:rgba(200,150,40,.9);box-shadow:0 0 0 2px rgba(200,150,40,.35)}@keyframes cicy-tile-pulse{0%{background:rgba(200,150,40,.25)}100%{background:0 0}}.cicy-explorer__table tbody tr.is-highlighted{scroll-margin-top:4rem;animation:cicy-row-pulse 2.5s ease-out 1}@keyframes cicy-row-pulse{0%{background:rgba(200,150,40,.35)}100%{background:0 0}}@media(prefers-reduced-motion:reduce){.cicy-loading-dot,.cxatlas__chip:target,.cicy-explorer__table tbody tr.is-highlighted{animation:none!important}}.cxch2c__chart svg g.mark-text>text{pointer-events:none}.cicy-explorer--refined .cicy-explorer__facets{gap:1.1rem;padding:1.15rem 1.25rem;border:1px solid var(--cx-line);background:var(--cx-surface);box-shadow:var(--cx-shadow)}.cicy-explorer--refined .cicy-explorer__search{border-bottom:1px solid var(--cx-line)}.cicy-explorer--refined .cicy-explorer__label{color:var(--cx-muted);opacity:1;font-size:.92em}.cicy-explorer--refined .cicy-explorer__field legend{color:var(--cx-ink)}.cicy-explorer--refined .cicy-explorer__search input[type=number],.cicy-explorer--refined .cicy-explorer__field input[type=number],.cicy-explorer--refined .cicy-explorer__field select{border:1px solid var(--cx-line);background:var(--cx-surface-2);color:var(--cx-ink)}.cicy-explorer--refined .cicy-explorer__search input[type=number]:focus-visible,.cicy-explorer--refined .cicy-explorer__field input:focus-visible,.cicy-explorer--refined .cicy-explorer__field select:focus-visible{outline:2px solid var(--cx-accent);outline-offset:1px;border-color:var(--cx-accent)}.cicy-explorer--refined .cicy-explorer__hint{color:var(--cx-muted)}.cicy-explorer--refined .cicy-explorer__actions .cicy-explorer__filters-pill{border-color:color-mix(in srgb,var(--cx-link) 45%,var(--cx-line));background:color-mix(in srgb,var(--cx-link) 8%,transparent);color:var(--cx-link)}.cicy-explorer--refined .cicy-explorer__actions .cicy-explorer__filters-pill:hover,.cicy-explorer--refined .cicy-explorer__actions .cicy-explorer__filters-pill:focus-visible{background:color-mix(in srgb,var(--cx-link) 12%,transparent)}.cicy-explorer--refined .cicy-explorer__actions button{border:1px solid var(--cx-line);background:var(--cx-surface);color:var(--cx-ink);transition:background .15s ease,border-color .15s ease}.cicy-explorer--refined .cicy-explorer__actions button:hover:not(:disabled){border-color:var(--cx-link);background:color-mix(in srgb,var(--cx-link) 12%,transparent)}.cicy-explorer--refined .cicy-explorer__export:not(:disabled){border-color:color-mix(in srgb,var(--cx-link) 50%,var(--cx-line));color:var(--cx-link);font-weight:600}.cicy-explorer--refined .cicy-explorer__summary{display:flex;align-items:baseline;gap:.5rem;margin:0;opacity:1}.cicy-explorer__count-n{font-size:1.7rem;font-weight:700;line-height:1;color:var(--cx-ink);font-variant-numeric:tabular-nums}.cicy-explorer__count-lbl{color:var(--cx-muted)}.cicy-explorer__count-empty{color:var(--cx-muted);font-style:italic}.cicy-explorer--refined .cicy-explorer__table-wrap{border:1px solid var(--cx-line);background:var(--cx-surface);box-shadow:var(--cx-shadow)}.cicy-explorer--refined .cicy-explorer__table th{background:var(--cx-surface-2);color:var(--cx-ink);box-shadow:inset 0 -1px 0 var(--cx-line)}.cicy-explorer--refined .cicy-explorer__table th,.cicy-explorer--refined .cicy-explorer__table td{border-bottom:1px solid var(--cx-line)}.cicy-explorer--refined .cicy-explorer__table tbody tr:nth-child(even){background:color-mix(in srgb,var(--cx-ink) 3.5%,transparent)}.cicy-explorer--refined .cicy-explorer__table tbody tr:hover,.cicy-explorer--refined .cicy-explorer__table tbody tr:has(a:focus-visible){background:color-mix(in srgb,var(--cx-accent) 10%,transparent);outline-color:var(--cx-accent)}.cicy-explorer--refined .cicy-sort-btn:hover{background:color-mix(in srgb,var(--cx-accent) 8%,transparent)}.cicy-explorer--refined .cicy-sort-btn.is-sort-asc,.cicy-explorer--refined .cicy-sort-btn.is-sort-desc{color:var(--cx-accent)}.cicy-explorer--refined .cicy-explorer__scroll-fade{background:linear-gradient(to right,transparent,var(--cx-surface) 85%)}.cicy-explorer--refined .cicy-kind{font-weight:600}.cicy-explorer--refined .cicy-kind[data-kind=finite]{color:#066678}.cicy-explorer--refined .cicy-kind[data-kind=affine]{color:#3f7a52}.cicy-explorer--refined .cicy-kind[data-kind=indefinite]{color:#8a5f12}.theme--dark .cicy-explorer--refined .cicy-kind[data-kind=finite],[data-theme=dark] .cicy-explorer--refined .cicy-kind[data-kind=finite]{color:var(--cx-finite)}.theme--dark .cicy-explorer--refined .cicy-kind[data-kind=affine],[data-theme=dark] .cicy-explorer--refined .cicy-kind[data-kind=affine]{color:var(--cx-affine)}.theme--dark .cicy-explorer--refined .cicy-kind[data-kind=indefinite],[data-theme=dark] .cicy-explorer--refined .cicy-kind[data-kind=indefinite]{color:var(--cx-indef)}.cicy-explorer--refined .cicy-cell--muted{color:var(--cx-muted)}.cicy-explorer--refined .cicy-cell--group{color:var(--cx-ink)}.cicy-explorer--refined .cicy-group-rep{color:var(--cx-muted)}.cicy-explorer--pills .cicy-kind[data-kind]{display:inline-block;padding:.12rem .5rem;line-height:1.3;font-size:.85em;font-weight:600;border:1px solid}.cicy-explorer--pills .cicy-kind[data-kind=finite]{background:color-mix(in srgb,var(--cx-finite) 14%,transparent)}.cicy-explorer--pills .cicy-kind[data-kind=affine]{background:color-mix(in srgb,var(--cx-affine) 14%,transparent)}.cicy-explorer--pills .cicy-kind[data-kind=indefinite]{background:color-mix(in srgb,var(--cx-indef) 16%,transparent)}.cicy-explorer--refined .cicy-explorer__search input[type=number]{max-width:16rem}.cicy-explorer--refined .cicy-explorer__table th .katex{font-size:1em}.cicy-explorer--refined .cicy-explorer__table .cicy-cell--num,.cicy-explorer--refined .cicy-explorer__table .cicy-cell--numeric,.cicy-explorer--refined .cicy-explorer__table .cicy-cell--bool{width:1%;white-space:nowrap}.cicy-explorer--refined .cicy-sort-btn[data-col=H11],.cicy-explorer--refined .cicy-sort-btn[data-col=H21],.cicy-explorer--refined .cicy-sort-btn[data-col=Chi],.cicy-explorer--refined .cicy-sort-btn[data-col=IsoFlopRank]{justify-content:flex-end}.cicy-explorer--refined .cicy-sort-btn[data-col=KahlerPos]{justify-content:center}.cicy-explorer--refined .cicy-explorer__table td.cicy-cell--kind,.cicy-explorer--refined .cicy-explorer__table th:has(.cicy-sort-btn[data-col=CoxeterKind]){border-left:1px solid var(--cx-line)}.cicy-explorer--refined .cicy-col--group{padding:.45rem .65rem;font-weight:600;color:var(--cx-ink)}.cicy-explorer--refined .cicy-explorer__search{grid-template-columns:minmax(0,1fr)}.cicy-explorer--refined .cicy-explorer__actions{align-items:center}.cicy-explorer--refined .cicy-explorer__filters-pill{margin-right:auto}.cicy-explorer--refined .cicy-explorer__export:disabled{border-color:color-mix(in srgb,var(--cx-link) 30%,var(--cx-line));color:var(--cx-link)}.cicy-explorer--refined .cicy-explorer__more-row td{padding:.55rem;text-align:center;background:var(--cx-surface-2);cursor:default}.cicy-explorer--refined .cicy-explorer__more-row{cursor:default}.cicy-explorer__more-btn{font:inherit;font-size:.9em;padding:.3rem 1rem;border:1px solid color-mix(in srgb,var(--cx-link) 45%,var(--cx-line));background:color-mix(in srgb,var(--cx-link) 8%,transparent);color:var(--cx-link);cursor:pointer;transition:background .15s ease}.cicy-explorer__more-btn:hover,.cicy-explorer__more-btn:focus-visible{background:color-mix(in srgb,var(--cx-link) 12%,transparent);outline:none}.cicy-explorer--refined .cicy-explorer__field{gap:.6rem}.cicy-explorer--refined .cicy-explorer__field legend{margin-bottom:1.1rem}@media(max-width:600px){.cicy-explorer--refined .cicy-explorer__facets-grid{row-gap:2.4rem}}.cicy-explorer--refined .cicy-explorer__label .katex{font-size:1em}.cicy-explorer--refined .cicy-explorer__table th,.cicy-explorer--refined .cicy-sort-btn,.cicy-explorer--refined .cicy-col--group{font-weight:400}.cicy-explorer__card{display:flex;flex-direction:column;gap:1rem;border:1px solid var(--cx-line);background:var(--cx-surface);box-shadow:var(--cx-shadow);padding:1.2rem 1.25rem}.cicy-explorer__card .cicy-explorer__facets{border:0;box-shadow:none;background:0 0;padding:0 0 1.1rem;border-bottom:1px solid var(--cx-line)}.cicy-explorer__card .cicy-explorer__table-wrap{border:0;box-shadow:none;background:0 0}.cicy-explorer__card .cicy-explorer__scroll-fade{background:linear-gradient(to right,transparent,var(--cx-surface) 85%)}