.app-shell.svelte-1uha8ag{background:var(--canvas);flex-direction:column;height:100%;display:flex;overflow:hidden}.spin{animation:1s linear infinite svelte-1uha8ag-spin}@keyframes svelte-1uha8ag-spin{to{transform:rotate(360deg)}}button.svelte-1uha8ag{cursor:pointer;background:0 0;border:0}button.svelte-1uha8ag:disabled{opacity:.45;cursor:not-allowed}.fatal-banner.svelte-1uha8ag{min-height:39px;color:var(--red);background:var(--red-soft);border-bottom:1px solid #efd0cd;justify-content:center;align-items:center;gap:8px;padding:8px 16px;font-size:12px;display:flex}.workspace.svelte-1uha8ag{grid-template-columns:44px 210px minmax(320px, 1fr) 5px var(--inspector-width);flex:1;min-height:0;display:grid}.workspace.files-closed.svelte-1uha8ag{grid-template-columns:44px minmax(320px, 1fr) 5px var(--inspector-width)}.workspace.files-closed.svelte-1uha8ag .explorer:where(.svelte-1uha8ag){display:none}.workspace.lesson-workspace.svelte-1uha8ag{grid-template-rows:minmax(300px,64fr) minmax(210px,36fr);grid-template-columns:44px 210px minmax(340px,43fr) minmax(420px,57fr)}.workspace.lesson-workspace.files-closed.svelte-1uha8ag{grid-template-columns:44px minmax(340px,43fr) minmax(420px,57fr)}.lesson-workspace.svelte-1uha8ag .activitybar:where(.svelte-1uha8ag),.lesson-workspace.svelte-1uha8ag .explorer:where(.svelte-1uha8ag){grid-row:1/3}.lesson-workspace.svelte-1uha8ag .editor-pane.lesson-open:where(.svelte-1uha8ag){display:contents}.lesson-workspace.svelte-1uha8ag .reader-pane:where(.svelte-1uha8ag){grid-area:1/3/3}.lesson-workspace.files-closed.svelte-1uha8ag .reader-pane:where(.svelte-1uha8ag){grid-column:2}.lesson-workspace.svelte-1uha8ag .code-pane:where(.svelte-1uha8ag){border-bottom:1px solid var(--line-strong);grid-area:1/4}.lesson-workspace.files-closed.svelte-1uha8ag .code-pane:where(.svelte-1uha8ag){grid-column:3}.lesson-workspace.svelte-1uha8ag .resize-handle:where(.svelte-1uha8ag){display:none}.lesson-workspace.svelte-1uha8ag .inspector:where(.svelte-1uha8ag){grid-area:2/4}.lesson-workspace.files-closed.svelte-1uha8ag .inspector:where(.svelte-1uha8ag){grid-column:3}.activitybar.svelte-1uha8ag{border-right:1px solid var(--line);background:#dfe3dc;flex-direction:column;align-items:center;padding:8px 0;display:flex}.activity.svelte-1uha8ag{color:#7c847a;place-items:center;width:44px;height:40px;display:grid;position:relative}.activity.svelte-1uha8ag:hover,.activity.active.svelte-1uha8ag{color:var(--green)}.activity.active.svelte-1uha8ag:before{content:"";background:var(--green);width:2px;height:24px;position:absolute;left:0}.explorer.svelte-1uha8ag{border-right:1px solid var(--line);min-width:0;color:var(--muted);background:#ebeee8;flex-direction:column;display:flex;overflow:hidden}.section-label.svelte-1uha8ag{letter-spacing:.09em;align-items:center;height:35px;padding:0 12px;font-size:10px;display:flex}.tree-root.svelte-1uha8ag{color:#4d554b;align-items:center;gap:3px;height:27px;padding:0 7px;font-size:10px;font-weight:700;display:flex}.tree-button.svelte-1uha8ag{text-align:left;flex:none;width:100%}.tree-button.svelte-1uha8ag:hover,.tree-part.svelte-1uha8ag:hover{background:#dfe3dc}.file-row.svelte-1uha8ag{color:#596057;text-align:left;align-items:center;gap:7px;width:100%;height:31px;padding:0 11px 0 22px;font-size:12px;display:flex}.file-row.active.svelte-1uha8ag{color:var(--text);border-left:3px solid var(--green);background:#d7ddd4}.file-row.svelte-1uha8ag svg{color:var(--green)}.plfa-tree.svelte-1uha8ag{border-top:1px solid #d5d9d2;flex:1;min-height:0;padding-bottom:12px;overflow-y:auto}.tree-part.svelte-1uha8ag,.chapter-row.svelte-1uha8ag{text-align:left;color:#596057;align-items:center;width:100%;display:flex}.tree-part.svelte-1uha8ag{letter-spacing:.05em;gap:3px;height:27px;padding:0 9px;font-size:9px;font-weight:700}.chapter-row.svelte-1uha8ag{gap:6px;height:29px;padding:0 8px 0 23px;font-size:11px}.chapter-row.svelte-1uha8ag:hover{background:#e2e6df}.chapter-row.active.svelte-1uha8ag{color:var(--green-dark);background:#d9e4dc}.chapter-row.svelte-1uha8ag svg{color:#6d756b;flex:none}.chapter-row.svelte-1uha8ag span:where(.svelte-1uha8ag){text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.tree-message.svelte-1uha8ag{color:var(--muted);align-items:center;gap:6px;padding:9px 13px 9px 22px;font-size:10px;display:flex}.tree-message.error.svelte-1uha8ag{color:var(--red)}.dirty-dot.svelte-1uha8ag{background:#90ad9d;border-radius:50%;width:6px;height:6px;margin-left:auto}.editor-pane.svelte-1uha8ag{background:#fff;flex-direction:column;min-width:0;min-height:0;display:flex}.editor-pane.lesson-open.svelte-1uha8ag{grid-template-columns:minmax(330px,42%) minmax(360px,1fr);display:grid}.code-pane.svelte-1uha8ag,.reader-pane.svelte-1uha8ag{flex-direction:column;min-width:0;min-height:0;display:flex}.code-pane.svelte-1uha8ag{flex:1}.reader-pane.svelte-1uha8ag{border-right:1px solid var(--line-strong);background:#f8f9f5}.reader-tabs.svelte-1uha8ag{border-bottom:1px solid var(--line);background:#e9ece6;height:37px;min-height:37px;display:flex}.reader-tab.svelte-1uha8ag{border-right:1px solid var(--line);min-width:140px;color:var(--muted);text-align:left;align-items:center;gap:7px;padding:0 12px;font-size:12px;display:flex}.reader-tab.active.svelte-1uha8ag{color:var(--text);background:#fff;position:relative}.reader-tab.active.svelte-1uha8ag:before{content:"";background:var(--green);height:2px;position:absolute;inset:0 0 auto}.reader-tab.svelte-1uha8ag svg{color:var(--green)}.reader-nav.svelte-1uha8ag{border-bottom:1px solid #e1e5de;grid-template-columns:31px minmax(0,1fr) 31px;align-items:center;min-height:39px;display:grid}.reader-nav.svelte-1uha8ag button:where(.svelte-1uha8ag){height:100%;color:var(--muted);place-items:center;display:grid}.reader-nav.svelte-1uha8ag button:where(.svelte-1uha8ag):not(:disabled):hover{color:var(--green-dark);background:var(--green-soft)}.reader-nav.svelte-1uha8ag strong:where(.svelte-1uha8ag){color:#454d43;text-align:center;text-overflow:ellipsis;white-space:nowrap;font-size:10px;font-weight:600;overflow:hidden}.reader-content.svelte-1uha8ag{outline:0;flex:1;min-height:0;scroll-padding-top:18px;overflow:auto}.reader-state.svelte-1uha8ag{min-height:120px;color:var(--muted);justify-content:center;align-items:center;gap:7px;font-size:11px;display:flex}.reader-state.error.svelte-1uha8ag{color:var(--red)}.reader-status.svelte-1uha8ag{border-top:1px solid var(--line);color:#667064;background:#e4e8e1;align-items:center;gap:10px;height:25px;min-height:25px;padding:0 9px;font-size:10px;display:flex}.reader-status.svelte-1uha8ag a:where(.svelte-1uha8ag){color:var(--green-dark);text-decoration:none}.markdown-body.svelte-1uha8ag{color:#252a24;max-width:760px;margin:0 auto;padding:24px 28px 80px;font-family:Georgia,Times New Roman,serif;font-size:14px;line-height:1.58}.markdown-body.svelte-1uha8ag h1,.markdown-body.svelte-1uha8ag h2,.markdown-body.svelte-1uha8ag h3{color:#171a16;margin:1.65em 0 .6em;font-family:Arial,Helvetica,sans-serif;font-weight:600;line-height:1.2}.markdown-body.svelte-1uha8ag h1{border-bottom:1px solid #c9cec5;padding-bottom:7px;font-size:22px}.markdown-body.svelte-1uha8ag h2{font-size:17px}.markdown-body.svelte-1uha8ag h3{font-size:14px}.markdown-body.svelte-1uha8ag p,.markdown-body.svelte-1uha8ag ul,.markdown-body.svelte-1uha8ag ol,.markdown-body.svelte-1uha8ag blockquote{margin:0 0 1em}.markdown-body.svelte-1uha8ag a{color:var(--green-dark);text-underline-offset:2px;text-decoration-thickness:1px}.markdown-body.svelte-1uha8ag code,.markdown-body.svelte-1uha8ag pre{font-family:JuliaMono,SFMono-Regular,Consolas,monospace}.markdown-body.svelte-1uha8ag code{background:#e8ece5;padding:1px 3px;font-size:.88em}.markdown-body.svelte-1uha8ag pre{background:#f0f2ed;border:1px solid #bec5ba;margin:0 0 1.2em;padding:12px 13px;font-size:11px;line-height:1.55;overflow:auto}.markdown-body.svelte-1uha8ag pre code{background:0 0;padding:0}.markdown-body.svelte-1uha8ag pre.agda-source-block{cursor:pointer;border-left:3px solid #7f9488}.markdown-body.svelte-1uha8ag pre.agda-source-block:hover,.markdown-body.svelte-1uha8ag pre.agda-source-block:focus{border-color:var(--green);outline:1px solid var(--green);background:#e6eee8}.markdown-body.svelte-1uha8ag .source-scroll-anchor{pointer-events:none;height:0;display:block}.markdown-body.svelte-1uha8ag blockquote{color:#4f574d;background:#eef1eb;border-left:3px solid #8da297;padding:7px 12px}.markdown-body.svelte-1uha8ag table{border-collapse:collapse;width:100%;margin-bottom:1.2em;font-size:12px}.markdown-body.svelte-1uha8ag th,.markdown-body.svelte-1uha8ag td{text-align:left;border:1px solid #c4c9c0;padding:6px 7px}.markdown-body.svelte-1uha8ag img{max-width:100%}.editor-tabs.svelte-1uha8ag{border-bottom:1px solid var(--line);background:#e9ece6;height:37px;min-height:37px;display:flex}.editor-tab.svelte-1uha8ag{min-width:140px;color:var(--muted);border-right:1px solid var(--line);align-items:center;gap:7px;padding:0 12px;font-size:12px;display:flex}.editor-tab.active.svelte-1uha8ag{color:var(--text);background:#fff;position:relative}.editor-tab.active.svelte-1uha8ag:before{content:"";background:var(--green);height:2px;position:absolute;inset:0 0 auto}.editor-tab.svelte-1uha8ag svg:first-child{color:var(--green)}.tab-close{opacity:.45;margin-left:auto}.command-strip.svelte-1uha8ag{scrollbar-width:none;border-bottom:1px solid #e8ece6;align-items:center;gap:2px;min-height:39px;padding:4px 8px;display:flex;overflow-x:auto}.command-strip.svelte-1uha8ag button:where(.svelte-1uha8ag){color:#535c51;border:1px solid #0000;border-radius:0;flex:none;align-items:center;gap:5px;height:29px;padding:0 8px;font-size:11px;display:inline-flex}.command-strip.svelte-1uha8ag button:where(.svelte-1uha8ag):not(:disabled):hover{background:var(--green-soft);color:var(--green-dark);border-color:#809087}.strip-divider.svelte-1uha8ag{background:var(--line);flex:none;width:1px;height:18px;margin:0 3px}.editor-host.svelte-1uha8ag{flex:1;min-height:0;overflow:hidden}.editor-host.svelte-1uha8ag .cm-editor{height:100%}.minibuffer.svelte-1uha8ag{background:#d9ded6;border-top:1px solid #60685e;grid-template-columns:auto minmax(120px,1fr) auto auto;align-items:stretch;min-height:45px;display:grid}.minibuffer.svelte-1uha8ag label:where(.svelte-1uha8ag){color:#2e342d;white-space:nowrap;border-right:1px solid #899087;align-items:center;gap:7px;min-width:150px;padding:0 10px;display:flex}.minibuffer.svelte-1uha8ag label:where(.svelte-1uha8ag) span:where(.svelte-1uha8ag){color:#f4f7f1;background:var(--green);letter-spacing:.06em;padding:3px 4px;font:700 8px JuliaMono,monospace}.minibuffer.svelte-1uha8ag label:where(.svelte-1uha8ag) strong:where(.svelte-1uha8ag){font-size:10px}.minibuffer.svelte-1uha8ag input:where(.svelte-1uha8ag){color:#1d211c;background:#fafbf7;border:0;border-right:1px solid #899087;border-radius:0;outline:0;min-width:0;padding:0 10px;font-size:12px}.minibuffer.svelte-1uha8ag input:where(.svelte-1uha8ag):focus{border-left:3px solid var(--green)}.minibuffer-run.svelte-1uha8ag,.minibuffer-cancel.svelte-1uha8ag{color:#293029;letter-spacing:.035em;background:#e9ece6;border-right:1px solid #697167;min-width:66px;padding:0 10px;font:700 9px JuliaMono,monospace}.minibuffer-run.svelte-1uha8ag{color:#fff;background:var(--green)}.minibuffer-run.svelte-1uha8ag span:where(.svelte-1uha8ag){margin-left:5px}.minibuffer-run.svelte-1uha8ag:hover{background:var(--green-dark)}.minibuffer-cancel.svelte-1uha8ag:hover{background:#f5f6f2}.statusbar.svelte-1uha8ag{border-top:1px solid var(--line);color:#667064;background:#e4e8e1;align-items:center;gap:14px;height:25px;min-height:25px;padding:0 9px;font-size:10px;display:flex}.statusbar.svelte-1uha8ag span:where(.svelte-1uha8ag){white-space:nowrap;align-items:center;gap:4px;display:inline-flex}.statusbar.svelte-1uha8ag .success:where(.svelte-1uha8ag){color:var(--green)}.status-spacer.svelte-1uha8ag{flex:1}.resize-handle.svelte-1uha8ag{cursor:col-resize;border-inline:1px solid var(--line);z-index:5;background:#dce0d9}.resize-handle.svelte-1uha8ag:hover,.resize-handle.svelte-1uha8ag:focus{background:#9bcab4;outline:0}.inspector.svelte-1uha8ag{background:#f2f4ef;flex-direction:column;min-width:0;min-height:0;display:flex}.inspector-header.svelte-1uha8ag{border-bottom:1px solid var(--line);background:#e4e8e1;justify-content:space-between;align-items:center;gap:10px;height:38px;min-height:38px;padding:0 10px;display:flex}.inspector-title.svelte-1uha8ag{color:var(--green-dark);letter-spacing:.04em;white-space:nowrap;align-items:center;gap:5px;font-size:10px;display:inline-flex}.inspector-state.svelte-1uha8ag{align-items:center;gap:8px;min-width:0;display:flex}.abort-action.svelte-1uha8ag{height:23px;color:var(--red);letter-spacing:.04em;border:1px solid #a34c45;padding:0 7px;font:700 8px JuliaMono,monospace}.abort-action.svelte-1uha8ag:hover{color:#fff;background:var(--red)}.inspector-status.svelte-1uha8ag{min-width:0;color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-size:9px;overflow:hidden}.inspector-content.svelte-1uha8ag{flex:1;min-height:0;padding:14px;overflow:auto}.goal-list.svelte-1uha8ag{flex-direction:column;gap:7px;display:flex}.goal-card.svelte-1uha8ag{border:1px solid var(--line);text-align:left;background:#f9faf6;border-radius:0;align-items:flex-start;gap:10px;width:100%;padding:11px;display:flex}.goal-card.svelte-1uha8ag:hover{border-color:#b6c9bc}.goal-card.active.svelte-1uha8ag{border-color:#78ae95;border-left:3px solid var(--green)}.goal-number.svelte-1uha8ag{background:var(--green-soft);width:24px;height:24px;color:var(--green-dark);border-radius:0;flex:none;place-items:center;font:700 11px JuliaMono,monospace;display:grid}.goal-content.svelte-1uha8ag{flex-direction:column;gap:5px;min-width:0;display:flex}.goal-content.svelte-1uha8ag code:where(.svelte-1uha8ag){overflow-wrap:anywhere;color:#28322b;font:11px/1.5 JuliaMono,monospace}.goal-chevron{color:var(--faint);flex:none;margin-left:auto;transform:rotate(-90deg)}.context-panel.svelte-1uha8ag,.compiler-log.svelte-1uha8ag{border-top:1px solid var(--line);margin-top:14px;padding-top:12px}.context-panel.svelte-1uha8ag h3:where(.svelte-1uha8ag),.compiler-log.svelte-1uha8ag h3:where(.svelte-1uha8ag){color:#515950;text-transform:uppercase;letter-spacing:.07em;margin:0 0 8px;font-size:10px}.context-row.svelte-1uha8ag{color:var(--muted);border-bottom:1px solid #edf0eb;grid-template-columns:auto auto 1fr;gap:6px;padding:7px 4px;font-size:10px;display:grid}.context-row.svelte-1uha8ag code:where(.svelte-1uha8ag){white-space:pre-wrap;overflow-wrap:anywhere;color:#3f4840;font:10px/1.5 JuliaMono,monospace}.context-row.svelte-1uha8ag .context-name:where(.svelte-1uha8ag){color:var(--green-dark);font-weight:700}.result-card.svelte-1uha8ag{border:1px solid var(--line);background:#f9faf6;border-radius:0;padding:14px}.result-kind.svelte-1uha8ag{background:var(--green-soft);color:var(--green-dark);text-transform:uppercase;border-radius:0;padding:3px 6px;font-size:8px;font-weight:700}.result-card.svelte-1uha8ag h2:where(.svelte-1uha8ag){margin:12px 0 8px;font-size:13px}pre.svelte-1uha8ag{white-space:pre-wrap;overflow-wrap:anywhere;margin:0;font:11px/1.65 JuliaMono,monospace}.compiler-log.svelte-1uha8ag pre:where(.svelte-1uha8ag){color:#626a60;max-height:220px;font-size:10px;overflow:auto}.problem-list.svelte-1uha8ag{flex-direction:column;gap:8px;display:flex}.problem-card.svelte-1uha8ag{background:#f9faf6;border:1px solid;border-radius:0;align-items:flex-start;gap:9px;padding:11px;display:flex}.problem-card.error.svelte-1uha8ag{color:var(--red);border-color:#eccbc7}.problem-card.warning.svelte-1uha8ag{color:var(--amber);border-color:#ecd9b7}.problem-card.svelte-1uha8ag svg{flex:none}.problem-card.svelte-1uha8ag strong:where(.svelte-1uha8ag){text-transform:uppercase;margin-bottom:6px;font-size:9px;display:block}.problem-card.svelte-1uha8ag pre:where(.svelte-1uha8ag){color:#4f554e;font-size:10px}.action-error.svelte-1uha8ag{background:var(--red-soft);color:var(--red);border-top:1px solid #efcfcc;align-items:center;gap:7px;padding:9px 10px;font-size:10px;display:flex}.action-error.svelte-1uha8ag span:where(.svelte-1uha8ag){overflow-wrap:anywhere;flex:1}.action-error.svelte-1uha8ag button:where(.svelte-1uha8ag){color:inherit;place-items:center;display:grid}@media (max-width:1080px){.workspace.svelte-1uha8ag{grid-template-columns:42px 180px minmax(300px, 1fr) 5px min(var(--inspector-width), 36vw)}.workspace.files-closed.svelte-1uha8ag{grid-template-columns:42px minmax(300px, 1fr) 5px min(var(--inspector-width), 36vw)}.workspace.lesson-workspace.svelte-1uha8ag{grid-template-columns:42px 180px minmax(300px,43fr) minmax(350px,57fr)}.workspace.lesson-workspace.files-closed.svelte-1uha8ag{grid-template-columns:42px minmax(300px,43fr) minmax(350px,57fr)}}@media (max-width:800px){.workspace.svelte-1uha8ag{flex-direction:column;display:flex;overflow:auto}.explorer.svelte-1uha8ag,.activitybar.svelte-1uha8ag,.resize-handle.svelte-1uha8ag{display:none}.editor-pane.svelte-1uha8ag{min-height:58vh}.workspace.lesson-workspace.svelte-1uha8ag .editor-pane.lesson-open:where(.svelte-1uha8ag){flex-direction:column;min-height:116vh;display:flex;overflow:visible}.workspace.lesson-workspace.svelte-1uha8ag .reader-pane:where(.svelte-1uha8ag){border-right:0;border-bottom:1px solid var(--line-strong);min-height:55vh}.workspace.lesson-workspace.svelte-1uha8ag .code-pane:where(.svelte-1uha8ag){min-height:61vh}.inspector.svelte-1uha8ag{border-top:1px solid var(--line);min-height:42vh}.inspector-content.svelte-1uha8ag{min-height:300px}.statusbar.svelte-1uha8ag span:where(.svelte-1uha8ag):nth-last-child(-n+3){display:none}}@media (max-width:520px){.command-strip.svelte-1uha8ag{padding-left:4px}.minibuffer.svelte-1uha8ag{grid-template-columns:auto minmax(90px,1fr) 49px 42px}.minibuffer.svelte-1uha8ag label:where(.svelte-1uha8ag){min-width:auto;padding:0 7px}.minibuffer.svelte-1uha8ag label:where(.svelte-1uha8ag) strong:where(.svelte-1uha8ag){display:none}.minibuffer-run.svelte-1uha8ag,.minibuffer-cancel.svelte-1uha8ag{min-width:0;padding:0 5px;font-size:8px}}