@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/fef07dbb0973bf53-s.00az9qtie3ho1.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:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/8a480f0b521d4e75-s.3j-a226dh71aj.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/53b9e256198e5412-s.2gwoz23eiro2t.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:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/7178b3e590c64307-s.0i3h3th1vs4m7.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:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/caa3a2e1cccd8315-s.p.0zr6hhvz-h9nw.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:Geist Fallback;src:local(Arial);ascent-override:95.94%;descent-override:28.16%;line-gap-override:0.0%;size-adjust:104.76%}.geist_a71539c9-module__T19VSG__className{font-family:Geist,Geist Fallback;font-style:normal}.geist_a71539c9-module__T19VSG__variable{--font-geist-sans:"Geist", "Geist Fallback"}
@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/5ce348bf30bf5439-s.27spqqad3wyeo.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:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/4fa387ec64143e14-s.3f4zuumv8svu0.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/6306c77e7c8268e4-s.34r5yzckw0h2s.woff2)format("woff2");unicode-range:U+2000-2001,U+2004-2008,U+200A,U+23B8-23BD,U+2500-259F}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/7d817b4c03b0c5f1-s.2jyz_zw3a8jit.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:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/bbc41e54d2fcbd21-s.30bdpjkrtcces.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:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/797e433ab948586e-s.p.1v5bejj26fx9h.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:Geist Mono Fallback;src:local(Arial);ascent-override:74.67%;descent-override:21.92%;line-gap-override:0.0%;size-adjust:134.59%}.geist_mono_8d43a2aa-module__8Li5zG__className{font-family:Geist Mono,Geist Mono Fallback;font-style:normal}.geist_mono_8d43a2aa-module__8Li5zG__variable{--font-geist-mono:"Geist Mono", "Geist Mono Fallback"}
:root{--canvas:#f6f5f3;--surface:#fefdfc;--surface-raised:#fff;--sidebar:#f9f8f6;--rail:#f3f2f0;--text:#36313e;--muted:#85808d;--soft:#a29daa;--border:#e9e6eb;--border-strong:#dcd6e3;--accent:#8b68b8;--accent-dark:#76509f;--accent-soft:#f0eaf7;--accent-faint:#f7f3fa;--green:#568a71;--amber:#b08346;--red:#bd6265;--code-bg:#f5f3f6;--shadow:0 4px 24px #3f285505;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}:root[data-theme=dark]{--canvas:#17161c;--surface:#1b1a20;--surface-raised:#222027;--sidebar:#1b1920;--rail:#17151c;--text:#ded9e6;--muted:#9790a3;--soft:#736c7e;--border:#2c2834;--border-strong:#41394d;--accent:#b496dc;--accent-dark:#c4a4ed;--accent-soft:#31273e;--accent-faint:#241f2d;--green:#95bda3;--amber:#dbb87d;--red:#e69197;--code-bg:#24212c;--shadow:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{min-height:100%;margin:0}body{--font-sans:var(--font-geist-sans), -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono:var(--font-geist-mono), "SFMono-Regular", Consolas, monospace;font-family:var(--font-sans);background:var(--canvas);color:var(--text);-webkit-font-smoothing:antialiased;font-size:13px}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button{cursor:pointer;color:inherit;background:0 0;border:0}button:disabled{cursor:default;opacity:.45}a{color:inherit;text-decoration:none}button,a,input{outline-offset:4px}:focus-visible{outline:2px solid var(--accent)}button{transition:background .15s,color .15s,border-color .15s}button svg,a svg{flex-shrink:0}h1,h2,h3,h4,p{margin:0}code,pre,kbd{font-family:var(--font-geist-mono), "SFMono-Regular", Consolas, monospace}pre{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}kbd{border:1px solid var(--border);color:var(--muted);white-space:nowrap;border-radius:4px;padding:2px 4px;font-size:10px;font-weight:400}code{font-size:.92em}::selection{background:var(--accent-soft)}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-thumb{background:var(--border-strong);border-radius:6px}.app-shell{flex-direction:column;height:100dvh;min-height:600px;display:flex;overflow:hidden}.topbar{border-bottom:1px solid var(--border);background:var(--surface);flex-shrink:0;align-items:center;gap:32px;height:67px;padding:0 26px 0 19px;display:flex}.brand{letter-spacing:-1.3px;align-items:center;gap:10px;padding:0;font-size:25px;font-weight:650;display:flex}.brand-mark{background:var(--accent);color:#fff;border-radius:8px;justify-content:center;align-items:center;width:31px;height:33px;padding-bottom:2px;font-family:Georgia,serif;font-size:27px;font-weight:400;display:inline-flex;box-shadow:inset 0 0 0 1px #fff2}.brand-lab{color:var(--muted);font-weight:350}.beta-label{letter-spacing:.9px;border:1px solid var(--border);color:var(--muted);border-radius:4px;margin:3px 0 0 1px;padding:3px 4px;font-size:8px;font-weight:550}.topnav{align-self:stretch;align-items:center;gap:5px;margin-left:53px;display:flex}.topnav button{color:var(--muted);align-items:center;gap:7px;padding:0 17px;font-weight:500;display:flex;position:relative}.topnav button:hover{color:var(--text);background:var(--accent-faint)}.topnav button.active{color:var(--accent-dark)}.topnav button.active:after{content:"";background:var(--accent);border-radius:2px;height:2px;position:absolute;bottom:-1px;left:16px;right:16px}.topbar-right{align-items:center;gap:15px;margin-left:auto;display:flex}.docs-link{color:var(--muted);align-items:center;gap:7px;font-size:12px;display:flex}.docs-link:hover{color:var(--accent)}.topbar-divider{background:var(--border);width:1px;height:18px;margin:0 1px}.icon-button{width:29px;height:29px;color:var(--muted);border-radius:5px;flex-shrink:0;justify-content:center;align-items:center;padding:0;display:inline-flex}.icon-button:hover{background:var(--accent-soft);color:var(--accent-dark)}.avatar{color:#9474b0;background:var(--accent-faint);border:1px solid #c8b5d9;border-radius:50%;width:29px;height:29px;font-size:11px}.workspace-body{flex:1;min-height:0;display:flex}.activity-rail{background:var(--rail);border-right:1px solid var(--border);flex-direction:column;flex-shrink:0;justify-content:space-between;align-items:center;width:55px;padding:15px 0 11px;display:flex}.activity-rail>div{flex-direction:column;gap:12px;display:flex}.rail-button{width:37px;height:37px;color:var(--soft);border-radius:8px;place-items:center;display:grid}.rail-button:hover{color:var(--accent)}.rail-button.selected{background:var(--accent-soft);color:var(--accent)}.explorer{background:var(--sidebar);border-right:1px solid var(--border);flex-direction:column;width:238px;min-width:238px;display:flex}.explorer-heading{letter-spacing:1.15px;color:var(--muted);justify-content:space-between;align-items:center;padding:16px 13px 9px 20px;font-size:10px;font-weight:600;display:flex}.search-field{border:1px solid var(--border);background:var(--surface);height:33px;color:var(--soft);border-radius:6px;align-items:center;gap:7px;margin:3px 14px 23px;padding:8px 9px;display:flex}.search-field:focus-within{border-color:var(--accent)}.search-field input{width:100%;min-width:0;color:var(--text);background:0 0;border:0;outline:none;font-size:11px}.search-field input::placeholder{color:var(--soft)}.search-field kbd{border:0;padding:0;font-size:9px}.explorer-scroll{flex:1;padding:0 9px;overflow-y:auto}.section-label{color:var(--soft);letter-spacing:1px;align-items:center;gap:8px;padding:0 11px 13px;font-size:9px;font-weight:550;display:flex}.section-label>span{background:var(--border);letter-spacing:0;border-radius:3px;padding:1px 4px;font-size:9px}.group-heading{color:var(--muted);align-items:center;gap:7px;padding:3px 5px 8px;font-size:11px;font-weight:550;display:flex}.group-heading>svg:first-child{color:var(--soft)}.example-item{text-align:left;width:100%;color:var(--muted);border-radius:5px;align-items:center;gap:10px;padding:9px 11px 9px 25px;font-size:11px;line-height:16px;display:flex}.example-item:hover{background:var(--accent-faint);color:var(--text)}.example-item.selected{color:var(--accent-dark);background:var(--accent-soft);font-weight:500}.lean-file-icon{color:var(--accent);flex-shrink:0;font:italic 17px/14px Georgia,serif}.selected-dot{background:var(--accent);border-radius:50%;width:5px;height:5px;margin-left:auto}.explorer-footnote{color:var(--soft);align-items:center;gap:7px;margin:25px 12px;font-size:9px;line-height:1.7;display:flex}.tiny-dot{background:var(--green);border-radius:50%;flex-shrink:0;width:4px;height:4px;display:inline-block}.learn-callout{border:1px solid var(--border);background:var(--surface);text-align:left;box-shadow:var(--shadow);border-radius:7px;align-items:center;gap:8px;margin:14px 12px 17px;padding:12px 9px;display:flex}.callout-icon{width:29px;height:29px;color:var(--accent);background:var(--accent-faint);border-radius:6px;flex-shrink:0;place-items:center;display:grid}.learn-callout strong{margin-bottom:4px;font-size:10px;font-weight:550;display:block}.learn-callout small{color:var(--soft);white-space:nowrap;font-size:8px;display:block}.learn-callout>svg{color:var(--soft);margin-left:auto}.learn-callout:hover{border-color:var(--accent)}.main-area{flex-direction:column;flex:1;min-width:0;display:flex}.workspace-heading{flex-shrink:0;justify-content:space-between;align-items:center;height:87px;padding:0 29px;display:flex}.workspace-title{align-items:center;gap:12px;display:flex}.workspace-heading h1{letter-spacing:-.5px;font-size:20px;font-weight:580}.workspace-heading p{color:var(--muted);margin-top:6px;font-size:11px}.heading-actions{align-items:center;gap:20px;display:flex}.local-save{color:var(--soft);align-items:center;gap:6px;font-size:10px;display:flex}.local-save svg{color:var(--green)}.button{white-space:nowrap;border:1px solid #0000;border-radius:6px;justify-content:center;align-items:center;gap:8px;min-height:33px;padding:8px 12px;font-size:11px;font-weight:500;display:inline-flex}.button-quiet{background:var(--surface);border-color:var(--border-strong)}.button-quiet:hover{border-color:var(--accent);color:var(--accent-dark)}.button-primary{background:var(--accent);color:#fff;border-color:var(--accent);box-shadow:0 2px 4px #7147930e}.button-primary:hover{background:var(--accent-dark);border-color:var(--accent-dark)}:root[data-theme=dark] .button-primary{color:#21152f}.button-primary kbd{color:inherit;opacity:.7;border-color:#ffffff30;margin-left:7px;font-size:9px}.sidebar-toggle,.sidebar-collapsed .explorer{display:none}.sidebar-collapsed .sidebar-toggle{display:inline-flex}.editor-workspace{flex:1;min-height:0;padding:0 22px 23px;display:flex}.editor-column{border:1px solid var(--border-strong);border-right-color:var(--border);background:var(--surface);min-width:0;box-shadow:var(--shadow);border-radius:9px 0 0 9px;flex-direction:column;flex:1;display:flex;overflow:hidden}.file-tabs{background:var(--sidebar);border-bottom:1px solid var(--border);height:42px;min-height:42px;display:flex;overflow-x:auto}.file-tab{border-right:1px solid var(--border);color:var(--soft);flex-shrink:0;align-items:center;padding-right:8px;display:flex;position:relative}.file-tab>button:first-child{align-items:center;gap:9px;height:100%;padding:12px 10px 12px 18px;font-size:11px;display:flex}.file-tab.active{background:var(--surface);color:var(--text)}.file-tab.active:before{content:"";background:var(--accent);height:2px;position:absolute;top:0;left:0;right:0}.tab-close{color:var(--soft);border-radius:3px;place-items:center;padding:5px;display:grid}.tab-close:hover{background:var(--accent-soft)}.new-file{margin:6px 8px}.tab-exercise-dot{background:var(--green);border-radius:50%;width:4px;height:4px}.editor-toolbar{justify-content:space-between;align-items:center;min-height:39px;padding:7px 15px 5px 22px;display:flex}.editor-toolbar>div:last-child{gap:3px;display:flex}.breadcrumbs{color:var(--soft);align-items:center;gap:9px;min-width:0;font-size:10px;display:flex}.breadcrumbs>span:last-child{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.code-area{flex:1;min-height:170px;overflow:hidden}.editor-loading{width:100%;height:100%;min-height:170px;color:var(--soft);background:var(--surface);place-items:center;font-size:12px;display:grid}.run-toolbar{border-top:1px solid var(--border);justify-content:space-between;align-items:center;min-height:59px;padding:10px 16px 10px 21px;display:flex}.run-toolbar-caption{color:var(--muted);align-items:center;gap:6px;font-size:10px;display:flex}.runtime-dot{background:var(--accent);border-radius:50%;flex-shrink:0;width:6px;height:6px}.runtime-dot.ready{background:var(--green)}.dot-separator{color:var(--soft);margin:0 2px}.run-actions{align-items:center;gap:9px;display:flex}.check-button{color:var(--muted)}.check-button:hover{background:var(--accent-faint);color:var(--accent)}.console-resizer{border-top:1px solid var(--border);cursor:ns-resize;z-index:2;touch-action:none;height:4px;min-height:4px;margin-bottom:-3px;position:relative}.console-resizer:hover,.console-resizer:focus-visible{background:var(--accent-soft);border-color:var(--accent)}.console{flex-direction:column;flex-shrink:1;min-height:120px;display:flex}.console-tabs{border-bottom:1px solid var(--border);flex-shrink:0;justify-content:space-between;align-items:stretch;height:43px;padding:0 15px 0 17px;display:flex}.console-tabs>div:first-child{gap:19px;display:flex}.console-tabs>div:first-child>button{color:var(--muted);align-items:center;gap:7px;padding:0 2px;font-size:10px;display:flex;position:relative}.console-tabs>div:first-child>button.active{color:var(--text)}.console-tabs>div:first-child>button.active:after{content:"";background:var(--accent);height:2px;position:absolute;bottom:-1px;left:0;right:0}.problem-count{background:var(--code-bg);color:var(--soft);border:1px solid var(--border);border-radius:4px;padding:0 4px;font-size:9px;line-height:14px}.problem-count.has-problems{color:var(--amber);background:var(--accent-faint)}.console-actions{align-items:center;gap:10px;display:flex}.result-status{align-items:center;gap:5px;font-size:9px;display:flex}.console-content{flex:1;padding:23px;font-size:12px;overflow:auto}.empty-console{align-items:flex-start;gap:14px;padding:9px 0 0;display:flex}.empty-console>svg{color:var(--border-strong);margin-top:1px}.empty-console strong{color:var(--muted);font-size:12px;font-weight:450}.empty-console p{color:var(--soft);margin-top:8px;font-size:10px;line-height:1.8}.empty-console kbd{margin-left:6px;font-size:9px}.first-run-note{color:var(--soft);margin-top:13px;font-size:9px;display:block}.actual-output pre{font-size:12px;line-height:1.9}.execution-footer{color:var(--green);align-items:center;gap:6px;margin-top:18px;font-size:9px;display:flex}.stale-note{color:var(--amber);margin-bottom:12px;font-size:10px}.success-color{color:var(--green)!important}.warning-color{color:var(--amber)!important}.stderr{color:var(--red)}.runtime-loading,.runtime-error{color:var(--accent);align-items:flex-start;gap:13px;margin:4px 0;display:flex}.runtime-error{color:var(--red)}.runtime-loading>div,.runtime-error>div{flex:1}.runtime-loading>svg{flex-shrink:0}.runtime-loading>div{min-width:0}.runtime-loading strong,.runtime-error strong{font-size:12px;font-weight:500}.runtime-loading p,.runtime-error p{color:var(--muted);margin:8px 0;font-size:11px;line-height:1.7}.download-status{width:min(380px,100%);margin-top:16px}.download-status>div{color:var(--muted);font-variant-numeric:tabular-nums;flex-wrap:wrap;justify-content:space-between;gap:8px;font-size:10px;display:flex}.download-status progress{appearance:none;background:var(--accent-soft);width:100%;height:5px;accent-color:var(--accent);border:0;border-radius:3px;margin-top:9px;display:block;overflow:hidden}.download-status progress::-webkit-progress-bar{background:var(--accent-soft)}.download-status progress::-webkit-progress-value{background:var(--accent)}.download-status progress::-moz-progress-bar{background:var(--accent)}.status-download{width:76px;height:4px;accent-color:var(--accent)}.status-stop{font-size:inherit;color:var(--accent);padding:2px 4px}.plain-editor{background:var(--surface);height:100%;position:relative}.plain-editor textarea{resize:none;width:100%;height:100%;color:var(--text);font-family:var(--font-mono);tab-size:2;background:0 0;border:0;outline:none;padding:27px 30px 45px;font-size:14px;line-height:26px;display:block}.plain-editor>span{color:var(--soft);pointer-events:none;font-size:10px;position:absolute;bottom:10px;right:14px}.plain-editor.with-toolbar{flex-direction:column;display:flex}.plain-editor.with-toolbar textarea{flex:1;min-height:0;padding:16px;font-size:16px;line-height:25px}.symbol-toolbar{border-bottom:1px solid var(--border);flex-shrink:0;gap:3px;padding:5px 8px;display:flex;overflow-x:auto}.symbol-toolbar button{min-width:32px;min-height:34px;color:var(--text);border-radius:4px;font-size:17px}.symbol-toolbar button:first-child{font-size:11px}.symbol-toolbar button:active{background:var(--accent-soft)}@media (max-width:700px){.status-download{width:35px}.statusbar>div:last-child{display:none}}.spin{animation:1s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.diagnostics{flex-direction:column;gap:15px;display:flex}.diagnostic{text-align:left;color:var(--red);gap:10px;padding:0;display:flex}.diagnostic.warning{color:var(--amber)}.diagnostic>svg{margin-top:2px}.diagnostic>div{min-width:0}.diagnostic span{font-size:10px}.diagnostic pre{color:var(--text);margin-top:6px;font-size:11px;line-height:1.7}.guide-panel{border:1px solid var(--border-strong);background:var(--surface);border-left:0;border-radius:0 9px 9px 0;flex-direction:column;flex-shrink:0;width:320px;display:flex;overflow:hidden}.guide-tabs{border-bottom:1px solid var(--border);background:var(--sidebar);align-items:stretch;gap:21px;height:42px;min-height:42px;padding:0 19px;display:flex}.guide-tabs>button:not(.icon-button){color:var(--soft);align-items:center;gap:6px;padding:0;font-size:11px;display:flex;position:relative}.guide-tabs>button.active{color:var(--accent-dark)}.guide-tabs>button.active:after{content:"";background:var(--accent);height:2px;position:absolute;bottom:-1px;left:0;right:0}.guide-close{margin:auto -10px auto auto;display:none}.guide-scroll{flex:1;padding:29px 23px 28px;overflow-y:auto}.guide-eyebrow{justify-content:space-between;align-items:center;gap:4px;margin-bottom:15px;display:flex}.eyebrow{letter-spacing:1.2px;color:var(--soft);font-size:8px;font-weight:550}.difficulty{border:1px solid var(--border);color:var(--muted);border-radius:4px;padding:3px 6px;font-size:8px}.guide-scroll h2{letter-spacing:-.85px;margin:12px 0;font-size:24px;font-weight:500;line-height:1.3}.heading-period{color:var(--accent)}.guide-description{color:var(--muted);font-size:11px;line-height:1.85}.guide-section{margin-top:27px}.guide-section h3{align-items:center;gap:7px;margin-bottom:15px;font-size:11px;font-weight:550;display:flex}.guide-section h3 svg{color:var(--soft)}.guide-section h3>span{color:var(--accent);font-size:9px}.guide-section>p{color:var(--muted);margin:9px 0;font-size:11px;line-height:1.85}.concepts{flex-direction:column;gap:17px;display:flex}.concept>code{color:var(--accent-dark);background:var(--accent-faint);border:1px solid var(--accent-soft);border-radius:4px;padding:3px 6px;font-size:10px;display:inline-block}.concept>p{color:var(--muted);margin-top:7px;font-size:10px;line-height:1.9}.expected-section{border-top:1px solid var(--border);padding-top:20px}.expected-section h3{margin-bottom:12px}.expected-section pre{background:var(--code-bg);border:1px solid var(--border);color:var(--muted);border-radius:6px;padding:12px;font-size:10px;line-height:1.9}.expected-label{color:var(--soft);margin-top:7px;font-size:8px;display:block}.challenge-card{background:var(--accent-faint);border:1px solid var(--accent-soft);border-radius:7px;margin-top:22px;padding:15px}.challenge-label{letter-spacing:.85px;color:var(--accent-dark);align-items:center;gap:6px;font-size:8px;font-weight:600;display:flex}.challenge-card p{color:var(--muted);margin-top:9px;font-size:10px;line-height:1.9}.text-button,.text-link{color:var(--accent-dark);align-items:center;gap:7px;padding:0;font-size:10px;line-height:1.6;display:inline-flex}.text-button:hover,.text-link:hover{color:var(--text)}.reference-link{margin-top:24px}.guide-footer{border-top:1px solid var(--border);color:var(--soft);flex-shrink:0;align-items:center;gap:7px;padding:15px 18px;font-size:8px;display:flex}.guide-footer .tiny-dot{background:var(--accent)}.guide-collapsed .guide-panel{display:none}.guide-collapsed .editor-column{border-right-color:var(--border-strong);border-radius:9px}.terminal-snippet,.code-snippet{background:var(--code-bg);border:1px solid var(--border);border-radius:6px;margin:12px 0;padding:13px;font-size:10px;line-height:1.9}.terminal-snippet{gap:10px;display:flex}.terminal-snippet>span{color:var(--accent)}.full-width{width:100%}.note-card{border-left:2px solid var(--accent);gap:10px;margin:24px 0;padding:10px 0 10px 12px;display:flex}.note-card>svg{color:var(--accent);flex-shrink:0}.note-card strong{font-size:10px;font-weight:550}.note-card p{color:var(--muted);margin-top:8px;font-size:10px;line-height:1.8}.statusbar{border-top:1px solid var(--border);background:var(--surface);height:27px;min-height:27px;color:var(--muted);justify-content:space-between;align-items:center;padding:0 19px;font-size:9px;display:flex}.statusbar>div{align-items:center;gap:16px;display:flex}.statusbar>div:first-child{gap:7px}.statusbar .runtime-dot{width:5px;height:5px}.statusbar button{color:var(--muted);padding:2px;display:flex}.status-divider{background:var(--border);width:1px;height:11px}.small-pill{border:1px solid var(--border);color:var(--muted);background:var(--surface);border-radius:6px;align-items:center;gap:7px;padding:8px 11px;font-size:10px;display:flex}.learning-page,.syntax-page{flex:1;padding:20px 38px 50px;overflow-y:auto}.learning-intro{justify-content:space-between;align-items:center;gap:30px;padding:23px 0 30px;display:flex}.learning-intro .eyebrow,.syntax-intro .eyebrow{color:var(--accent);font-size:9px}.learning-intro h2{letter-spacing:-1.7px;margin:19px 0 16px;font-size:clamp(30px,3.1vw,46px);font-weight:480;line-height:1.17}.learning-intro h2 em{color:var(--accent);font-family:Georgia,serif;font-weight:400}.learning-intro>div>p,.syntax-intro>p{color:var(--muted);font-size:12px;line-height:1.9}.learning-intro .button{margin-top:24px;padding:11px 16px}.course-progress{background:var(--surface);border:1px solid var(--border);border-radius:13px;flex-shrink:0;width:205px;padding:23px;position:relative}.progress-lambda{color:var(--accent-soft);font:italic 77px Georgia,serif;position:absolute;top:3px;right:20px}.course-progress>strong{letter-spacing:-1px;font-size:41px;font-weight:450;display:block;position:relative}.course-progress>strong>span{color:var(--soft);font-size:20px}.course-progress>p{margin:4px 0 19px;font-size:10px!important}.course-progress>small{color:var(--soft);font-size:8px}.progress-track{background:var(--accent-soft);border-radius:4px;height:4px;margin-bottom:13px;overflow:hidden}.progress-track>span{background:var(--accent);height:100%;display:block}.course-meta{border-top:1px solid var(--border);border-bottom:1px solid var(--border);align-items:center;gap:27px;margin-bottom:29px;padding:16px 0;display:flex}.course-meta>span{color:var(--muted);align-items:center;gap:8px;font-size:10px;display:flex}.course-meta svg{color:var(--accent)}.lesson-track{margin-bottom:30px}.track-heading{align-items:center;gap:10px;margin-bottom:16px;display:flex}.track-number{font-family:var(--font-geist-mono), monospace;color:var(--accent);background:var(--accent-soft);border-radius:4px;padding:4px 6px;font-size:10px}.track-heading h3{letter-spacing:-.3px;font-size:15px;font-weight:500}.track-heading>span:last-child{color:var(--soft);margin-left:auto;font-size:10px}.lesson-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;display:grid}.lesson-card{text-align:left;border:1px solid var(--border);background:var(--surface);border-radius:9px;flex-direction:column;min-height:184px;padding:18px;display:flex}.lesson-card:hover{border-color:var(--accent);box-shadow:var(--shadow);transform:translateY(-2px)}.lesson-card-top{justify-content:space-between;align-items:center;display:flex}.lesson-card-top>span:last-child{color:var(--soft);font-size:9px}.lesson-card-icon{width:34px;height:34px;color:var(--accent);background:var(--accent-faint);border-radius:7px;place-items:center;display:grid}.lesson-card h4{letter-spacing:-.25px;margin:15px 0 7px;font-size:13px;font-weight:550}.lesson-card>p{color:var(--muted);flex:1;font-size:10px;line-height:1.8}.lesson-card-bottom{border-top:1px solid var(--border);color:var(--accent);justify-content:space-between;align-items:center;margin-top:17px;padding-top:12px;font-size:9px;display:flex}.lesson-card.completed .lesson-card-icon{color:var(--green)}.learning-resources{border-top:1px solid var(--border);flex-direction:column;align-items:flex-start;gap:14px;padding-top:24px;display:flex}.learning-resources h3{font-size:14px;font-weight:500}.learning-resources p{color:var(--muted);margin-top:6px;font-size:11px}.learning-resources a{color:var(--accent-dark);align-items:center;gap:7px;font-size:11px;display:flex}.lesson-small-number{border:1px solid var(--border);border-radius:50%;flex-shrink:0;place-items:center;width:15px;height:15px;font-size:8px;display:grid}.lesson-paragraph{color:var(--muted);margin-top:15px;font-size:11px;line-height:1.95}.lesson-help{flex-direction:column;align-items:flex-start;gap:13px;padding-top:20px;display:flex}.lesson-help p{color:var(--muted);font-size:11px;line-height:1.8}.lesson-help .code-snippet{width:100%;margin:0}.completion-card{border:1px solid var(--border);color:var(--green);border-radius:6px;align-items:center;gap:10px;margin-top:18px;padding:14px;display:flex}.completion-card strong{font-size:11px;font-weight:550}.completion-card p{color:var(--muted);margin-top:5px;font-size:9px}.related-example{background:var(--accent-faint);border:1px solid var(--border);width:100%;color:var(--accent-dark);border-radius:6px;align-items:center;gap:9px;padding:12px;font-size:10px;display:flex}.related-example>svg:last-child{margin-left:auto}.lesson-back{margin-top:24px}.guide-section+.full-width{margin-top:20px}.reference-nav{width:100%;color:var(--muted);text-align:left;border-radius:5px;align-items:center;gap:9px;margin:3px 0;padding:11px 13px;font-size:11px;display:flex}.reference-nav>span{color:var(--soft);margin-left:auto;font-size:9px}.reference-nav.selected{color:var(--accent-dark);background:var(--accent-soft)}.reference-nav:hover{background:var(--accent-faint)}.reference-tip{border:1px solid var(--border);color:var(--soft);border-radius:7px;margin:30px 11px;padding:18px 13px}.reference-tip>svg{color:var(--accent)}.reference-tip h4{color:var(--muted);margin:9px 0;font-size:11px;font-weight:500}.reference-tip p{font-size:10px;line-height:1.9}.reference-tip code{color:var(--accent-dark)}.syntax-intro{padding:20px 0 31px}.syntax-intro h2{letter-spacing:-1.2px;margin:16px 0;font-size:36px;font-weight:480}.syntax-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:17px;display:grid}.syntax-card{border:1px solid var(--border);background:var(--surface);border-radius:9px;flex-direction:column;padding:22px;display:flex}.syntax-card-top{justify-content:space-between;align-items:center;gap:10px;display:flex}.syntax-card-top>code{color:var(--accent-dark);background:var(--accent-faint);border-radius:5px;padding:5px 8px;font-size:12px}.syntax-card-top>span{color:var(--soft);font-size:8px}.syntax-card h3{margin:17px 0 8px;font-size:14px;font-weight:500}.syntax-card p{color:var(--muted);font-size:11px;line-height:1.85}.syntax-card pre{background:var(--code-bg);color:var(--muted);border-radius:5px;flex:1;margin:17px 0;padding:13px;font-size:10px;line-height:1.9}.empty-search{color:var(--muted);padding:15px;font-size:11px;line-height:1.8}.empty-reference{text-align:center;color:var(--muted);padding:45px}.empty-reference>svg{color:var(--accent);margin:auto}.empty-reference h3{margin:12px 0;font-size:16px;font-weight:500}.empty-reference p{margin-bottom:20px}.toast{z-index:20;background:var(--surface-raised);border:1px solid var(--border);border-radius:8px;align-items:center;gap:10px;max-width:calc(100vw - 32px);padding:12px 15px;font-size:11px;display:flex;position:fixed;bottom:48px;left:50%;transform:translate(-50%);box-shadow:0 6px 35px #0002}.toast>svg{color:var(--accent);flex-shrink:0}.toast>button{color:var(--soft);align-items:center;margin-left:8px;display:flex}.modal{border:1px solid var(--border-strong);background:var(--surface);width:min(460px,100vw - 32px);color:var(--text);border-radius:14px;margin:auto;padding:0;box-shadow:0 20px 80px #0003}.modal::backdrop{-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);background:#19102260}.modal-content{padding:31px;position:relative}.modal-close{position:absolute;top:13px;right:13px}.modal-icon{background:var(--accent-soft);color:var(--accent);border-radius:10px;place-items:center;width:45px;height:45px;margin-bottom:20px;display:grid}.modal h2{letter-spacing:-.7px;margin-bottom:10px;font-size:24px;font-weight:500}.modal p{color:var(--muted);font-size:12px;line-height:1.8}.field-label{color:var(--muted);margin:24px 0 8px;font-size:10px;display:block}.share-input{gap:8px;display:flex}.share-input input{border:1px solid var(--border);background:var(--code-bg);min-width:0;color:var(--muted);border-radius:5px;flex:1;padding:8px;font-size:11px}.modal .modal-footnote{color:var(--soft);margin-top:15px;font-size:10px}.modal-buttons{justify-content:flex-end;gap:8px;margin-top:23px;display:flex}.settings-section{border-top:1px solid var(--border);margin-top:21px;padding-top:19px}.settings-section h3{margin-bottom:14px;font-size:12px;font-weight:550}.appearance-options{gap:9px;display:flex}.appearance-options button{border:1px solid var(--border);text-transform:capitalize;border-radius:6px;flex:1;align-items:center;gap:9px;padding:11px;font-size:11px;display:flex}.appearance-options button.selected{background:var(--accent-faint);border-color:var(--accent);color:var(--accent-dark)}.appearance-options button>svg:last-child:not(:first-child){margin-left:auto}.shortcut-row{color:var(--muted);justify-content:space-between;gap:10px;margin:12px 0;font-size:11px;display:flex}.settings-section>.text-link{margin-top:14px}.settings-section>p{font-size:11px}@media (min-width:1550px){.guide-panel{width:355px}.guide-scroll{padding:31px 29px}.guide-description,.lesson-paragraph{font-size:12px}.concept>p{font-size:11px}.explorer{width:251px;min-width:251px}.example-item{font-size:12px}.editor-workspace{padding:0 28px 26px}}@media (max-width:1250px){.explorer{width:210px;min-width:210px}.guide-panel{width:282px}.guide-scroll{padding:24px 19px}.guide-eyebrow{flex-wrap:wrap;gap:8px}.run-toolbar-caption>span:last-child,.run-toolbar-caption .dot-separator{display:none}.topnav{margin-left:9px}.lesson-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.learn-callout{margin:12px 8px;padding:10px 7px}.learn-callout>svg{display:none}.learning-page,.syntax-page{padding:15px 26px 40px}.course-progress{width:170px;padding:20px}.course-progress small{font-size:7px}.guide-tabs{gap:16px;padding:0 17px}}@media (max-width:1080px){.guide-panel{width:255px}.guide-scroll{padding:22px 17px}.explorer{width:193px;min-width:193px}.example-item{padding-left:16px;font-size:10px}.search-field{margin-left:10px;margin-right:10px}.explorer-heading{padding-left:14px;font-size:9px}.editor-workspace{padding:0 14px 16px}.workspace-heading{padding:0 21px}.run-toolbar{padding-left:13px;padding-right:11px}.run-toolbar-caption{display:none}.run-actions{margin-left:auto}.local-save{display:none}.guide-tabs{gap:17px;font-size:10px}.course-progress{display:none}.course-meta{flex-wrap:wrap;gap:18px}.syntax-intro h2{font-size:29px}.syntax-grid{gap:12px}.syntax-card{padding:16px}}@media (max-width:900px){.explorer{width:205px;min-width:205px}.guide-panel{z-index:5;border:1px solid var(--border-strong);border-radius:9px;width:320px;position:absolute;top:153px;bottom:43px;right:16px;box-shadow:-10px 0 40px #0002}.guide-close{display:flex}.guide-tabs{gap:20px}.editor-column{border-right-color:var(--border-strong);border-radius:9px}.topbar{gap:16px}.topnav{margin-left:0}.topnav button{padding:0 10px}.topnav button.active:after{left:10px;right:10px}.docs-link,.topbar-divider{display:none}.topbar-right{gap:7px}.heading-actions{gap:10px}}@media (max-width:700px){.app-shell{min-height:550px}.topbar{gap:9px;height:58px;padding:0 13px}.brand{gap:7px;font-size:21px}.brand-mark{border-radius:7px;width:27px;height:29px;font-size:23px}.beta-label,.avatar{display:none}.topnav{gap:0;margin-left:auto}.topnav button{gap:5px;padding:0 8px;font-size:10px}.topnav button svg{display:none}.topbar-right{margin-left:0}.activity-rail{width:43px;padding-top:13px}.rail-button{width:31px;height:34px}.rail-button svg{width:18px}.explorer{z-index:8;width:225px;position:absolute;top:58px;bottom:27px;left:43px;box-shadow:10px 0 40px #0002}.sidebar-toggle{display:flex}.workspace-heading{height:76px;padding:0 13px}.workspace-heading h1{font-size:17px}.workspace-heading p{font-size:9px}.workspace-title{gap:5px}.editor-workspace{padding:0 10px 13px}.guide-panel{width:min(320px,100vw - 64px);top:134px;bottom:40px;right:10px}.button{min-height:31px;padding:7px 9px;font-size:10px}.heading-actions .button{padding:6px 9px}.heading-actions .button>svg{display:none}.editor-toolbar{padding-left:14px}.run-toolbar{min-height:53px}.console-tabs{padding:0 9px}.console-tabs>div:first-child{gap:13px}.console-tabs>div:first-child>button{font-size:9px}.console-actions{gap:4px}.result-status{font-size:8px}.console-content{padding:18px 15px}.empty-console{gap:10px}.empty-console strong{font-size:11px}.first-run-note{font-size:8px}.statusbar{padding:0 10px;font-size:8px}.statusbar>div{gap:8px}.status-version,.status-divider,.status-encoding,.status-language{display:none}.small-pill{gap:4px;padding:6px;font-size:8px}.small-pill svg{width:11px}.learning-page,.syntax-page{padding:7px 18px 35px}.learning-intro{padding-top:18px}.learning-intro h2{font-size:34px}.learning-intro .eyebrow,.syntax-intro .eyebrow{font-size:7px;line-height:1.8}.learning-intro>div>p,.syntax-intro>p{font-size:11px}.desktop-break{display:none}.course-meta{gap:13px}.course-meta>span{font-size:9px}.track-heading>span:last-child{display:none}.lesson-grid,.syntax-grid{grid-template-columns:1fr}.lesson-card{min-height:175px}.syntax-intro h2{font-size:30px;line-height:1.2}.modal-content{padding:25px}.modal h2{font-size:22px}.appearance-options button{gap:6px;padding:9px}.appearance-options button>svg{width:16px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation-duration:.01ms!important}}.activity-rail{width:74px;padding:15px 6px 11px}.activity-rail>div{gap:9px;width:100%}.rail-button{width:100%;height:57px;color:var(--muted);flex-direction:column;justify-content:center;gap:6px;padding:7px 2px;display:flex}.rail-button svg{width:19px;height:19px}.rail-button span{letter-spacing:-.1px;font-size:9px;font-weight:500}.rail-button:nth-child(3){margin-top:16px}.topbar .docs-link{display:flex}.topbar-right{margin-left:auto}.example-group>summary{cursor:pointer;padding:8px 5px;list-style:none}.example-group>summary::-webkit-details-marker{display:none}.example-group[open]>summary>svg:first-child{transform:rotate(90deg)}.group-heading small{color:var(--soft);margin-left:auto;font-size:9px;font-weight:400}.example-group{margin-bottom:12px}.sidebar-bridge{border:1px solid var(--border);text-align:left;color:var(--accent);border-radius:8px;align-items:center;gap:10px;margin:12px;padding:14px 11px;display:flex}.sidebar-bridge:hover{border-color:var(--accent);background:var(--accent-faint)}.sidebar-bridge>span{flex:1}.sidebar-bridge strong{color:var(--text);font-size:10px;font-weight:550;display:block}.sidebar-bridge small{color:var(--muted);margin-top:5px;font-size:9px;display:block}.my-files-heading{color:var(--muted);align-items:center;gap:8px;padding:0 5px 9px;font-size:11px;display:flex}.my-files-heading small{color:var(--soft)}.my-files-heading .icon-button{margin-left:auto}.personal-file{border-radius:6px;align-items:center;padding:2px 4px 2px 0;display:flex;position:relative}.personal-file:hover,.personal-file:focus-within{background:var(--accent-faint)}.personal-file.selected{background:var(--accent-soft);color:var(--accent-dark)}.personal-file-name{text-align:left;flex:1;align-items:center;gap:9px;min-width:0;padding:10px;font-size:11px;display:flex}.personal-file-name>span:last-child{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.file-menu>summary{cursor:pointer;width:26px;height:27px;color:var(--muted);border-radius:4px;place-items:center;font-weight:700;list-style:none;display:grid}.file-menu>summary::-webkit-details-marker{display:none}.file-menu[open]>summary,.file-menu>summary:hover{background:var(--surface-raised)}.file-menu>div{z-index:10;background:var(--surface-raised);border:1px solid var(--border-strong);border-radius:7px;width:135px;padding:5px;position:absolute;top:34px;right:6px;box-shadow:0 5px 20px #0002}.file-menu button{text-align:left;border-radius:4px;align-items:center;gap:8px;width:100%;padding:9px;font-size:11px;display:flex}.file-menu button:hover{background:var(--accent-soft)}.files-empty{color:var(--muted);margin:20px 10px;font-size:11px;line-height:1.8}.files-empty p+p{margin-top:8px}.files-empty button{margin-top:15px}.files-storage-note{color:var(--soft);margin:24px 10px;font-size:10px;line-height:1.8}.workspace-empty{text-align:center;flex-direction:column;align-items:center;gap:18px;margin:auto;padding:35px 20px;display:flex}.empty-file-icon{background:var(--accent-soft);color:var(--accent);border:1px solid var(--border);border-radius:18px;margin-bottom:5px;padding:22px}.workspace-empty h2{letter-spacing:-.7px;font-size:25px;font-weight:500}.workspace-empty>p{color:var(--muted);margin-bottom:7px;font-size:12px}.copy-to-playground{color:var(--accent-dark);border-radius:5px;align-items:center;gap:6px;padding:7px 9px;font-size:10px;display:inline-flex}.copy-to-playground:hover{background:var(--accent-soft)}.execution-mode select{font:inherit;color:var(--muted);background:var(--surface);border:1px solid var(--border);border-radius:5px;max-width:115px;padding:7px;font-size:10px}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}button[hidden]{display:none}.modal{max-height:calc(100dvh - 40px);overflow-y:auto}.file-name-input{border:1px solid var(--border-strong);width:100%;color:var(--text);background:var(--canvas);font-family:var(--font-mono);border-radius:6px;padding:11px 12px;font-size:12px}.modal .field-error{color:var(--red);margin-top:8px;font-size:11px}.file-templates{grid-template-columns:1fr 1fr;gap:10px;margin-top:20px;display:grid}.file-templates button{text-align:left;border:1px solid var(--border);border-radius:8px;flex-direction:column;align-items:flex-start;gap:9px;padding:15px;display:flex}.file-templates button.selected{border-color:var(--accent);background:var(--accent-faint);color:var(--accent)}.file-templates strong{font-size:11px;font-weight:500}.file-templates small{color:var(--muted);font-size:10px;line-height:1.5}.button-danger{color:var(--red);border-color:var(--red)}.completed-lessons{flex-direction:column;gap:10px;margin:14px 0;display:flex}.completed-lessons>div,.completed-lessons span{align-items:center;gap:8px;font-size:11px;display:flex}.completed-lessons>div{justify-content:space-between}.completed-lessons svg{color:var(--green)}.reset-progress{margin-top:12px}.history-card{border:1px solid var(--border);background:var(--accent-faint);border-radius:8px;margin-top:20px;padding:14px}.history-card .eyebrow{font-size:8px}.history-card h3{margin:10px 0 7px;font-size:12px;font-weight:500;line-height:1.6}.history-card p{color:var(--muted);font-size:11px;line-height:1.8}.history-card p+p{margin-top:8px}.history-card .text-link{margin-top:12px;font-size:10px}.proof-scope{color:var(--accent-dark);background:var(--accent-soft);border-radius:4px;margin-top:10px;padding:4px 7px;font-size:9px;display:inline-block}@media (max-width:1080px){.copy-to-playground{padding:5px}.copy-to-playground span{max-width:65px;line-height:1.4}.sidebar-bridge{gap:7px;margin:9px;padding:12px 9px}.sidebar-bridge>svg:last-child{display:none}}@media (max-width:700px){.activity-rail{width:67px;padding:12px 4px 9px}.rail-button{width:100%;height:57px}.rail-button span{font-size:8px}.explorer{left:67px}.guide-panel{width:min(320px,100vw - 86px)}.workspace-empty h2{font-size:21px}.run-actions{gap:5px}.run-actions .button kbd{display:none}.execution-mode select{max-width:95px}}.topbar{height:46px;padding:0 20px}.brand{gap:8px;font-size:21px}.brand-mark{border-radius:6px;width:25px;height:27px;font-size:23px}.docs-link{font-size:11px}.donation-address{width:100%;font-family:var(--font-mono);color:var(--text);background:var(--canvas);border:1px solid var(--border);border-radius:6px;margin:12px 0;padding:12px;font-size:10px;display:block}@media (max-width:900px){.guide-panel{top:133px}}@media (max-width:700px){.topbar{height:46px;padding:0 13px}.explorer{top:46px}.guide-panel{top:122px}}.workspace-heading{height:66px}.learning-intro h2{font-size:28px;line-height:1.3}.learning-intro{padding-top:12px}.syntax-page{padding-top:0}@media (max-width:900px){.guide-panel{top:112px}}@media (max-width:700px){.workspace-heading{height:60px}.guide-panel{top:106px}}@media (max-width:900px){.app-shell[data-hydrated=false] .guide-panel{display:none}.app-shell[data-hydrated=false] .code-area{opacity:1}}@media (max-width:700px){.app-shell[data-hydrated=false] .explorer{display:none}.code-area{min-height:140px}}
.app-shell{min-height:420px}.navigation-pane{flex-shrink:0;min-height:0;display:flex}.app-shell .activity-rail{border-right:1px solid var(--border);width:60px;padding:10px 4px}.app-shell .rail-button{gap:5px;height:53px}.app-shell .rail-button span{font-size:8px}.app-shell .rail-button:nth-child(3){margin-top:5px}.app-shell .explorer{width:var(--sidebar-width);min-width:var(--sidebar-width);min-height:0;box-shadow:none;border-right:0;position:static;overflow:hidden}.explorer-scroll{overscroll-behavior-y:contain;touch-action:pan-y;-webkit-overflow-scrolling:touch;min-height:0;overflow-x:hidden}.explorer-heading,.search-field,.safari-filter,.sidebar-bridge{flex-shrink:0}.explorer-heading{letter-spacing:.8px;height:42px;padding:8px 12px}.search-field{margin:4px 10px 16px}.safari-filter{color:var(--muted);margin:0 12px 14px;font-size:11px;line-height:1.5}.safari-filter p{margin:0 0 7px}.safari-filter label{cursor:pointer;align-items:center;gap:7px;min-height:30px;display:flex}.safari-filter input{accent-color:var(--accent);flex-shrink:0}.learning-page>.safari-filter{margin:12px 0}.compiler-info{background:var(--accent-faint);border-bottom:1px solid var(--border);flex-shrink:0;align-items:flex-start;gap:12px;padding:10px 14px;font-size:12px;display:flex}.compiler-info>div{flex:1;min-width:0}.compiler-info strong{font-weight:500}.compiler-info p{color:var(--muted);margin:4px 0 0;line-height:1.6}.compiler-info .icon-button{flex-shrink:0}.compiler-transfer-summary{color:var(--muted);margin:12px 0 0;font-size:11px;line-height:1.5}.safari-badge{color:var(--amber);flex-shrink:0;display:inline-flex}.example-item .safari-badge{margin-left:auto}.safari-notice{background:var(--sidebar);border-bottom:1px solid var(--border);flex-shrink:0;align-items:flex-start;gap:8px;padding:8px 12px;font-size:11px;display:flex}.safari-notice>svg{color:var(--amber);flex-shrink:0;margin-top:2px}.safari-notice details{flex:1;min-width:0}.safari-notice summary{cursor:pointer;line-height:1.7}.safari-notice p{color:var(--muted);margin:6px 0 0;line-height:1.6}.safari-notice>button{white-space:nowrap;flex-shrink:0;font-size:11px}.safari-guide-note{color:var(--muted);border-left:2px solid var(--amber);line-height:1.7;font-size:var(--reading-size);padding-left:10px}.lesson-safari-note{color:var(--muted);align-items:center;gap:6px;margin-top:8px;font-size:11px;display:flex}.app-shell .example-item{padding:7px 8px 7px 20px;font-size:11px}.example-group{margin-bottom:9px}.sidebar-bridge{margin:10px;padding:10px}.main-area{min-height:0}.app-shell .editor-heading{display:none}.app-shell .editor-workspace{padding:0}.app-shell .editor-column{box-shadow:none;border:0;border-radius:0}.app-shell .code-area{opacity:1;min-height:80px}.app-shell .guide-panel{width:var(--guide-width);max-width:38vw;box-shadow:none;border:0;border-radius:0;position:static}.app-shell .guide-tabs{gap:16px;height:38px;min-height:38px;padding:0 12px}.app-shell .guide-close{margin:auto 0 auto auto;display:flex}.app-shell .guide-scroll{padding:20px}.guide-section{margin-top:22px}.guide-description,.lesson-paragraph{font-size:12px}.guide-collapsed .guide-panel,.console-collapsed .console,.console-collapsed .console-divider{display:none}.panel-resizer{touch-action:none;background:var(--border);flex-shrink:0;position:relative}.panel-resizer.vertical{cursor:col-resize;width:4px}.panel-resizer.horizontal{cursor:row-resize;width:100%;height:4px}.panel-resizer:hover,.panel-resizer:focus-visible{background:var(--accent);outline:none}.console-divider{flex-shrink:0}.app-shell .console{min-height:100px}.app-shell .console-tabs{height:35px;padding:0 12px}.console-content{padding:16px 20px}.console-actions{gap:8px}.empty-console{padding-top:8px}.monaco-editor .line-numbers{font-size:11px}.navigation-toggle,.file-picker,.mobile-panels,.drawer-backdrop{display:none}.statusbar{height:24px;min-height:24px}.status-save{color:var(--soft)}.ide-toolbar{background:var(--sidebar);border-bottom:1px solid var(--border);z-index:6;align-items:center;gap:0;height:38px;min-height:38px;display:flex}.run-control{flex-shrink:0;align-items:stretch;padding:4px 6px;display:flex}.run-control>.button{border-radius:4px 0 0 4px;gap:6px;height:28px;min-height:28px;padding:3px 10px;font-size:11px}.run-control>.action-menu>summary{background:var(--accent);color:#251b35;border-left:1px solid #0002;border-radius:0 4px 4px 0;width:24px;height:28px;min-height:28px}.ide-toolbar .file-tabs{scrollbar-width:thin;border:0;flex:1;min-width:0;height:38px;min-height:38px}.ide-toolbar .file-tab{padding-right:3px}.ide-toolbar .file-tab>button:first-child{gap:7px;padding:0 10px;font-size:11px}.ide-toolbar .file-tab.active{background:var(--surface)}.ide-toolbar .file-tab.active:before{height:2px;top:auto;bottom:0}.ide-toolbar .lean-file-icon{font-size:17px}.ide-toolbar .new-file{margin:auto 4px}.panel-actions{border-left:1px solid var(--border);align-items:stretch;height:100%;padding-left:5px;display:flex}.panel-actions>button{color:var(--muted);white-space:nowrap;justify-content:center;align-items:center;gap:5px;padding:0 8px;font-size:10px;display:flex}.panel-actions>button:hover,.panel-actions>button[aria-pressed=true]{background:var(--accent-faint);color:var(--accent)}.action-menu{flex-shrink:0;position:relative}.action-menu>summary{cursor:pointer;min-width:30px;min-height:34px;color:var(--muted);justify-content:center;align-items:center;gap:6px;list-style:none;display:flex}.action-menu>summary::-webkit-details-marker{display:none}.action-menu[open]>summary,.action-menu>summary:hover{background:var(--accent-faint);color:var(--accent)}.action-menu-content{z-index:30;background:var(--surface-raised);border:1px solid var(--border-strong);border-radius:6px;min-width:200px;max-width:min(300px,100vw - 16px);max-height:min(420px,100dvh - 140px);padding:5px;position:absolute;top:calc(100% + 3px);right:0;overflow-y:auto;box-shadow:0 8px 24px #0003}.run-control .action-menu-content{left:-65px;right:auto}.action-menu-content>button{text-align:left;width:100%;min-height:34px;color:var(--text);border-radius:4px;align-items:center;gap:10px;padding:8px 10px;font-size:12px;display:flex}.action-menu-content>button:hover,.action-menu-content>button:focus-visible,.action-menu-content>button[aria-current=true]{background:var(--accent-soft)}.action-menu-content>button>svg:last-child:not(:first-child){margin-left:auto}.menu-field{color:var(--muted);border-top:1px solid var(--border);flex-direction:column;gap:8px;padding:10px;font-size:11px;display:flex}.menu-field select{color:var(--text);background:var(--canvas);border:1px solid var(--border);font:inherit;border-radius:4px;padding:8px}.editor-font-setting{flex-wrap:wrap;align-items:center;gap:12px;margin-bottom:18px;font-size:12px;display:flex}.editor-font-setting span{color:var(--muted);margin-left:auto}.editor-font-setting input{width:100%;accent-color:var(--accent)}.lean-keyword,.lean-operator{color:var(--accent-dark)}.lean-tactic{color:#b87730}.lean-type{color:#167c94}.lean-string{color:#398668}.lean-number{color:#c1723a}.lean-comment{color:#888391}[data-theme=dark] .lean-tactic{color:#e5b97b}[data-theme=dark] .lean-type{color:#86c8d2}[data-theme=dark] .lean-string{color:#9bc8a6}[data-theme=dark] .lean-number{color:#dea97f}[data-theme=dark] .lean-comment{color:#928b9c}.mobile-editor{flex-direction:column;width:100%;height:100%;min-height:0;display:flex}.mobile-editor-host{flex:1;min-height:0;overflow:hidden}.mobile-editor-tools{border-top:1px solid var(--border);flex-shrink:0;gap:2px;padding:0 8px;display:flex}.mobile-editor-tools button{min-width:44px;height:40px;color:var(--muted);justify-content:center;align-items:center;gap:6px;font-size:12px;display:flex}.mobile-editor-tools button:first-child{margin-right:auto;font-size:18px}.mobile-editor-tools button span{font-size:11px}.mobile-editor-tools button.active,.mobile-editor-tools button:hover{color:var(--accent)}.mobile-editor .symbol-toolbar{padding:0 6px}.mobile-editor .symbol-toolbar button{min-width:40px;height:40px;font-size:18px}@media (max-width:900px),(pointer:coarse){:is(html:has(.app-shell),body:has(.app-shell)){overflow:hidden}.app-shell{width:100%;top:var(--viewport-top,0px);height:var(--viewport-height,100dvh);min-height:0;position:fixed}.app-shell .topbar{gap:7px;height:46px;padding:0 12px 0 6px}.topbar .brand{font-size:20px}.topbar .brand-mark{width:23px;height:25px;font-size:21px}.navigation-toggle{width:38px;height:44px;display:flex}.navigation-pane{display:none}.drawer-open .navigation-pane{z-index:51;background:var(--sidebar);border-right:1px solid var(--border-strong);flex-direction:column;width:min(340px,92vw);display:flex;position:absolute;top:46px;bottom:0;left:0;box-shadow:8px 0 30px #0003}.drawer-backdrop{z-index:50;background:#0006;display:block;position:absolute;inset:46px 0 0 min(340px,92vw)}.app-shell .activity-rail{border:0;border-bottom:1px solid var(--border);flex-direction:column;flex-shrink:0;align-items:stretch;gap:0;width:100%;padding:6px 8px;display:flex}.app-shell .activity-rail>div{flex-direction:column;width:100%;display:flex}.app-shell .rail-button{flex-direction:row;justify-content:flex-start;gap:8px;height:44px;margin:0;padding:10px}.app-shell .rail-button span{font-size:11px}.app-shell .rail-button svg{width:17px;height:17px}.app-shell .rail-button:nth-child(3){margin-top:0}.app-shell .explorer,.app-shell.sidebar-collapsed .explorer{border:0;flex:1;width:100%;min-width:0;display:flex;position:static}.app-shell .explorer-heading{height:42px;min-height:42px;padding:4px 12px}.app-shell .explorer-heading button{width:40px;height:40px}.search-field{height:40px;margin-bottom:10px}.search-field input{font-size:16px}.search-field kbd{display:none}.app-shell .example-item,.personal-file-name,.reference-nav{min-height:44px;font-size:13px}.group-heading{min-height:38px;font-size:12px}.sidebar-bridge,.explorer .safari-filter p,.app-shell .panel-resizer{display:none}.app-shell .workspace-heading{height:50px;padding:0 18px}.workspace-heading .sidebar-toggle{display:none}.workspace-heading h1{font-size:20px}.app-shell .editor-heading{display:none}.app-shell .editor-workspace{flex:1;min-height:0;padding:0;display:block;position:relative}.app-shell .editor-column{border:0;border-radius:0;width:100%;height:100%}.ide-toolbar{z-index:7;height:46px;min-height:46px;padding:0 6px}.ide-toolbar .file-tabs,.panel-actions{display:none}.ide-toolbar .file-picker{flex:1;order:0;min-width:0;display:block}.file-picker>summary{justify-content:flex-start;height:44px;padding:0 6px;font-size:13px}.file-picker>summary>span:nth-child(2){white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.file-picker>summary>svg{flex-shrink:0}.file-picker .action-menu-content{left:0;right:auto}.ide-toolbar .run-control{order:1;padding:4px 3px}.run-control>.button{height:36px;min-height:36px;padding:0 10px;font-size:12px}.run-control>.action-menu>summary{width:30px;height:36px;min-height:36px}.run-control .action-menu-content{left:auto;right:0}.file-actions{order:2}.file-actions>summary{width:36px;height:44px}.action-menu-content>button{min-height:44px;font-size:13px}.menu-field select{font-size:16px}.app-shell .code-area{opacity:1;flex:1;min-height:0}.safari-notice{align-items:center;padding:6px 10px;font-size:12px}.safari-notice>button{min-height:44px}.safari-notice details[open]{max-height:120px;overflow-y:auto}.safari-filter label{min-height:44px}.app-shell[data-panel=guide] .safari-notice,.app-shell[data-keyboard=true] .safari-notice,.app-shell[data-panel=guide] .compiler-info,.app-shell[data-keyboard=true] .compiler-info{display:none}.app-shell .plain-editor textarea{padding:12px;font-size:16px;line-height:25px}.app-shell .console-divider,.app-shell .console{display:none}.app-shell .guide-panel{z-index:4;border:0;border-radius:0;width:100%;max-width:none;display:none;position:absolute;top:46px;bottom:0;right:0}.app-shell[data-panel=guide] .code-area{display:none}.app-shell[data-panel=output] .console{border-top:1px solid var(--border);flex:0 220px;min-height:96px;max-height:45%;display:flex;height:38%!important}.app-shell[data-panel=guide] .guide-panel{display:flex}.app-shell .guide-tabs{gap:22px;height:44px;min-height:44px;padding:0 16px}.app-shell .guide-tabs>button:not(.icon-button){font-size:13px}.app-shell .guide-close{width:40px;height:40px}.app-shell .guide-scroll{padding:18px 20px 28px}.guide-description,.concept>p,.lesson-paragraph,.guide-section>p{font-size:13px}.app-shell .console-tabs{height:44px;padding:0 12px}.app-shell .console-tabs>div:first-child{gap:20px}.app-shell .console-tabs>div:first-child>button{font-size:12px}.console-actions>.icon-button{width:36px;height:40px}.console-actions .result-status{font-size:10px}.close-output{display:flex}.console-content{padding:10px 12px;font-size:13px}.runtime-loading p{margin:6px 0;line-height:1.4}.first-run-note{font-size:11px;line-height:1.7}.mobile-panels{border-top:1px solid var(--border);background:var(--sidebar);height:48px;min-height:48px;padding-bottom:env(safe-area-inset-bottom,0px);display:flex}.mobile-panels>button{min-height:44px;color:var(--muted);border-top:2px solid #0000;flex:1;justify-content:center;align-items:center;gap:8px;font-size:12px;display:flex}.mobile-panels>button[aria-pressed=true]{border-top-color:var(--accent);color:var(--accent);background:var(--accent-faint)}.mobile-panels small{color:var(--red);font-size:10px}.app-shell .statusbar{height:23px;min-height:23px;padding:0 10px;font-size:9px}.statusbar>div{gap:6px;min-width:0}.statusbar>div:first-child>span:nth-child(2){white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.statusbar>div:last-child{display:none}.app-shell .status-download{width:35px}.status-stop{flex-shrink:0}.app-shell[data-keyboard=true] .topbar,.app-shell[data-keyboard=true] .mobile-panels,.app-shell[data-keyboard=true] .statusbar{display:none}.learning-page,.syntax-page{padding:8px 18px 30px}.learning-intro h2{font-size:30px}.lesson-grid,.syntax-grid{grid-template-columns:1fr}.course-progress{display:none}.modal-content{padding:24px}.modal input:not([type=range]),.modal select{font-size:16px}.modal-buttons{flex-wrap:wrap}.toast{bottom:76px}}@media (max-height:500px) and (max-width:900px),(max-height:500px) and (pointer:coarse){.drawer-open .navigation-pane{overscroll-behavior-y:contain;overflow-y:auto}.app-shell .explorer,.app-shell.sidebar-collapsed .explorer{flex-shrink:0;min-height:260px}}.guide-scroll{--guide-text-size:var(--reading-size,13px);font-size:var(--guide-text-size)}.guide-scroll :is(p,h3,.text-button,.text-link,.related-example,.terminal-snippet){font-size:1em}.guide-scroll :is(pre,.concept>code){font-size:.92em}.guide-scroll h2{font-size:1.7em}.guide-scroll :is(.eyebrow,.difficulty,.challenge-label,.expected-label){font-size:.75em}.guide-scroll .code-snippet{overflow-x:auto}@media (max-width:900px),(pointer:coarse){.guide-scroll{--guide-text-size:max(13px, var(--reading-size,13px))}}.reference-resource{margin-top:12px;display:flex}.guide-scroll .related-example{white-space:normal;text-align:left;margin-bottom:8px}
.content-page{width:min(920px,100%);margin:0 auto;padding:24px;font-size:16px;line-height:1.8}.content-page>header{border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;gap:24px;padding-bottom:20px;display:flex}.content-page nav,.content-page footer{flex-wrap:wrap;gap:20px;font-size:13px;display:flex}.content-page article{padding:32px 0}.content-page h1{margin:12px 0 24px;font-size:clamp(26px,5vw,38px);line-height:1.25}.content-page h2{margin:32px 0 14px;font-size:23px}.content-page h3{margin-top:24px;font-size:17px}.content-page p{color:var(--muted);margin:12px 0}.content-page a:not(.brand):not(.button){color:var(--accent-dark);text-underline-offset:3px;text-decoration:underline}.content-page .button{margin:10px 0;font-size:14px}.content-page pre{background:var(--code-bg);border:1px solid var(--border);white-space:pre;border-radius:6px;margin:20px 0;padding:20px;font-size:13px;line-height:1.7;overflow-x:auto}.content-page pre code{font-size:inherit}.content-page ul{padding-left:24px}.content-page li{margin:12px 0}.content-page li p{margin:2px 0 14px;font-size:14px}.content-page summary{cursor:pointer;color:var(--accent-dark)}.content-page details{margin:20px 0}.content-page footer{border-top:1px solid var(--border);padding:24px 0}.content-category{font-size:13px}@media (max-width:600px){.content-page{padding:18px}.content-page>header{flex-wrap:wrap}}
.proof-comparison{border-bottom:1px solid var(--border);font-size:var(--reading-size,13px);background:var(--surface);padding:16px 20px}.main-area>.proof-comparison{flex:0 auto;min-height:180px;max-height:48%;overflow-y:auto}.proof-comparison-heading{justify-content:space-between;align-items:center;gap:16px;margin-bottom:12px;display:flex}.proof-comparison-heading h2{margin:0;font-size:1.2em;font-weight:550}.proof-comparison-heading p{color:var(--muted);margin:4px 0 0;font-size:.9em}.proof-comparison-heading label{white-space:nowrap;align-items:center;gap:8px;font-size:.9em;display:flex}.proof-comparison select{font:inherit;color:var(--text);background:var(--code-bg);border:1px solid var(--border-strong);border-radius:5px;padding:6px 8px}.proof-cards{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;display:grid}.proof-card,.content-page .proof-card{border:1px solid var(--border);background:var(--code-bg);border-radius:6px;min-width:0;padding:12px}.proof-card-heading{justify-content:space-between;align-items:center;gap:8px;display:flex}.proof-card h3,.content-page .proof-card h3{margin:0;font-size:1em;font-weight:550}.proof-time{color:var(--accent-dark);white-space:nowrap;font-variant-numeric:tabular-nums;font-size:1em}.proof-card .proof-code,.content-page .proof-code{white-space:pre-wrap;overflow-wrap:anywhere;border:0;margin:12px 0;padding:0;font-size:.92em;line-height:1.7}.proof-card p,.content-page .proof-card p{color:var(--muted);margin:6px 0;font-size:.9em;line-height:1.6}.proof-card .text-button,.proof-card>a{font-size:.85em}.comparison-actions{flex-wrap:wrap;align-items:center;gap:12px;margin-top:12px;display:flex}.comparison-actions>span{color:var(--muted);align-items:center;gap:6px;font-size:.85em;display:inline-flex}.comparison-results{margin-top:10px;font-size:.9em;line-height:1.7}.comparison-results summary{cursor:pointer;color:var(--accent-dark)}.comparison-samples{flex-wrap:wrap;gap:20px;padding:6px 0;display:flex}.comparison-results p{margin:4px 0}.comparison-message,.comparison-notice{color:var(--muted);margin-top:12px;line-height:1.7}.comparison-notice{border-left:2px solid var(--amber);padding-left:10px}.comparison-notice .text-button{font-size:inherit;display:inline}.comparison-footnote{color:var(--soft);margin:10px 0 0;font-size:.8em;line-height:1.6}.proof-comparison .runtime-loading{padding:10px 0}.content-page .proof-cards{margin:20px 0;font-size:14px}@media (max-width:900px),(pointer:coarse){.proof-cards{grid-template-columns:1fr}.guide-scroll .proof-comparison{border-bottom:1px solid var(--border);font-size:inherit;margin-top:20px;padding:0 0 18px}.proof-comparison-heading{flex-direction:column;align-items:flex-start;gap:12px}.proof-comparison select{min-height:40px;font-size:16px}.proof-card .text-button,.comparison-actions .button{min-height:40px}.proof-comparison .comparison-footnote{font-size:.85em}}