@font-face{font-family:Bricolage Grotesque;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(../media/033400d475fad6b1-s.197tvtifbphtu.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Bricolage Grotesque;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(../media/26daee0352f50a5f-s.2e115y8-hourl.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Bricolage Grotesque;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(../media/017d9bea37084d9b-s.p.41rroleoq1br7.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Bricolage Grotesque Fallback;src:local(Arial);ascent-override:88.21%;descent-override:25.61%;line-gap-override:0.0%;size-adjust:105.43%}.bricolage_grotesque_f3cfb4c2-module__r90kca__className{font-family:Bricolage Grotesque,Bricolage Grotesque Fallback;font-style:normal}.bricolage_grotesque_f3cfb4c2-module__r90kca__variable{--font-ui:"Bricolage Grotesque", "Bricolage Grotesque Fallback"}
@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/169964a708a16db9-s.3tb5p_7qfmyz8.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/f73554b76b3968b4-s.37jkn7dkqdzmj.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/6a5ee69d6a4389bc-s.2jb1vk_6z018-.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/844757ee197428ee-s.2cy5af_-jzz_h.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/5e56e1bd35970baf-s.1g1nt_8rtd9y3.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(../media/a1c7a484c510d19c-s.p.3i8txso_gfwy4.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/b1d5dad78a0d12b5-s.2tzyq4j6faaxz.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/17381594d15ffe51-s.2gfkf5nkjoj6c.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/f8ed89659f8cd9f4-s.08bwskror5ta0.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/ea20f3f596d3a0b3-s.1phm37u2b_u0m.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/1995f8c0ebebeccd-s.2ym2ta1kz5kj_.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/62c2ceb5e93c1826-s.p.38-aukekfqnuh.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text Fallback;src:local(Times New Roman);ascent-override:72.67%;descent-override:22.7%;line-gap-override:23.84%;size-adjust:104.86%}.stix_two_text_2f11cfb8-module__AIGp3a__className{font-family:STIX Two Text,STIX Two Text Fallback}.stix_two_text_2f11cfb8-module__AIGp3a__variable{--font-math:"STIX Two Text", "STIX Two Text Fallback"}
@font-face{font-family:Spline Sans Mono;font-style:normal;font-weight:300 700;font-display:swap;src:url(../media/5e60c3e60a629e0e-s.185vq78hrw2dq.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Spline Sans Mono;font-style:normal;font-weight:300 700;font-display:swap;src:url(../media/d2d62b05021c6286-s.p.2d9e_tvweuz-y.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Spline Sans Mono Fallback;src:local(Arial);ascent-override:71.59%;descent-override:17.57%;line-gap-override:0.0%;size-adjust:134.59%}.spline_sans_mono_fc798ef9-module__ISzLJq__className{font-family:Spline Sans Mono,Spline Sans Mono Fallback;font-style:normal}.spline_sans_mono_fc798ef9-module__ISzLJq__variable{--font-mono:"Spline Sans Mono", "Spline Sans Mono Fallback"}
:root{--board:#101c2c;--board-deep:#0a1220;--board-raised:#152438;--clipboard:#182a40;--hairline:#7dd3fc24;--grid-minor:#7dd3fc0d;--grid-major:#7dd3fc1a;--text:#e9f0f8;--muted:#9db4cc;--cyan:#7dd3fc;--cyan-strong:#38bdf8;--cyan-ink:#0b6e97;--cyan-wash:#d9edf7;--vellum:#f6f0df;--vellum-hi:#fbf7ea;--vellum-lo:#efe6cf;--vellum-edge:#d8cdaf;--ink:#22302c;--ink-muted:#5d6b66;--ink-operator:#5f5a4a;--ink-fn:#1f4e46;--mint:#cdeedd;--mint-line:#8ec7ab;--green:#176b4d;--green-glow:#4ade80;--green-on-dark:#7ee2a8;--stamp:#c3391f;--stamp-bright:#e86a4a;--brass:#d9a441;--sans:var(--font-ui), "Bricolage Grotesque", ui-sans-serif, system-ui, sans-serif;--serif-math:var(--font-math), "STIX Two Text", "Times New Roman", serif;--mono:var(--font-mono), "Spline Sans Mono", ui-monospace, "SF Mono", Menlo, monospace;--fs-2xs:10px;--fs-xs:11px;--fs-sm:12px;--fs-base:13px;--fs-md:15px;--fs-lg:18px;--fs-xl:26px;--fs-2xl:30px;--fs-display:clamp(22px, 3vw, 38px);--radius-card:13px;--radius-sheet:16px;--radius-popover:15px;--radius-chip:12px;--radius-control:10px;--radius-input:8px;--radius-pill:999px;--track-caps:.1em;--track-caps-wide:.14em;--weight-label:700;--shadow-card:inset 0 1px 0 #ffffff8c, 0 1px 2px #040a1280, 0 12px 28px #040a1261;--shadow-hero:inset 0 1px 0 #ffffffb3, 0 2px 6px #03081073, 0 26px 60px #0308108c;--shadow:0 18px 60px #03081080;--grain:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='140' height='140'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='2' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='140' height='140' filter='url(%23n)' opacity='0.07'/%3E%3C/svg%3E");--ink-bleed:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='160'%3E%3Cfilter id='b'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.5' numOctaves='2' stitchTiles='stitch'/%3E%3CfeComponentTransfer%3E%3CfeFuncA type='table' tableValues='0.35 1 1 1 1'/%3E%3C/feComponentTransfer%3E%3C/filter%3E%3Crect width='160' height='160' filter='url(%23b)'/%3E%3C/svg%3E")}*{box-sizing:border-box}html{-moz-text-size-adjust:100%;text-size-adjust:100%}body{color:var(--text);background:var(--board-deep);font-family:var(--sans);font-size:var(--fs-base);margin:0}button{font:inherit}:focus-visible{outline:2px solid var(--cyan-strong);outline-offset:2px}.equation-card :focus-visible,.canvas-card :focus-visible,.context-menu :focus-visible,.move-palette button:focus-visible,.obligation-tabs button.active:focus-visible,.view-switch button.active:focus-visible{outline-color:var(--cyan-ink)}.workspace{flex-direction:column;height:100vh;display:flex;overflow:hidden}.topbar{border-bottom:1px solid var(--hairline);z-index:20;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);background:#0a1220eb;grid-template-columns:1fr auto 1fr;align-items:center;height:72px;padding:0 32px;display:grid;position:sticky;top:0}.brand{font-size:var(--fs-md);letter-spacing:-.02em;align-items:center;gap:10px;font-weight:700;display:flex}.brand small{color:var(--muted);font-size:var(--fs-sm);letter-spacing:0;margin-left:6px;font-weight:400}.brand-mark{background:linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));width:34px;height:34px;color:var(--board-deep);border:1px solid var(--vellum-edge);font:italic var(--fs-lg) var(--serif-math);border-radius:10px 10px 10px 3px;place-items:center;display:inline-grid;box-shadow:0 2px 8px #03081080}.view-switch{border-radius:var(--radius-chip);border:1px solid var(--hairline);background:#7dd3fc14;padding:4px;display:flex}.view-switch button{border-radius:var(--radius-input);color:var(--muted);cursor:pointer;background:0 0;border:0;padding:7px 18px;transition:color .16s,background .16s}.view-switch button:not(.active):hover{color:var(--text);background:#7dd3fc14}.view-switch button.active{background:linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));color:var(--ink);box-shadow:0 2px 8px #03081066}.kernel-badge{color:var(--muted);font-size:var(--fs-base);justify-self:end;align-items:center;gap:8px;display:flex}.kernel-badge span{background:var(--brass);border-radius:50%;width:8px;height:8px;box-shadow:0 0 0 3px #d9a44126,0 0 10px #d9a44199}.kernel-badge.checked{color:var(--green-on-dark);font-weight:600}.kernel-badge.checked span{background:var(--green-glow);box-shadow:0 0 0 3px #4ade8026,0 0 12px #4ade80a6}.header-actions{justify-self:end;align-items:center;gap:7px;display:flex}.header-actions>button{color:var(--muted);font-size:var(--fs-sm);cursor:pointer;background:0 0;border:0;padding:6px}.header-actions>button:hover{color:var(--cyan)}.header-actions>button:disabled{opacity:.3;cursor:default}.header-actions>.history-button{border:1px solid var(--hairline);border-radius:var(--radius-input);width:27px;height:27px;color:var(--text);font-size:var(--fs-lg);background:#7dd3fc0f;place-items:center;padding:0;transition:color .16s,border-color .16s;display:grid}.header-actions>.history-button:not(:disabled):hover{color:var(--cyan);border-color:#7dd3fc59}.lesson-strip{border-bottom:1px solid var(--hairline);background:#0e1a2b;grid-template-columns:1.3fr 1fr auto;align-items:end;gap:40px;padding:26px 40px 22px;display:grid}.eyebrow{color:var(--cyan);text-transform:uppercase;letter-spacing:var(--track-caps-wide);font-size:var(--fs-xs);font-weight:var(--weight-label)}h1{font:650 var(--fs-2xl)/1.1 var(--sans);letter-spacing:-.03em;color:var(--text);margin:5px 0 0}.lesson-strip p{color:var(--muted);font-size:var(--fs-md);border-left:1px solid var(--hairline);max-width:520px;margin:0;padding-left:28px;line-height:1.55}.lesson-strip p:before{content:"Procedure";color:#7dd3fcbf;font-size:var(--fs-2xs);font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-caps-wide);margin-bottom:4px;display:block}.progress{border-left:1px solid var(--hairline);align-items:baseline;gap:7px;padding-left:28px;display:flex}.progress strong{font:600 var(--fs-xl) var(--sans);color:var(--text);font-variant-numeric:tabular-nums}.progress span{color:var(--muted);font-size:var(--fs-2xs);font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-caps-wide)}.body-grid{flex:1;grid-template-columns:215px minmax(0,1fr);min-height:0;display:grid}.context-panel{border-right:1px solid var(--hairline);background:var(--clipboard);padding:20px 14px;overflow:auto}.context-panel h2{font:var(--weight-label) var(--fs-2xs) var(--sans);text-transform:uppercase;letter-spacing:var(--track-caps-wide);color:var(--muted);margin:0 0 14px}.lesson-list{gap:6px;margin:0 0 26px;display:grid}.lesson-list button{border-radius:var(--radius-control);color:var(--muted);text-align:left;cursor:pointer;background:0 0;border:1px solid #0000;align-items:center;gap:9px;padding:8px;transition:color .16s,background .16s,border-color .16s;display:flex}.lesson-list button:not(.active):not(:disabled):hover{border-color:var(--hairline);color:var(--text);background:#7dd3fc0d}.lesson-list button:disabled{cursor:default}.lesson-list button>span{height:25px;font-size:var(--fs-xs);background:#7dd3fc1a;border-radius:50%;flex:0 0 25px;place-items:center;display:grid}.lesson-list button strong,.lesson-list button small{display:block}.lesson-list button strong{color:inherit;font-size:var(--fs-sm)}.lesson-list button small{font-size:var(--fs-2xs);margin-top:2px}.lesson-list button.active{color:var(--text);background:#7dd3fc14;border-color:#7dd3fc66}.lesson-list button.active>span{background:var(--cyan);color:var(--board-deep);font-weight:700}.lesson-source{color:var(--muted);font-size:var(--fs-2xs);margin:13px 2px 0;line-height:1.4;text-decoration:none;display:block}.lesson-source:hover{color:var(--cyan)}.why-card{border-top:1px solid var(--hairline);margin-top:22px;padding-top:18px}.why-card span{font-size:var(--fs-sm);color:var(--cyan);font-weight:700}.why-card p{color:var(--muted);font-size:var(--fs-sm);margin:7px 0;line-height:1.5}.proof-stage{background-color:var(--board);background-image:radial-gradient(120% 90% at 50% 12%, #7dd3fc0f, #03081000 46%, #03081080 100%), linear-gradient(to right, var(--grid-major) 1px, transparent 1px), linear-gradient(to bottom, var(--grid-major) 1px, transparent 1px), linear-gradient(to right, var(--grid-minor) 1px, transparent 1px), linear-gradient(to bottom, var(--grid-minor) 1px, transparent 1px);background-size:100% 100%,100px 100px,100px 100px,20px 20px,20px 20px;background-attachment:scroll,local,local,local,local;padding:18px 20px 24px;position:relative;overflow:auto;container:proof-stage/size}.obligation-tabs{justify-content:center;gap:8px;margin-bottom:48px;display:flex}.obligation-tabs button{border:1px solid var(--hairline);border-radius:var(--radius-pill);color:var(--muted);font-size:var(--fs-base);cursor:pointer;background:#152438d9;align-items:center;gap:7px;padding:7px 13px 7px 8px;transition:color .16s,border-color .16s,background .16s;display:inline-flex}.obligation-tabs button:not(.active):hover{color:var(--text);border-color:#7dd3fc4d}.obligation-tabs button span{background:#7dd3fc1f;border-radius:50%;flex:none;place-items:center;width:22px;height:22px;display:inline-grid}.obligation-tabs button.active{border-color:var(--vellum-edge);background:linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));color:var(--ink);box-shadow:0 4px 16px #03081073}.obligation-tabs button.active span{color:var(--cyan-ink);background:#0b6e971f}.obligation-tabs button.solved span{border:1.5px solid var(--stamp-bright);color:var(--stamp-bright);background:0 0;font-weight:700;transform:rotate(-8deg)}.obligation-tabs button.active.solved span{border-color:var(--stamp);color:var(--stamp)}.visual-view{text-align:center;--rail:clamp(300px, 22cqw, 340px);--def-card-w:285px;--ctx-card-w:250px;--palette-reserve:280px;--eq-min-height:170px;--eq-pad:42px 34px;--eq-fs:clamp(22px, 3cqw, 38px);min-height:600px;padding-bottom:var(--palette-reserve);margin:0 auto;position:relative}.visual-view>.case-label,.visual-view>.scope-box,.visual-view>.equation-card,.visual-view>.gesture-hint{z-index:1;margin-left:auto;margin-right:auto;position:relative}.visual-view>.equation-card,.visual-view>.scope-box{width:fit-content;max-width:clamp(340px, calc(100cqw - 2 * var(--rail) - 56px), 1000px)}.scope-box .equation-card{max-width:100%}.case-label{color:var(--muted);font-size:var(--fs-sm);text-transform:uppercase;letter-spacing:var(--track-caps);font-weight:var(--weight-label)}.equation-card{width:fit-content;max-width:100%;min-height:var(--eq-min-height,170px);padding:var(--eq-pad,42px 34px);border:1px solid var(--vellum-edge);border-radius:var(--radius-sheet);background:var(--grain), linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));box-shadow:var(--shadow-hero);color:var(--ink);font:var(--eq-fs,var(--fs-display))/1.55 var(--serif-math);flex-wrap:wrap;justify-content:center;align-items:center;gap:28px;margin:28px auto;font-style:italic;transition:opacity .2s,transform .2s;display:flex;position:relative}.equation-card.busy{opacity:.55;transform:scale(.995)}.equation-card:before,.equation-card:after{content:"";pointer-events:none;opacity:.45;width:15px;height:15px;position:absolute}.equation-card:before{border-top:1px solid #8a7f63;border-left:1px solid #8a7f63;top:9px;left:9px}.equation-card:after{border-bottom:1px solid #8a7f63;border-right:1px solid #8a7f63;bottom:9px;right:9px}.equation-rhs{align-items:center;gap:28px;min-width:0;max-width:100%;display:inline-flex}.equals{border-radius:var(--radius-control);color:var(--stamp);font:inherit;cursor:default;background:0 0;border:0;padding:5px 8px;font-size:1.2em;font-style:normal;line-height:1;transition:all .16s}.equals.closable{cursor:pointer;background:#f6ddd2;animation:1.8s ease-in-out infinite reflexivity-pulse;box-shadow:0 0 0 5px #f9e9e0}.equals.closable:hover{background:var(--stamp);color:var(--vellum-hi);transform:scale(1.08)}@keyframes reflexivity-pulse{50%{box-shadow:0 0 0 9px #c3391f1a}}.qed-stamp{z-index:6;pointer-events:none;border:2px solid var(--stamp);color:var(--stamp);font:800 var(--fs-xl)/1 var(--sans);letter-spacing:.06em;-webkit-mask-image:var(--ink-bleed);-webkit-mask-image:var(--ink-bleed);mask-image:var(--ink-bleed);border-radius:8px;padding:8px 20px 9px;font-style:normal;animation:.5s cubic-bezier(.16,1.3,.3,1) both stamp-in;position:absolute;top:-26px;right:-22px;transform:rotate(-8deg)}.qed-stamp:before{content:"";border:1px solid var(--stamp);border-radius:5px;position:absolute;inset:3px}@keyframes stamp-in{0%{opacity:0;transform:rotate(-8deg)scale(2.3)}55%{opacity:1;transform:rotate(-8deg)scale(.93)}to{opacity:1;transform:rotate(-8deg)scale(1)}}.expression{-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:7px;transition:background .16s,box-shadow .16s;display:inline}.expression.movable{cursor:grab}.expression.tappable{border-bottom:2px dotted var(--cyan-ink);animation:2.4s ease-in-out infinite tap-pulse}.expression.tappable:hover{background:var(--cyan-wash);box-shadow:0 0 0 5px var(--cyan-wash)}.expression.selected{background:var(--cyan-wash);box-shadow:0 0 0 6px var(--cyan-wash)}.expression.drop-target{background:#cfe8f7;box-shadow:0 0 0 4px #cfe8f7}@keyframes tap-pulse{50%{border-bottom-color:#0b6e9759}}.operator,.paren{color:var(--ink-operator);font-style:normal}.function-name{color:var(--ink-fn);font-style:normal}.argument{margin-left:.24em}.gesture-hint{color:var(--muted);font-size:var(--fs-base);align-items:center;gap:10px;display:inline-flex}.hint-tap{display:none}.cursor-icon{border-radius:var(--radius-input);border:1px solid var(--hairline);width:28px;height:28px;color:var(--cyan);background:#7dd3fc24;place-items:center;display:inline-grid}.context-menu{z-index:50;border:1px solid var(--vellum-edge);border-radius:var(--radius-popover);background:var(--grain), linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));width:min(390px,92vw);box-shadow:var(--shadow);text-align:left;color:var(--ink);padding:8px;animation:.12s both menu-in;position:fixed;transform:translate(10px,10px)}.context-menu:before{content:"";border-left:1px solid var(--vellum-edge);border-top:1px solid var(--vellum-edge);background:var(--vellum-hi);width:12px;height:12px;position:absolute;top:-7px;left:12px;transform:rotate(45deg)}@keyframes menu-in{0%{opacity:0}to{opacity:1}}.context-menu-title{color:var(--ink-muted);font-size:var(--fs-2xs);font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-caps);padding:6px 9px 8px}.context-menu button{border-radius:var(--radius-control);width:100%;color:var(--ink);text-align:left;cursor:pointer;background:0 0;border:0;align-items:flex-start;gap:11px;padding:10px;display:flex}.context-menu button:hover,.context-menu button:focus-visible{background:var(--cyan-wash);outline:none}.context-menu button>span{color:var(--cyan-ink);font-size:var(--fs-lg)}.context-menu strong,.context-menu small{display:block}.context-menu small{color:var(--ink-muted);margin-top:3px;line-height:1.35}.context-menu p{color:var(--ink-muted);font-size:var(--fs-2xs);margin:5px 10px 4px}.move-palette{z-index:4;text-align:left;grid-template-columns:repeat(2,250px);justify-content:center;align-items:stretch;gap:7px;width:520px;margin:0;display:grid;position:absolute;bottom:18px;left:50%;overflow:visible;transform:translate(-50%)}.move-palette button{border:1px solid var(--vellum-edge);border-radius:var(--radius-chip);background:var(--grain), linear-gradient(180deg, #fbf7eaf7, #efe6cff7);color:var(--ink);cursor:pointer;box-shadow:var(--shadow-card);align-items:center;gap:10px;padding:9px 13px;transition:transform .16s,border-color .16s,box-shadow .16s;display:flex;position:relative}.move-palette button:hover{border-color:var(--cyan-strong);transform:translateY(-2px);box-shadow:inset 0 1px #ffffff8c,0 1px 2px #040a1280,0 16px 32px #040a1280}.move-palette button[aria-disabled=true]{opacity:.55;cursor:default}.move-palette button[aria-disabled=true]:hover{border-color:var(--vellum-edge);box-shadow:var(--shadow-card);transform:none}.move-palette button>span:first-child{color:var(--cyan-ink);font-size:var(--fs-lg);flex:none;line-height:1}.move-palette .move-chip strong{font-size:var(--fs-base);text-overflow:ellipsis;white-space:nowrap;font-weight:700;line-height:1.25;overflow:hidden}.move-tip{z-index:60;border:1px solid var(--vellum-edge);border-radius:var(--radius-control);background:var(--grain), linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));width:max-content;max-width:260px;box-shadow:var(--shadow);color:var(--ink-muted);font-size:var(--fs-sm);text-align:left;pointer-events:none;opacity:0;visibility:hidden;padding:8px 11px;font-weight:400;line-height:1.4;position:absolute;bottom:calc(100% + 9px);left:50%;transform:translate(-50%)}.move-tip:after{content:"";background:var(--vellum-lo);border-right:1px solid var(--vellum-edge);border-bottom:1px solid var(--vellum-edge);width:11px;height:11px;position:absolute;top:100%;left:50%;transform:translate(-50%)translateY(-6px)rotate(45deg)}.move-palette button:hover .move-tip,.move-palette button.tip-open .move-tip,.move-palette button:focus-visible .move-tip{opacity:1;visibility:visible}.canvas-card{z-index:3;width:var(--ctx-card-w,250px);border:1px solid var(--vellum-edge);border-radius:var(--radius-card);background:var(--grain), linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));box-shadow:var(--shadow-card);text-align:left;color:var(--ink);position:absolute;overflow:hidden}.canvas-card-handle{color:#5d5744;font-size:var(--fs-xs);font-weight:var(--weight-label);cursor:grab;touch-action:none;-webkit-user-select:none;user-select:none;background:linear-gradient(#f3ecd9,#ece2ca);border-bottom:1px solid #ded3b6;align-items:center;gap:7px;padding:8px 11px;display:flex}.canvas-card-handle:active{cursor:grabbing;background:#e8ddc2}.canvas-card-handle>span{color:var(--cyan-ink);font-size:var(--fs-md)}.canvas-card-body{padding:11px}.definition-rail{--rail-drag-room:180px;z-index:3;box-sizing:content-box;width:var(--def-card-w,285px);padding-left:var(--rail-drag-room);max-height:calc(100cqh - 72px - var(--palette-reserve,280px) - 24px);pointer-events:none;flex-direction:column;align-items:flex-end;gap:14px;display:flex;position:absolute;top:72px;right:24px;overflow:hidden auto}.definition-canvas-card{width:var(--def-card-w,285px);pointer-events:auto;flex:none;position:static}.definition-canvas-card code{color:#29483f;font:var(--fs-sm)/1.35 var(--mono);white-space:pre;padding:4px 2px;display:block}.definition-canvas-card small,.context-canvas-card small{color:var(--ink-muted);font-size:var(--fs-2xs);margin-top:8px;line-height:1.4;display:block}.definition-card-title{text-overflow:ellipsis;white-space:nowrap;flex:auto;overflow:hidden}.definition-card-toggle{min-width:40px;min-height:40px;color:var(--cyan-ink);cursor:pointer;opacity:.85;background:0 0;border:0;flex:none;justify-content:center;align-items:center;margin:-8px -6px -8px auto;padding:0;transition:opacity .16s;display:inline-flex;position:relative}.definition-card-toggle:hover{opacity:1}.definition-card-toggle:after{content:"";position:absolute;inset:-2px}.definition-card-chevron{font-size:var(--fs-lg);line-height:1}.context-list{gap:7px;display:grid}.context-list code{border-radius:var(--radius-input);font:var(--fs-base) var(--mono);background:#22302c12;padding:8px 10px}.hypothesis-card{border:1px solid var(--mint-line);border-radius:var(--radius-card);background:var(--mint);cursor:grab;margin-top:20px;padding:14px;transition:border-color .16s,box-shadow .16s;box-shadow:0 5px 18px #176b4d24}.hypothesis-card.tappable:hover{border-color:var(--green);box-shadow:0 6px 20px #176b4d38}.hypothesis-card>span{border-radius:var(--radius-input);background:var(--green);color:#fff;font-size:var(--fs-xs);padding:2px 7px;font-weight:800;display:inline-block}.hypothesis-card div{font:italic var(--fs-base)/1.5 var(--serif-math);margin:10px 0 8px}.hypothesis-card small{color:var(--green)}.induction-zone{border-radius:var(--radius-card);min-height:105px;color:var(--ink-muted);border:2px dashed #a89e83;flex-direction:column;justify-content:center;gap:7px;margin-top:20px;padding:15px;transition:all .2s;display:flex}.induction-zone:hover{border-color:var(--cyan-ink);background:#0b6e9712}.induction-zone strong{color:var(--ink)}.induction-zone span{font-size:var(--fs-base);line-height:1.45}.scope-box{border-radius:var(--radius-sheet);background:#7dd3fc0d;border:1px solid #7dd3fc4d;margin:14px 0;padding:28px 14px 14px;position:relative;box-shadow:inset 3px 0 #7dd3fc47}.scope-box .scope-box{margin:8px 0 0}.scope-label{color:#8fc7e8;font:700 var(--fs-sm)/1.2 var(--mono);align-items:baseline;gap:7px;display:flex;position:absolute;top:7px;left:12px}.scope-label span{color:var(--muted);font:600 var(--fs-2xs)/1.2 var(--sans);text-transform:uppercase;letter-spacing:var(--track-caps)}.proof-cell .scope-box{background:#0b6e970d;border-color:#0b6e974d;box-shadow:inset 3px 0 #0b6e9740}.proof-cell .scope-label{color:var(--cyan-ink)}.proof-cell .scope-label span{color:var(--ink-muted)}.canvas-help{z-index:2;border:1px solid var(--hairline);border-radius:var(--radius-control);color:#b7cde2;text-align:left;max-width:310px;font-size:var(--fs-xs);background:#0d1828d9;flex-direction:column;gap:3px;padding:9px 12px;display:flex;position:absolute;bottom:18px;left:22px}.canvas-help strong{color:var(--cyan)}@keyframes rise-in{0%{opacity:0;translate:0 14px}to{opacity:1;translate:0}}@keyframes fade-in{0%{opacity:0}to{opacity:1}}.visual-view>.canvas-card,.visual-view>.definition-rail,.visual-view>.case-label,.visual-view>.scope-box,.visual-view>.equation-card,.visual-view>.gesture-hint,.visual-view>.canvas-help,.visual-view>.move-palette{animation:.55s cubic-bezier(.22,1,.36,1) both rise-in}.definition-rail>.canvas-card{animation:.5s both fade-in}.definition-rail>.canvas-card:nth-of-type(2){animation-delay:60ms}.definition-rail>.canvas-card:nth-of-type(3){animation-delay:.12s}.definition-rail>.canvas-card:nth-of-type(4){animation-delay:.18s}.definition-rail>.canvas-card:nth-of-type(5){animation-delay:.24s}.visual-view>section.canvas-card:nth-of-type(2){animation-delay:40ms}.visual-view>section.canvas-card:nth-of-type(3){animation-delay:80ms}.visual-view>section.canvas-card:nth-of-type(4){animation-delay:.12s}.visual-view>section.canvas-card:nth-of-type(5){animation-delay:.16s}.visual-view>section.canvas-card:nth-of-type(6){animation-delay:.2s}.visual-view>.case-label{animation-delay:.18s}.visual-view>.scope-box,.visual-view>.equation-card{animation-delay:.22s}.visual-view>.gesture-hint{animation-delay:.28s}.visual-view>.canvas-help{animation-delay:.32s}.visual-view>.move-palette{animation-delay:.36s}.notebook-view{text-align:left;max-width:830px;margin:0 auto}.source-cell,.proof-cell{background:var(--grain), linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));border:1px solid var(--vellum-edge);border-radius:var(--radius-popover);box-shadow:var(--shadow-card);color:var(--ink)}.source-cell{font:var(--fs-base)/1.75 var(--mono);white-space:pre-wrap;padding:20px 24px}.proof-cell{margin-top:14px;overflow:hidden}.proof-cell header{border-bottom:1px solid #e2d9c0;padding:12px 17px;font-weight:700}.proof-cell header span{color:var(--green);margin-right:8px}.notebook-ih{border-radius:var(--radius-input);background:var(--mint);color:var(--green);font:var(--fs-sm) var(--mono);margin:14px 18px 0;padding:9px 11px}.notebook-step{border-bottom:1px solid #e8dfc7;grid-template-columns:1fr auto;align-items:baseline;gap:20px;padding:12px 18px;display:grid}.notebook-step:last-child{border-bottom:0}.notebook-step code{font:italic var(--fs-md)/1.5 var(--serif-math)}.notebook-step small{color:var(--ink-muted)}.script-view{text-align:left;max-width:900px;margin:8px auto 60px}.script-caption{border-radius:var(--radius-input) var(--radius-input) 0 0;border:1px solid var(--hairline);color:var(--cyan);font-size:var(--fs-2xs);font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-caps);background:#10293d;border-bottom:0;padding:5px 9px;display:inline-block}.script-view pre{border:1px solid var(--hairline);color:#dbe9f4;box-shadow:var(--shadow);font:var(--fs-base)/1.65 var(--mono);background:#0d1826;border-radius:0 14px 14px;margin:0;padding:24px;overflow:auto}.script-view p{color:var(--muted);font-size:var(--fs-xs)}.error-toast{color:#fff2ec;box-shadow:var(--shadow);background:#7c2717;border-radius:11px;padding:13px 17px;position:fixed;bottom:24px;right:24px}.checking-toast{z-index:80;border:1px solid var(--mint-line);background:linear-gradient(180deg, var(--vellum-hi), var(--vellum-lo));color:var(--green);box-shadow:var(--shadow);font-size:var(--fs-base);border-radius:11px;padding:13px 17px;font-weight:700;position:fixed;bottom:24px;right:24px}.loading{min-height:100vh;color:var(--muted);background:var(--board-deep);place-content:center;justify-items:center;gap:12px;display:grid}.loading p{text-align:center;max-width:580px;line-height:1.55}.loading button{border:1px solid var(--hairline);border-radius:var(--radius-input);background:var(--board-raised);color:var(--text);cursor:pointer;padding:9px 16px}.tok-keyword{color:#a02c15;font-weight:700}.tok-type{color:#3f5573}.tok-ctor,.tok-number{color:var(--cyan-ink)}.tok-fn{color:var(--ink-fn);font-weight:600}.tok-operator,.tok-paren{color:var(--ink-operator)}.script-view pre .tok-keyword{color:#ff8f76}.script-view pre .tok-type{color:#e2c07a}.script-view pre .tok-ctor,.script-view pre .tok-number{color:var(--cyan)}.script-view pre .tok-fn{color:var(--green-on-dark)}.script-view pre .tok-operator,.script-view pre .tok-paren{color:#8ba3bd}.header-actions>button.confirm-reset{border-radius:var(--radius-input);color:#ffb4a1;background:#c3391f47;padding:6px 10px;font-weight:700}.header-actions>button.confirm-reset:hover{color:#ffcabb}.move-palette .next-lesson{border-color:var(--cyan-strong);width:330px;box-shadow:var(--shadow-card), 0 0 0 1px #38bdf859, 0 0 26px #38bdf847;grid-column:1/-1;justify-self:center;align-items:center}.move-palette .next-lesson>span{color:var(--cyan-ink);font-size:var(--fs-lg)}.move-palette .next-lesson strong{font-size:var(--fs-md)}.move-palette .next-lesson{gap:11px;display:flex}.move-palette .next-lesson>div{display:block}.move-palette .next-lesson small{color:var(--ink-muted);line-height:1.35;font-size:var(--fs-sm);margin-top:3px;display:block}.context-menu.flipped:before{top:auto;bottom:-7px;transform:rotate(225deg)}@keyframes preview-shimmer{50%{box-shadow:0 0 0 5px #38bdf824,0 0 20px #38bdf899}}.expression.preview-target{background:var(--cyan-wash);animation:1.6s ease-in-out infinite preview-shimmer;box-shadow:0 0 0 5px #38bdf84d,0 0 14px #38bdf86b}.expression.preview-dest{outline:2px dashed var(--cyan-strong);outline-offset:3px}.context-list code.preview-target,.hypothesis-card.preview-target{animation:1.6s ease-in-out infinite preview-shimmer;box-shadow:0 0 0 2px #38bdf88c,0 0 16px #38bdf859}.induction-zone.preview-dest{border-color:var(--cyan-strong);background:#38bdf81a;box-shadow:0 0 16px #38bdf840}.definition-canvas-card.is-open .canvas-card-body{display:block}.definition-canvas-card.is-collapsed .canvas-card-body{display:none}@container proof-stage (not (min-width:1180px)) or (not (min-height:820px)){.visual-view{--rail:clamp(309px, 29cqw, 320px);--def-card-w:285px;--ctx-card-w:224px;--palette-reserve:172px;--eq-min-height:108px;--eq-pad:22px 22px;--eq-fs:clamp(20px, 2.4cqw, 30px);min-height:408px}.obligation-tabs{margin-bottom:10px}.visual-view>.equation-card,.visual-view>.scope-box{margin-top:10px;margin-bottom:10px}.visual-view>.gesture-hint{margin-top:6px}.canvas-help{display:none}.definition-rail{gap:10px}.move-palette button{padding:7px 12px}}.proof-stage,.context-panel,.script-view pre,.move-palette,.equation-card,.canvas-card-body{scrollbar-width:thin}.proof-stage,.context-panel,.script-view pre{scrollbar-color:#7dd3fc40 transparent}.move-palette,.equation-card,.canvas-card-body{scrollbar-color:#5d6b6680 transparent}.proof-stage::-webkit-scrollbar{width:10px;height:10px}.context-panel::-webkit-scrollbar{width:10px;height:10px}.script-view pre::-webkit-scrollbar{width:10px;height:10px}.move-palette::-webkit-scrollbar{width:10px;height:10px}.equation-card::-webkit-scrollbar{width:10px;height:10px}.canvas-card-body::-webkit-scrollbar{width:10px;height:10px}.proof-stage::-webkit-scrollbar-track{background:0 0}.context-panel::-webkit-scrollbar-track{background:0 0}.script-view pre::-webkit-scrollbar-track{background:0 0}.move-palette::-webkit-scrollbar-track{background:0 0}.equation-card::-webkit-scrollbar-track{background:0 0}.canvas-card-body::-webkit-scrollbar-track{background:0 0}.proof-stage::-webkit-scrollbar-corner{background:0 0}.context-panel::-webkit-scrollbar-corner{background:0 0}.script-view pre::-webkit-scrollbar-corner{background:0 0}.move-palette::-webkit-scrollbar-corner{background:0 0}.equation-card::-webkit-scrollbar-corner{background:0 0}.canvas-card-body::-webkit-scrollbar-corner{background:0 0}.proof-stage::-webkit-scrollbar-thumb{background:#7dd3fc29 padding-box padding-box;border:2px solid #0000;border-radius:8px}.context-panel::-webkit-scrollbar-thumb{background:#7dd3fc29 padding-box padding-box;border:2px solid #0000;border-radius:8px}.script-view pre::-webkit-scrollbar-thumb{background:#7dd3fc29 padding-box padding-box;border:2px solid #0000;border-radius:8px}.proof-stage::-webkit-scrollbar-thumb:hover{background:#7dd3fc57 padding-box padding-box;border:2px solid #0000}.context-panel::-webkit-scrollbar-thumb:hover{background:#7dd3fc57 padding-box padding-box;border:2px solid #0000}.script-view pre::-webkit-scrollbar-thumb:hover{background:#7dd3fc57 padding-box padding-box;border:2px solid #0000}.move-palette::-webkit-scrollbar-thumb{background:#5d6b6661 padding-box padding-box;border:2px solid #0000;border-radius:8px}.equation-card::-webkit-scrollbar-thumb{background:#5d6b6661 padding-box padding-box;border:2px solid #0000;border-radius:8px}.canvas-card-body::-webkit-scrollbar-thumb{background:#5d6b6661 padding-box padding-box;border:2px solid #0000;border-radius:8px}.move-palette::-webkit-scrollbar-thumb:hover{background:#5d6b6699 padding-box padding-box;border:2px solid #0000}.equation-card::-webkit-scrollbar-thumb:hover{background:#5d6b6699 padding-box padding-box;border:2px solid #0000}.canvas-card-body::-webkit-scrollbar-thumb:hover{background:#5d6b6699 padding-box padding-box;border:2px solid #0000}@media (prefers-reduced-motion:reduce){*,:before,:after{transition:none!important;animation:none!important}}@media (max-width:1200px){.kernel-badge{gap:0;font-size:0}}@media (max-width:800px){.topbar{-webkit-backdrop-filter:none;backdrop-filter:none;grid-template-columns:auto 1fr;gap:10px;padding:0 14px}.view-switch{bottom:calc(12px + env(safe-area-inset-bottom));z-index:30;background:var(--board-raised);box-shadow:var(--shadow);order:3;position:fixed;left:50%;transform:translate(-50%)}.view-switch button{padding:10px 18px}.kernel-badge{gap:0;font-size:0}.header-actions{gap:4px}.header-actions>button:not(.history-button){font-size:var(--fs-2xs);border-radius:var(--radius-input);border:1px solid var(--hairline);width:auto;height:auto;color:var(--text);background:#7dd3fc0f;padding:7px 9px;position:relative}.header-actions>button:not(.history-button):disabled{opacity:.35}.header-actions>button:after{content:"";position:absolute;inset:-8px 0}.header-actions>.history-button{width:34px;height:30px;position:relative}.topbar{height:52px;padding:0 12px}.brand small{display:none}.lesson-strip{align-items:baseline;gap:12px;padding:8px 14px;display:flex}.lesson-strip>div:first-child{flex:1;align-items:baseline;gap:8px;min-width:0;display:flex}.lesson-strip .eyebrow{display:none}.lesson-strip h1{font-size:var(--fs-lg);white-space:nowrap;text-overflow:ellipsis;margin:0;overflow:hidden}.lesson-strip p{display:none}.progress{border-left:0;flex:none;padding-left:0}.progress strong{font-size:var(--fs-md)}.body-grid{grid-template-rows:auto minmax(0,1fr);grid-template-columns:1fr}.context-panel{border-right:0;border-bottom:1px solid var(--hairline);overscroll-behavior-x:contain;touch-action:pan-x;max-height:none;padding:10px 14px;overflow:auto hidden}.context-panel h2{margin:0 0 8px}.lesson-list{grid-template-columns:none;grid-auto-columns:max-content;grid-auto-flow:column;gap:8px;margin:0}.lesson-list button{border:1px solid var(--hairline);border-radius:var(--radius-pill);white-space:nowrap;flex-direction:row;align-items:center;gap:8px;padding:7px 11px;overflow:hidden}.lesson-list button>span{flex:0 0 25px}.lesson-list button small{display:none}.lesson-list button strong{white-space:nowrap;text-overflow:ellipsis;max-width:52vw;overflow:hidden}.lesson-source{display:none}.context-panel{scrollbar-width:thin;scrollbar-color:#7dd3fc40 transparent}.proof-stage{padding:16px 14px calc(96px + env(safe-area-inset-bottom));container-type:normal}.obligation-tabs{flex-wrap:wrap;margin-bottom:16px}.obligation-tabs button{padding:9px 15px 9px 10px}.visual-view{text-align:left;--rail:0px;--palette-reserve:0;flex-direction:column;align-items:stretch;min-width:0;min-height:0;padding-bottom:0;display:flex}.visual-view>.case-label{order:-3}.visual-view>.scope-box,.visual-view>.equation-card{order:-2}.visual-view>.gesture-hint{order:-1}.visual-view>.context-canvas-card{order:1}.visual-view>.definition-rail{order:2}.visual-view>.move-palette{order:3}.visual-view>.equation-card,.visual-view>.scope-box{width:100%;max-width:none;margin:0 0 14px}.visual-view>.case-label{text-align:left;margin:0 0 8px}.visual-view>.gesture-hint{margin:0 0 16px}.hint-drag{display:none}.hint-tap{display:inline}.equation-card{gap:12px;min-height:0;padding:24px 16px}.scope-box .equation-card{margin:0}.equation-card{line-height:1.9}.equals{padding:9px 12px}.expression.tappable,.expression.movable{padding:4px 2px}.canvas-card{width:100%;margin:0 0 12px;position:static;top:auto;left:auto;right:auto;transform:none;translate:none!important}.canvas-card-handle{touch-action:auto;cursor:pointer}.definition-rail{gap:12px;width:100%;max-height:none;padding-right:0;position:static;overflow:visible}.definition-canvas-card{width:100%}.canvas-card-body code,.canvas-card-body pre{overflow-x:auto}.move-palette{grid-template-columns:1fr;gap:8px;width:100%;margin:4px 0 0;display:grid;position:static;bottom:auto;left:auto;right:auto;overflow:visible;transform:none}.move-palette .next-lesson{grid-column:1;justify-self:stretch;width:100%}.move-palette .move-chip{text-align:left;grid-template-columns:auto 1fr;align-items:start;column-gap:10px;min-height:44px;padding:11px 14px;display:grid}.move-palette .move-chip>span:first-child{grid-row:1/span 2;align-self:center}.move-palette .move-chip strong{white-space:normal}.move-palette .move-chip .move-tip{width:auto;max-width:none;box-shadow:none;opacity:1;visibility:visible;pointer-events:none;color:var(--ink-muted);font-size:var(--fs-2xs);background:0 0;border:0;grid-column:2;margin:3px 0 0;padding:0;line-height:1.35;position:static;transform:none}.move-palette .move-chip .move-tip:after{display:none}.visual-view>.canvas-card,.visual-view>.definition-rail,.definition-rail>.canvas-card,.visual-view>.case-label,.visual-view>.scope-box,.visual-view>.equation-card,.visual-view>.gesture-hint,.visual-view>.canvas-help,.visual-view>.move-palette{opacity:1;animation:none;translate:none}.error-toast,.checking-toast{left:14px;right:14px;bottom:calc(64px + env(safe-area-inset-bottom))}}