main.svelte-16nvoxx{touch-action:none;background:#000;position:absolute;inset:0;overflow:hidden}pre.svelte-16nvoxx{color:#fff;white-space:pre;-webkit-user-select:none;user-select:none;pointer-events:none;margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:clamp(7px,.72vw,11px);font-weight:400;line-height:.9;position:absolute}.rec-shell-30.svelte-1gb7xg2{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-30.svelte-1gb7xg2 *{box-sizing:border-box}.rec-shell-30.svelte-1gb7xg2,.rec-shell-30.svelte-1gb7xg2{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.rec-shell-30.svelte-1gb7xg2{font-family:Helvetica Neue,Helvetica,Arial,sans-serif}.void.svelte-1gb7xg2{isolation:isolate;background:#000;width:100%;min-height:100svh;position:relative;overflow:hidden}canvas.svelte-1gb7xg2{z-index:0;width:100%;height:100%;display:block;position:absolute;inset:0}h1.svelte-1gb7xg2{z-index:1;color:#fff;letter-spacing:-.095em;white-space:nowrap;-webkit-font-smoothing:antialiased;text-rendering:geometricprecision;margin:0;font-size:clamp(5rem,18vw,17rem);font-weight:800;line-height:.75;position:absolute;top:50%;left:50%;transform:translate(-50%,-54%)}.visually-hidden.svelte-1gb7xg2{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (width<=600px){h1.svelte-1gb7xg2{font-size:clamp(4.3rem,23vw,8rem)}}.rec-shell-31.svelte-12g3ftj{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-31.svelte-12g3ftj *{box-sizing:border-box}.rec-shell-31.svelte-12g3ftj,.rec-shell-31.svelte-12g3ftj{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.void.svelte-12g3ftj{background:#000;width:100%;min-height:100svh;position:relative;overflow:hidden}canvas.svelte-12g3ftj{touch-action:none;width:100%;height:100%;display:block;position:absolute;inset:0}h1.svelte-12g3ftj,p.svelte-12g3ftj{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.rec-shell-32.svelte-j7t7cg{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-32.svelte-j7t7cg *{box-sizing:border-box}.rec-shell-32.svelte-j7t7cg,.rec-shell-32.svelte-j7t7cg{background:#000;width:100%;height:100%;margin:0;overflow:hidden}main.svelte-j7t7cg,canvas.svelte-j7t7cg{background:#000;width:100%;height:100%;display:block}.rec-shell-33.svelte-13v9rdh{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-33.svelte-13v9rdh *{box-sizing:border-box}.rec-shell-33.svelte-13v9rdh,.rec-shell-33.svelte-13v9rdh{background:#000;width:100%;height:100%;margin:0;overflow:hidden}main.svelte-13v9rdh,.word.svelte-13v9rdh,canvas.svelte-13v9rdh{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-13v9rdh{background:#000}.word.svelte-13v9rdh{z-index:0;pointer-events:none;transition:opacity 80ms linear}.word.svelte-13v9rdh text:where(.svelte-13v9rdh){fill:#fff;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:5px}.word.svelte-13v9rdh .word-shape:where(.svelte-13v9rdh){font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:clamp(76px,18vw,270px);font-weight:800}canvas.svelte-13v9rdh{z-index:1;touch-action:none}.rec-shell-34.svelte-1gdaau6{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-34.svelte-1gdaau6 *{box-sizing:border-box}.rec-shell-34.svelte-1gdaau6,.rec-shell-34.svelte-1gdaau6{background:#000;width:100%;height:100%;margin:0;overflow:hidden}main.svelte-1gdaau6,canvas.svelte-1gdaau6{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-1gdaau6{background:#000}canvas.svelte-1gdaau6{touch-action:none}.rec-shell-35.svelte-1r8whn7{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-35.svelte-1r8whn7 *{box-sizing:border-box}.rec-shell-35.svelte-1r8whn7,.rec-shell-35.svelte-1r8whn7{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.minefield.svelte-1r8whn7{background:#000;position:fixed;inset:0;overflow:hidden}canvas.svelte-1r8whn7{touch-action:manipulation;cursor:default;outline:none;width:100%;height:100%;display:block}.rec-shell-36.svelte-1ssdl2k{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-36.svelte-1ssdl2k *{box-sizing:border-box}.rec-shell-36.svelte-1ssdl2k,.rec-shell-36.svelte-1ssdl2k{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.minefield.svelte-1ssdl2k{background:#000;position:fixed;inset:0;overflow:hidden}canvas.svelte-1ssdl2k{touch-action:manipulation;cursor:crosshair;outline:none;width:100%;height:100%;display:block}.rec-shell-37.svelte-3k8kq9{background:#000;position:absolute;inset:0;overflow:hidden auto}.rec-shell-37.svelte-3k8kq9 *{box-sizing:border-box}.rec-shell-37.svelte-3k8kq9,.rec-shell-37.svelte-3k8kq9{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.mind-sweeper.svelte-3k8kq9{background:#000;position:fixed;inset:0;overflow:hidden}canvas.svelte-3k8kq9{touch-action:manipulation;cursor:crosshair;outline:none;width:100%;height:100%;display:block}.rec-shell-38.svelte-uv27ey{color:#f4f1e8;background:#000;position:absolute;inset:0;overflow:hidden}.landing.svelte-uv27ey{background:#000;min-height:100svh;position:relative;overflow:hidden}canvas.svelte-uv27ey{cursor:crosshair;outline:none;width:100%;height:100%;position:absolute;inset:0}canvas.svelte-uv27ey:focus-visible{box-shadow:inset 0 0 0 1px #c6ff27}.topbar.svelte-uv27ey,.gamebar.svelte-uv27ey{z-index:2;letter-spacing:.1em;text-transform:uppercase;align-items:center;font-size:10px;display:flex;position:absolute;left:0;right:0}.topbar.svelte-uv27ey{background:linear-gradient(#000 0,#000000b3 75%,#0000);border-bottom:1px solid #f4f1e838;justify-content:space-between;height:54px;padding:0 1.25rem;top:0}.brand.svelte-uv27ey{align-items:center;gap:.65rem;text-decoration:none;display:inline-flex}.guide-link.svelte-uv27ey{text-decoration:none}.guide-link.svelte-uv27ey:hover{color:#c6ff27}.caption.svelte-uv27ey{z-index:2;text-align:center;pointer-events:none;width:min(90vw,620px);position:absolute;top:calc(50% + clamp(75px,15vh,150px));left:50%;transform:translate(-50%)}.caption.svelte-uv27ey p:where(.svelte-uv27ey){margin:0;font-family:Aster Terms,Arial,sans-serif;font-size:clamp(1rem,1.6vw,1.4rem);font-weight:520}.caption.svelte-uv27ey p:where(.svelte-uv27ey) span:where(.svelte-uv27ey){color:#c6ff27}.caption.svelte-uv27ey small:where(.svelte-uv27ey){color:#858585;letter-spacing:.11em;text-transform:uppercase;margin-top:.55rem;font-size:9px;display:block}.gamebar.svelte-uv27ey{background:linear-gradient(#0000,#000000e0 25%,#000);border-top:1px solid #f4f1e833;min-height:52px;padding:0 1.25rem;bottom:0}.gamebar.svelte-uv27ey>div:where(.svelte-uv27ey):not(.instructions){grid-template-columns:auto auto;gap:.55rem;margin-right:1.5rem;display:grid}.gamebar.svelte-uv27ey span:where(.svelte-uv27ey){color:#757575}.gamebar.svelte-uv27ey b:where(.svelte-uv27ey){color:#c6ff27;font-weight:600}.gamebar.svelte-uv27ey button:where(.svelte-uv27ey){color:#f4f1e8;cursor:pointer;background:#000;border:1px solid #4d4d4d;width:30px;height:30px;padding:0}.gamebar.svelte-uv27ey button:where(.svelte-uv27ey):hover{color:#c6ff27;border-color:#c6ff27}.instructions.svelte-uv27ey{color:#6d6d6d;margin-left:auto}@media (width<=620px){.brand.svelte-uv27ey span:where(.svelte-uv27ey),.instructions.svelte-uv27ey{display:none}.caption.svelte-uv27ey{top:calc(50% + 95px)}.gamebar.svelte-uv27ey{justify-content:center}.guide-link.svelte-uv27ey{font-size:9px}}main.svelte-1dtl9ni,canvas.svelte-1dtl9ni{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-1dtl9ni{background:#000;overflow:hidden}main.backdrop.svelte-1dtl9ni{pointer-events:none}main.backdrop.svelte-1dtl9ni canvas:where(.svelte-1dtl9ni){cursor:auto}canvas.svelte-1dtl9ni{cursor:none;touch-action:none;-webkit-user-select:none;user-select:none}.cursor-ship.svelte-1dtl9ni{z-index:3;transform-origin:18px 12px;will-change:transform;pointer-events:none;clip-path:polygon(100% 50%,5% 2%,27% 50%,5% 98%);background:#fff;width:36px;height:24px;position:absolute;top:0;left:0}.cursor-ship.svelte-1dtl9ni:before{clip-path:polygon(100% 50%,5% 2%,27% 50%,5% 98%);content:"";background:#000;position:absolute;inset:2px 3px 2px 2px}.cursor-ship.svelte-1dtl9ni span:where(.svelte-1dtl9ni){z-index:1;color:#ffffff9e;font:11px/1 ui-monospace,SFMono-Regular,Menlo,monospace;position:absolute;top:5px;left:3px}main.svelte-dd7cr0,canvas.svelte-dd7cr0{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-dd7cr0{background:#000;overflow:hidden}canvas.svelte-dd7cr0{touch-action:none;-webkit-user-select:none;user-select:none}.toggle.svelte-5f15zb{cursor:pointer;touch-action:none;-webkit-user-select:none;user-select:none;background:0 0;border:0;align-items:center;gap:12px;padding:0;display:flex}.toggle.disabled.svelte-5f15zb{cursor:default}.toggle.svelte-5f15zb:focus-visible{outline-offset:3px;outline:2px solid #a29ff5}svg.svelte-5f15zb{flex:none;display:block;overflow:visible}.path-star.svelte-5f15zb line:where(.svelte-5f15zb){stroke:#39424f;stroke-width:1.4px;stroke-linecap:round}.traveller.svelte-5f15zb{transform-origin:0 0}.traveller.svelte-5f15zb line:where(.svelte-5f15zb){stroke:#99a5b4;stroke-width:2.6px;stroke-linecap:round;transition:stroke .4s}.traveller.on.svelte-5f15zb line:where(.svelte-5f15zb){stroke:#8adca6}.traveller.gliding.svelte-5f15zb{transition:transform .45s cubic-bezier(.5,-.15,.3,1.2)}@media (prefers-reduced-motion:reduce){.traveller.gliding.svelte-5f15zb,.traveller.svelte-5f15zb line:where(.svelte-5f15zb){transition:none}}.name.svelte-5f15zb{letter-spacing:.13em;color:#e6eaf1;font-family:Inconsolata,ui-monospace,monospace;font-size:13px;font-weight:600}.card.svelte-1xk01o2{box-sizing:border-box;background:0 0;flex-direction:column;justify-content:safe center;gap:14px;width:100%;height:100%;padding:18px 34px;display:flex;position:relative;overflow-y:auto}.close.svelte-1xk01o2{color:#5d6875;cursor:pointer;background:0 0;border:0;padding:4px 6px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:18px;line-height:1;position:absolute;top:10px;right:12px}.close.svelte-1xk01o2:hover{color:#99a5b4}.close.svelte-1xk01o2:focus-visible{outline-offset:2px;outline:2px solid #a29ff5}h2.svelte-1xk01o2{letter-spacing:-.01em;color:#e6eaf1;margin:0;font-family:Bodoni Moda,Didot,"Bodoni 72",Georgia,serif;font-size:clamp(26px,3.4vw,36px);font-weight:700;line-height:1.05}.body.svelte-1xk01o2{color:#c9d1dc;max-width:60ch;margin:0;font-family:Lato,system-ui,sans-serif;font-size:15px;line-height:1.55}.rows.svelte-1xk01o2{flex-direction:column;gap:12px;margin:4px 0 0;display:flex}.row.svelte-1xk01o2{align-items:center;gap:14px;display:flex}.row.waiting.svelte-1xk01o2{opacity:.55}.rowtext.svelte-1xk01o2{flex-direction:column;align-items:flex-start;gap:3px;display:flex}.name.svelte-1xk01o2{letter-spacing:.13em;color:#e6eaf1;cursor:pointer;background:0 0;border:0;padding:0;font-family:Inconsolata,ui-monospace,monospace;font-size:13px;font-weight:600}.what.svelte-1xk01o2{letter-spacing:.12em;color:#99a5b4;margin:0;font-family:Inconsolata,ui-monospace,monospace;font-size:11px}.what.svelte-1xk01o2 b:where(.svelte-1xk01o2),.measured.svelte-1xk01o2 b:where(.svelte-1xk01o2){color:#8adca6;font-family:Bitcount Prop Single,Inconsolata,monospace;font-size:14px;font-weight:400}.aside.svelte-1xk01o2{letter-spacing:.04em;text-transform:none;color:#5d6875}.measured.svelte-1xk01o2{letter-spacing:.12em;color:#99a5b4;margin:4px 0 0;font-family:Inconsolata,ui-monospace,monospace;font-size:11px}.mini.svelte-1xk01o2{color:#99a5b4;letter-spacing:.12em;cursor:pointer;background:0 0;border:1px solid #2a3340;margin-left:8px;padding:3px 8px;font-family:Inconsolata,ui-monospace,monospace;font-size:10px;font-weight:600}.mini.svelte-1xk01o2:focus-visible,.close.svelte-1xk01o2:focus-visible{outline-offset:2px;outline:2px solid #a29ff5}.field.svelte-rgwj4b,canvas.svelte-rgwj4b{width:100%;height:100%;display:block;position:absolute;inset:0}.field.svelte-rgwj4b{background:#000;overflow:hidden}.beckon.svelte-rgwj4b,.cycle.svelte-rgwj4b{cursor:pointer;background:0 0;border:0;width:44px;height:44px;padding:0;position:absolute;transform:translate(-50%,-50%)}.beckon.svelte-rgwj4b:focus-visible,.cycle.svelte-rgwj4b:focus-visible{outline-offset:2px;outline:2px solid #a29ff5}.gate.svelte-rgwj4b{opacity:0;pointer-events:none;transition:opacity .25s .4s;position:absolute}.gate.open.svelte-rgwj4b{opacity:1;pointer-events:auto}@media (prefers-reduced-motion:reduce){.gate.svelte-rgwj4b{transition:none}}main.svelte-yeweur,canvas.svelte-yeweur{width:100%;height:100%;position:absolute;inset:0}main.svelte-yeweur{color:#fff;-webkit-user-select:none;user-select:none;background:#000;place-items:center;display:grid;overflow:hidden}h1.svelte-yeweur{letter-spacing:-.095em;text-shadow:0 0 50px #000;margin:0;font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:clamp(5rem,17vw,15rem);font-weight:800;line-height:.8;position:relative}html,body{color:#fff;background:#000;overflow:hidden}.math-stage.svelte-175akq8{cursor:crosshair;-webkit-user-select:none;user-select:none;background:#000;min-height:100svh;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;position:relative;overflow:hidden}canvas.svelte-175akq8{width:100%;height:100%;position:absolute;inset:0}.interface.svelte-175akq8{z-index:2;opacity:0;transition:opacity .9s,transform .9s cubic-bezier(.2,.8,.2,1),filter .9s;position:absolute}.revealed.svelte-175akq8 .interface:where(.svelte-175akq8){opacity:1}.meta.svelte-175akq8{color:#6c6c6c;letter-spacing:.12em;text-transform:uppercase;justify-content:space-between;padding:18px 22px;font-size:9px;display:flex;top:0;left:0;right:0;transform:translateY(-8px)}.revealed.svelte-175akq8 .meta:where(.svelte-175akq8){transform:translateY(0)}.meta.svelte-175akq8{transition-delay:.9s}.equation-stage.svelte-175akq8{text-align:center;filter:blur(8px);width:min(92vw,1060px);top:49%;left:50%;transform:translate(-50%,-50%)scale(.985)}.revealed.svelte-175akq8 .equation-stage:where(.svelte-175akq8){filter:blur();transform:translate(-50%,-50%)scale(1)}.equation-stage.svelte-175akq8{transition-delay:.14s}.equation-content.svelte-175akq8{isolation:isolate;animation:.44s cubic-bezier(.2,.8,.2,1) both svelte-175akq8-resolve-equation;position:relative}.equivalence-content.svelte-175akq8:before{z-index:0;content:"";pointer-events:none;background:radial-gradient(at 50% 43%,#000000fa 0%,#000000f0 42%,#000000ad 58%,#0000 78%);position:absolute;inset:-3rem -5rem}.universality-content.svelte-175akq8:before{z-index:0;content:"";pointer-events:none;background:radial-gradient(at 50% 42%,#000000e0 0%,#000000c2 34%,#00000061 54%,#0000 73%);position:absolute;inset:-2.5rem -5rem}.equivalence-content.svelte-175akq8>:where(.svelte-175akq8),.universality-content.svelte-175akq8>:where(.svelte-175akq8){z-index:1;position:relative}@keyframes svelte-175akq8-resolve-equation{0%{opacity:0;filter:blur(7px);transform:scale(.992)}to{opacity:1;filter:blur();transform:scale(1)}}.mode-name.svelte-175akq8{color:#8a8a8a;letter-spacing:.16em;text-transform:uppercase;margin-bottom:1.2rem;font-size:9px}.equation.svelte-175akq8{letter-spacing:-.065em;justify-content:center;align-items:baseline;gap:clamp(.4rem,1.4vw,1.4rem);font-family:Cambria Math,STIX Two Math,Times New Roman,serif;font-size:clamp(4.7rem,13vw,11.5rem);line-height:.8;display:flex}.equation.svelte-175akq8 button:where(.svelte-175akq8){color:#ffffffe0;font:inherit;letter-spacing:inherit;cursor:pointer;background:0 0;border:0;border-bottom:1px solid #0000;padding:0;transition:color .18s,border-color .18s,text-shadow .18s}.equation.svelte-175akq8 button:where(.svelte-175akq8):hover,.equation.svelte-175akq8 button.focused:where(.svelte-175akq8){color:#fff;text-shadow:0 0 28px #fff3;border-color:#ffffff8c}.equation.svelte-175akq8 .operator:where(.svelte-175akq8){color:#fff;min-width:.7em}.equation.svelte-175akq8 sub:where(.svelte-175akq8),.equation.svelte-175akq8 sup:where(.svelte-175akq8){letter-spacing:0;font-size:.34em}.equation.svelte-175akq8 i:where(.svelte-175akq8){font-style:italic}.equation.universal.svelte-175akq8{letter-spacing:-.045em;gap:clamp(.3rem,.8vw,.8rem);font-size:clamp(2.2rem,6.5vw,6.8rem)}.equation.universal.svelte-175akq8 .universal-mark:where(.svelte-175akq8){font-size:1.28em}.equation.universal.svelte-175akq8 .domain-clause:where(.svelte-175akq8){color:#fff}.equation.universal.svelte-175akq8 .soft-comma:where(.svelte-175akq8){color:#ffffff38;font-size:.72em}.equation.universal.svelte-175akq8 .secondary-clause:where(.svelte-175akq8){color:#ffffff57;letter-spacing:-.025em;border-color:#0000;font-size:.58em}.equation.universal.svelte-175akq8 .secondary-clause:where(.svelte-175akq8):hover,.equation.universal.svelte-175akq8 .secondary-clause.focused:where(.svelte-175akq8){color:#ffffffb8}.equivalence-formula.svelte-175akq8{font-size:clamp(4.6rem,11vw,10rem);line-height:.9}.equivalence-formula.svelte-175akq8 .operator:where(.svelte-175akq8) sub:where(.svelte-175akq8){font-size:.18em}.word-reading.svelte-175akq8{color:#555;letter-spacing:.16em;text-align:center;border-top:1px solid #252525;grid-template-columns:repeat(7,1fr);width:min(64vw,470px);margin:1.8rem auto 0;padding-top:.6rem;font-size:8px;display:grid}.word-reading.svelte-175akq8 span:where(.svelte-175akq8):nth-child(4){color:#d8d8d8}.normal-form.svelte-175akq8{color:#555;letter-spacing:.12em;border-top:1px solid #252525;grid-template-columns:auto 1fr auto;align-items:center;gap:1rem;width:min(64vw,470px);margin:1.8rem auto 0;padding-top:.6rem;font-size:8px;display:grid}.normal-form.svelte-175akq8 b:where(.svelte-175akq8){color:#a8a8a8;letter-spacing:0;font-family:Cambria Math,STIX Two Math,Times New Roman,serif;font-size:12px;font-weight:400}.equivalence-content.svelte-175akq8 .normal-form:where(.svelte-175akq8){margin-top:2.6rem}.statement.svelte-175akq8{color:#b6b6b6;flex-wrap:wrap;justify-content:center;align-items:baseline;gap:.85rem;margin:2.2rem 0 0;font-family:Times New Roman,serif;font-size:clamp(1rem,1.5vw,1.25rem);font-style:italic;display:flex}h1.svelte-175akq8{letter-spacing:.04em;margin:.7rem 0 0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:clamp(.72rem,.95vw,.9rem);font-weight:400}.details.svelte-175akq8{border-top:1px solid #292929;grid-template-columns:minmax(0,1fr) minmax(320px,.72fr);align-items:start;gap:clamp(2rem,5vw,5rem);padding-top:12px;transition-delay:.7s;display:grid;bottom:126px;left:22px;right:22px;transform:translateY(10px)}.revealed.svelte-175akq8 .details:where(.svelte-175akq8){transform:translateY(0)}.standalone.svelte-175akq8 .details:where(.svelte-175akq8){bottom:62px}.inspector.svelte-175akq8{grid-template-columns:145px minmax(250px,430px);display:grid}.inspector.svelte-175akq8>div:where(.svelte-175akq8){padding:0 14px 0 0}.inspector.svelte-175akq8>div:where(.svelte-175akq8)+div:where(.svelte-175akq8){border-left:1px solid #292929;padding-left:14px}.inspector.svelte-175akq8 span:where(.svelte-175akq8),.theorem.svelte-175akq8>span:where(.svelte-175akq8){color:#555;letter-spacing:.12em;text-transform:uppercase;margin-bottom:8px;font-size:8px;display:block}.status.svelte-175akq8 b:where(.svelte-175akq8){letter-spacing:.08em;font-size:10px;font-weight:500}.definition.svelte-175akq8 p:where(.svelte-175akq8){color:#9d9d9d;margin:0;font-family:Times New Roman,serif;font-size:13px;line-height:1.35}.theorem.svelte-175akq8{min-width:0}.theorem.svelte-175akq8 strong:where(.svelte-175akq8){letter-spacing:0;font-family:Cambria Math,STIX Two Math,Times New Roman,serif;font-size:clamp(1.1rem,2vw,1.8rem);font-weight:400;display:block}.fractal-theorem.svelte-175akq8 strong:where(.svelte-175akq8){font-size:clamp(.95rem,1.45vw,1.28rem);line-height:1.22}.theorem.svelte-175akq8 p:where(.svelte-175akq8){color:#737373;margin:.5rem 0 0;font-family:Times New Roman,serif;font-size:12px;line-height:1.35}.modes.svelte-175akq8{border-top:1px solid #292929;border-bottom:1px solid #292929;grid-template-columns:repeat(5,1fr);display:grid;bottom:38px;left:0;right:0;transform:translateY(12px)}.revealed.svelte-175akq8 .modes:where(.svelte-175akq8){transform:translateY(0)}.modes.svelte-175akq8{transition-delay:1s}.modes.svelte-175akq8 button:where(.svelte-175akq8){color:#626262;text-align:left;cursor:pointer;background:#000000b8;border:0;border-right:1px solid #292929;grid-template-columns:26px 38px 1fr;align-items:center;min-height:54px;padding:0 16px;transition:color .18s,background .18s;display:grid}.modes.svelte-175akq8 button:where(.svelte-175akq8):last-child{border-right:0}.modes.svelte-175akq8 button:where(.svelte-175akq8):hover,.modes.svelte-175akq8 button.active:where(.svelte-175akq8){color:#fff;background:#ffffff09}.modes.svelte-175akq8 button.active:where(.svelte-175akq8){box-shadow:inset 0 1px #fff}.modes.svelte-175akq8 span:where(.svelte-175akq8),.modes.svelte-175akq8 small:where(.svelte-175akq8){letter-spacing:.08em;text-transform:uppercase;font-size:8px}.modes.svelte-175akq8 b:where(.svelte-175akq8){font-family:Cambria Math,STIX Two Math,Times New Roman,serif;font-size:23px;font-weight:400}.instructions.svelte-175akq8{color:#4f4f4f;letter-spacing:.08em;text-transform:uppercase;justify-content:space-between;padding:12px 22px;font-size:8px;transition-delay:1.12s;display:flex;bottom:0;left:0;right:0}@media (width<=850px){.equation-stage.svelte-175akq8{top:40%}.details.svelte-175akq8{grid-template-columns:minmax(0,1.2fr) minmax(220px,.8fr);gap:24px;bottom:112px;left:14px;right:14px}.standalone.svelte-175akq8 .details:where(.svelte-175akq8){bottom:52px}.inspector.svelte-175akq8{grid-template-columns:115px 1fr}.theorem.svelte-175akq8 p:where(.svelte-175akq8){display:none}.modes.svelte-175akq8{bottom:30px;overflow-x:auto}.modes.svelte-175akq8 button:where(.svelte-175akq8){grid-template-columns:18px 32px;min-width:92px;padding:0 10px}.modes.svelte-175akq8 small:where(.svelte-175akq8){display:none}.instructions.svelte-175akq8{padding:10px 14px}.instructions.svelte-175akq8 span:where(.svelte-175akq8):nth-child(-n+2){display:none}}@media (width<=520px){.meta.svelte-175akq8{padding:14px}.equation-stage.svelte-175akq8{top:34%}.equation.svelte-175akq8{font-size:clamp(3.4rem,22vw,6rem)}.equation.universal.svelte-175akq8{flex-wrap:wrap;font-size:clamp(1.7rem,9vw,3.2rem);line-height:1.05}.equation.universal.svelte-175akq8 .secondary-clause:where(.svelte-175akq8){flex-basis:100%}.statement.svelte-175akq8{margin-top:1.4rem}.details.svelte-175akq8{grid-template-columns:1fr;gap:10px;padding-top:8px;bottom:104px}.standalone.svelte-175akq8 .details:where(.svelte-175akq8){bottom:48px}.inspector.svelte-175akq8{grid-template-columns:100px 1fr}.inspector.svelte-175akq8 .status:where(.svelte-175akq8){display:block}.definition.svelte-175akq8 p:where(.svelte-175akq8){font-size:11px}.theorem.svelte-175akq8{grid-template-columns:100px 1fr;align-items:baseline;display:grid}.theorem.svelte-175akq8>span:where(.svelte-175akq8){margin:0}.theorem.svelte-175akq8 strong:where(.svelte-175akq8){font-size:1rem}}@media (prefers-reduced-motion:reduce){.interface.svelte-175akq8{transition-duration:80ms}}main.svelte-1lwcroj,canvas.svelte-1lwcroj{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-1lwcroj{background:#000;overflow:hidden}canvas.svelte-1lwcroj{touch-action:none;-webkit-user-select:none;user-select:none}main.svelte-prekz8,canvas.svelte-prekz8{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-prekz8{background:#000;overflow:hidden}.scene.svelte-prekz8{pointer-events:none}.word.svelte-prekz8{touch-action:none}main.svelte-1eczcju,canvas.svelte-1eczcju{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-1eczcju{background:#000;overflow:hidden}main.backdrop.svelte-1eczcju{pointer-events:none}canvas.svelte-1eczcju{touch-action:none;-webkit-user-select:none;user-select:none}main.svelte-rgbhf8,canvas.svelte-rgbhf8{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-rgbhf8{background:#000;overflow:hidden}canvas.svelte-rgbhf8{touch-action:none;-webkit-user-select:none;user-select:none}main.svelte-1k9bc1o,canvas.svelte-1k9bc1o{width:100%;height:100%;display:block;position:absolute;inset:0}main.svelte-1k9bc1o{background:#000}.scene-layer.svelte-1k9bc1o{z-index:0;pointer-events:none}.word-layer.svelte-1k9bc1o{z-index:1;touch-action:none}*{box-sizing:border-box}main.svelte-1gid5cg{touch-action:none;background:#000;position:absolute;inset:0;overflow:hidden}pre.svelte-1gid5cg{color:#fff;white-space:pre;-webkit-user-select:none;user-select:none;pointer-events:none;margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:clamp(7px,.72vw,11px);font-weight:400;line-height:.9;position:absolute}html,body{background:#000;width:100%;height:100%;margin:0;overflow:hidden}.gallery.svelte-1uha8ag,.landing-stage.svelte-1uha8ag{background:#000;position:fixed;inset:0;overflow:hidden}.landing-stage.svelte-1uha8ag{z-index:0}