*{box-sizing:border-box}html,body{background:#0f1115;height:100%;margin:0}.ic{--bg:#0f1115;--panel:#14171c;--fg:#e6e9ee;--muted:#8a9099;--faint:#5c626b;--line:#23272e;--line-strong:#343a42;--focus:#6fb1ff;--hot:#f5c54229;--hot-line:#f5c5428c;--sans:system-ui, -apple-system, "Segoe UI", "Helvetica Neue", Arial, sans-serif;--serif:"EB Garamond", Georgia, "Times New Roman", serif;--mono:ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;background:var(--bg);color:var(--fg);font-family:var(--sans);color-scheme:dark;-webkit-tap-highlight-color:transparent;flex-direction:column;font-size:15px;line-height:1.4;display:flex;position:fixed;inset:0;overflow:hidden}.ic button,.ic input,.ic select{font:inherit;color:inherit}.ic button{border:1px solid var(--line-strong);cursor:pointer;background:#1b1f26;border-radius:4px;padding:3px 10px;line-height:1.3}.ic button:hover{border-color:var(--muted)}.ic button:disabled{color:var(--faint);border-color:var(--line);cursor:default;background:0 0}.ic button.ic-quiet{color:var(--muted);background:0 0;border-color:#0000;padding:2px 6px}.ic button.ic-quiet:hover{color:var(--fg)}.ic button[aria-pressed=true]{background:var(--fg);color:var(--bg);border-color:var(--fg)}.ic :focus-visible{outline:2px solid var(--focus);outline-offset:1px}.ic input[type=number],.ic input[type=text],.ic select{border:1px solid var(--line-strong);background:#1b1f26;border-radius:4px;padding:3px 6px}.ic input[type=number]{width:5em}.ic input[aria-invalid=true]{border-color:#fb7185}.ic input[type=checkbox]{accent-color:#8a9099}.ic input[type=range]{accent-color:#8a9099;width:90px}.ic .math{font-family:var(--serif);font-size:1.1em}.ic .math i,.ic i.v{font-style:italic}.ic sub{vertical-align:-.25em;font-size:.72em;line-height:0}.ic sup{vertical-align:.5em;font-size:.72em;line-height:0}.ic .muted{color:var(--muted)}.ic .small{font-size:12.5px}.ic .term{border-radius:3px;padding:0 1px;font-weight:600}.ic .term.hot{background:var(--hot);outline:1px solid var(--hot-line)}.ic-top{border-bottom:1px solid var(--line);background:var(--panel);flex-wrap:wrap;align-items:center;gap:6px 14px;padding:8px 16px;display:flex}.ic-brand{flex-direction:column;margin-right:8px;display:flex}.ic-brand h1{font-family:var(--serif);letter-spacing:.01em;margin:0;font-size:20px;font-weight:500;line-height:1.1}.ic-brand .ic-tagline{color:var(--muted);font-size:12px}.ic-params{color:var(--muted);flex-wrap:wrap;align-items:center;gap:6px 10px;margin:0;display:flex}.ic-params label{align-items:center;gap:5px;display:inline-flex}.ic-params input{color:var(--fg)}.ic-base{flex-wrap:wrap;align-items:center;gap:4px;display:inline-flex}.ic-chip{color:#0f1115;border-radius:999px;align-items:center;gap:2px;padding:1px 4px 1px 9px;font-size:13px;font-weight:700;line-height:1.4;display:inline-flex}.ic-chip button{color:inherit;opacity:.7;background:0 0;border:0;padding:0 4px;font-size:13px;line-height:1}.ic-chip button:hover{opacity:1}.ic-baseinput{width:6.5em}.ic-top .ic-spacer{flex:auto}.ic-errors{color:#fb7185;flex-basis:100%;font-size:12.5px}.ic-errors:empty{display:none}.ic-body{flex:auto;grid-template-columns:minmax(0,2fr) minmax(300px,1fr);min-height:0;display:grid}.ic-left{border-right:1px solid var(--line);flex-direction:column;min-width:0;min-height:0;display:flex;position:relative}.ic-stage{touch-action:none;cursor:crosshair;outline:none;flex:auto;min-height:240px;position:relative;overflow:hidden}.ic-stage:focus-visible{box-shadow:inset 0 0 0 2px var(--focus)}.ic-stage canvas{width:100%;height:100%;display:block;position:absolute;inset:0}.ic-stage canvas.ic-overlay{pointer-events:none}.ic-stagetools{z-index:2;color:var(--muted);align-items:center;gap:4px;font-size:12.5px;display:flex;position:absolute;top:8px;left:12px;right:10px}.ic-stagetools button{padding:1px 7px}.ic-stagetools input[type=number],.ic-stagetools input[type=text]{width:5em;padding:1px 5px}.ic-stagetools button,.ic-stagetools label{white-space:nowrap}.ic-inspector{z-index:2;border:1px solid var(--line-strong);-webkit-backdrop-filter:blur(3px);background:#14171cd6;border-radius:4px;width:max-content;max-width:min(460px,100% - 24px);max-height:calc(60% - 24px);padding:8px 12px 10px;position:absolute;bottom:12px;left:12px;overflow:auto;box-shadow:0 4px 18px #00000059}.ic-inspector>p{margin:0}.ic-inspector .ic-chain{flex-wrap:wrap;align-items:baseline;gap:4px 22px;display:flex}.ic-inspector .ic-chain>span{white-space:nowrap}.ic-inspector .ic-status-line{flex-wrap:wrap;align-items:center;gap:6px 14px;margin-top:4px;display:flex}.ic-bigbar{border:1px solid var(--line-strong);background:#0f1115;border-radius:2px;height:22px;margin:8px 0 2px;position:relative;overflow:hidden}.ic-bigbar .seg{color:#0f1115;white-space:nowrap;text-align:center;border-right:1px solid #0f1115d9;font-size:11px;font-weight:700;line-height:20px;position:absolute;top:0;bottom:0;overflow:hidden}.ic-bigbar .seg.cof{color:var(--fg);background:repeating-linear-gradient(135deg,#4a4f57 0 4px,#3a3e45 4px 8px)}.ic-bigbar .seg.grey{color:var(--muted);background:#33373d}.ic-bigbar .seg.dark{color:#0f1115;background:#6b7178}.ic-bigbar .seg.hot{box-shadow:inset 0 0 0 2px #0f1115,inset 0 0 0 4px #fff}.ic-bigbar-caption{color:var(--faint);font-size:11.5px}.ic-inspector .ic-actions{flex-wrap:wrap;align-items:center;gap:6px 10px;margin-top:6px;display:flex}.ic-tracebox{border-left:3px solid var(--line-strong);background:#1b1f26;margin-top:6px;padding:6px 10px}.ic-tracebox .ic-tracestep{margin-top:2px}.ic-right{background:var(--panel);scroll-behavior:smooth;min-width:0;min-height:0;position:relative;overflow:auto}@media (prefers-reduced-motion:reduce){.ic-right{scroll-behavior:auto}}.ic-right section{border-bottom:1px solid var(--line);padding:10px 16px 12px}.ic-right section[hidden]{display:none}.ic-right h2{font-family:var(--serif);flex-wrap:wrap;align-items:baseline;gap:10px;margin:0;font-size:17px;font-weight:500;display:flex}.ic-right h2 .ic-count{font-family:var(--sans);color:var(--muted);font-size:12.5px;font-weight:400}.ic-relhead{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:10px;margin-bottom:6px;display:flex}.ic-verdict{font-family:var(--serif);font-size:15px}.ic-verdict.ok{color:#3dd68c}.ic-verdict.more{color:#f5c542}.ic-verdict.err{color:#fb7185}.ic-controls{flex-wrap:wrap;align-items:center;gap:6px 8px;margin:4px 0;display:flex}.ic-controls label{align-items:center;gap:4px;display:inline-flex}.ic-mode{margin-left:auto}.ic-seg{border:1px solid var(--line-strong);border-radius:4px;display:inline-flex;overflow:hidden}.ic-seg button{background:0 0;border:0;border-radius:0;padding:3px 10px}.ic-seg button+button{border-left:1px solid var(--line-strong)}.ic-stepper{align-items:stretch;display:inline-flex}.ic-stepper input{border-radius:4px 0 0 4px;width:4.6em}.ic-arrows{border:1px solid var(--line-strong);border-left:0;border-radius:0 4px 4px 0;flex-direction:column;display:inline-flex;overflow:hidden}.ic-arrows button{color:var(--muted);border:0;border-radius:0;flex:50%;padding:0 5px;font-size:9px;line-height:1.2}.ic-arrows button+button{border-top:1px solid var(--line-strong)}.ic-arrows button:hover{color:var(--fg);background:#262b33}.ic-partial-label{align-items:center;gap:4px;margin-left:auto;display:inline-flex}.ic-stats{color:var(--muted);font-variant-numeric:tabular-nums;margin:4px 0 0;font-size:12.5px}.ic-note{color:var(--muted);margin:4px 0 0;font-size:12.5px}.ic-note[hidden]{display:none}.ic-callout{background:var(--hot);border:1px solid var(--hot-line);border-radius:4px;margin:6px 0 0;padding:6px 10px;font-size:13px}.ic-callout[hidden]{display:none}.ic details{margin-top:4px}.ic details summary{cursor:pointer;color:var(--faint);user-select:none;font-size:12.5px;list-style:none}.ic details summary:before{content:"▸ "}.ic details[open] summary:before{content:"▾ "}.ic details summary::-webkit-details-marker{display:none}.ic-options{margin-bottom:6px}.ic-ranks{font-family:var(--mono);color:var(--muted);margin:3px 0 0;font-size:12px}.ic-rankbox p{margin:3px 0 0}.ic-rels{margin:4px 0 0;padding:0;list-style:none}.ic-rel{cursor:pointer;border-left:3px solid #0000;border-radius:4px;align-items:baseline;gap:8px;margin:0 -6px;padding:3px 6px;display:flex}.ic-rel:hover,.ic-rel.hover{background:#1b1f26}.ic-rel.pinned{border-left-color:var(--fg);background:#1f242c}.ic-rel.hot{background:var(--hot)}.ic-rel.excluded .ic-eq{color:var(--faint);text-decoration:line-through #ffffff40}.ic-rel.excluded .term{opacity:.4}.ic-rel .ic-relx{color:var(--muted);font-variant-numeric:tabular-nums;flex:0 0 4.4em;font-size:12.5px}.ic-rel input[type=checkbox]{align-self:center;margin:0}.ic-rel .ic-eq{flex:auto}.ic-edgehint{z-index:3;border:1px solid var(--hot-line);cursor:pointer;text-align:left;background:#2a2716;border-radius:4px;width:100%;margin:0;padding:3px 10px;font-size:12.5px;display:none;position:sticky;left:0;right:0}.ic-edgehint.top{top:6px}.ic-edgehint.bottom{bottom:6px}.ic-edgehint.show{display:block}.ic-matrix{border-collapse:collapse;font-variant-numeric:tabular-nums;margin-top:4px;font-size:13px}.ic-matrix th,.ic-matrix td{text-align:right;padding:1px 7px}.ic-matrix th{font-weight:600}.ic-matrix td.zero,.ic-matrix tr.excluded td{color:var(--faint)}.ic-matrix tr.hot td,.ic-matrix tr.pinned td{background:var(--hot)}.ic-matrix td.x{border-left:1px solid var(--line-strong)}.ic-matrix tr{cursor:pointer}.ic-logs{border-collapse:collapse;margin-top:4px;font-size:13.5px}.ic-logs th,.ic-logs td{text-align:left;vertical-align:baseline;padding:2px 10px 2px 0}.ic-logs th{color:var(--muted);font-weight:400}.ic-logs td.num{font-variant-numeric:tabular-nums}.ic-targetdetails summary{color:var(--muted);font-size:14px}.ic-tsum-title{font-family:var(--serif);color:var(--fg);font-size:17px}.ic-trials{max-height:160px;margin:6px 0 0;padding:0;font-size:13px;list-style:none;overflow:auto}.ic-trials li{align-items:baseline;gap:8px;padding:1px 0;display:flex}.ic-trials li.smooth{background:#3dd68c1f}.ic-trials .k{color:var(--muted);font-variant-numeric:tabular-nums;flex:0 0 4.5em}.ic-derive{background:#3dd68c14;border-left:3px solid #3dd68c;margin-top:6px;padding:6px 10px}.ic-derive div{margin:1px 0}.ic-connectors{pointer-events:none;z-index:5;width:100%;height:100%;position:fixed;inset:0}.ic-sharebox,.ic-helpbox{z-index:6;border:1px solid var(--line-strong);background:#1b1f26;border-radius:6px;width:min(460px,100vw - 32px);max-height:calc(100vh - 70px);padding:12px 14px;font-size:13.5px;position:absolute;top:52px;right:16px;overflow:auto;box-shadow:0 8px 28px #00000080}.ic-sharebox input{width:100%;font-family:var(--mono);font-size:12px}.ic-helpbox h3{margin:10px 0 3px;font-size:14px}.ic-helpbox p{margin:3px 0}.ic-helpbox kbd{font-family:var(--mono);border:1px solid var(--line-strong);background:#0f1115;border-radius:3px;padding:0 4px;font-size:11.5px}.ic-boxhead{justify-content:space-between;align-items:baseline;margin-bottom:4px;display:flex}.ic-boxhead strong{font-family:var(--serif);font-size:16px;font-weight:500}.ic-sr{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}@media (width<=860px){.ic{height:auto;min-height:100vh;position:static;overflow:visible}.ic-body{grid-template-columns:minmax(0,1fr);grid-auto-rows:auto}.ic-left{border-right:0;border-bottom:1px solid var(--line)}.ic-stage{flex:none;height:min(92vw,520px)}.ic-inspector{background:var(--panel);-webkit-backdrop-filter:none;width:auto;max-width:none;min-height:110px;max-height:none;box-shadow:none;border-width:1px 0 0;border-radius:0;padding:8px 16px 10px;position:static}.ic-stagetools{flex-wrap:wrap;padding:6px 12px 0;position:static}.ic-right{overflow:visible}.ic-brand h1{font-size:18px}}