*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji",Segoe UI Symbol,"Noto Color Emoji";font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.ring{--tw-ring-offset-shadow: var(--tw-ring-inset) 0 0 0 var(--tw-ring-offset-width) var(--tw-ring-offset-color);--tw-ring-shadow: var(--tw-ring-inset) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color);box-shadow:var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow, 0 0 #0000)}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}:root{color-scheme:light;--ink: #172033;--muted: #607089;--line: #d8dfeb;--surface: #ffffff;--surface-2: #f6f8fb;--accent: #0f766e;--accent-2: #7c3aed;--danger: #b42318;--success: #157f3b;--warning: #a15c07;--shadow: 0 18px 45px rgba(28, 39, 61, .12)}*{box-sizing:border-box}html{min-width:320px;background:#eaf0f7}body{margin:0;min-height:100vh;color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;letter-spacing:0;background:linear-gradient(120deg,rgba(15,118,110,.12),transparent 34%),linear-gradient(300deg,rgba(124,58,237,.12),transparent 38%),#eef3f9}button,textarea,input{font:inherit}button{cursor:pointer}button:disabled{cursor:wait;opacity:.68}a{color:inherit}.app-shell{min-height:100vh}.topbar{position:sticky;top:0;z-index:20;display:flex;align-items:center;justify-content:space-between;gap:16px;padding:14px 22px;border-bottom:1px solid rgba(216,223,235,.9);background:#ffffffeb;-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px)}.brand{display:inline-flex;align-items:center;gap:12px;min-width:230px;text-decoration:none}.brand img{width:42px;height:42px}.brand span{display:grid;gap:2px}.brand strong{font-size:16px;line-height:1.15}.brand small,.version-pill,.exercise-button small,.runtime-panel small{color:var(--muted);font-size:12px}.top-links{display:flex;align-items:center;justify-content:flex-end;gap:9px;flex-wrap:wrap}.top-links a,.version-pill{min-height:34px;display:inline-flex;align-items:center;gap:7px;border:1px solid var(--line);border-radius:999px;background:var(--surface);padding:7px 11px;text-decoration:none;color:#263349;font-weight:700;font-size:13px}.top-links svg{width:15px;height:15px}.workspace{display:grid;grid-template-columns:minmax(230px,285px) minmax(430px,1fr) minmax(300px,385px);gap:16px;padding:16px}.sidebar,.editor-zone,.assistant-zone{min-width:0}.sidebar,.editor-zone,.assistant-panel,.runtime-panel,.result-panel{border:1px solid var(--line);border-radius:8px;background:#fffffff0;box-shadow:var(--shadow)}.sidebar{padding:14px;height:calc(100vh - 88px);position:sticky;top:72px;overflow:auto}.section-title,.panel-heading,.proof-header,.result-heading,.export-actions,.tutor-actions{display:flex;align-items:center;justify-content:space-between;gap:12px}.section-title{margin-bottom:12px}.exercise-list{display:grid;gap:8px}.exercise-button{width:100%;display:grid;grid-template-columns:30px 1fr;gap:10px;align-items:start;padding:10px;border:1px solid var(--line);border-radius:8px;background:var(--surface);text-align:left}.exercise-button[data-selected=true]{border-color:var(--accent);background:#eefaf8}.exercise-button strong,.lemma-row strong{display:block;line-height:1.25}.exercise-button small{display:block;margin-top:4px;overflow-wrap:anywhere}.exercise-status svg{width:20px;height:20px;color:var(--accent)}.runtime-panel{display:grid;grid-template-columns:12px 1fr;gap:10px;margin-top:14px;padding:12px;box-shadow:none}.runtime-panel p,.tutor-status p,.result-panel p,.lemma-row p,.proof-header p{margin:4px 0 0;color:var(--muted);line-height:1.45}.runtime-dot{width:10px;height:10px;margin-top:4px;border-radius:50%;background:var(--warning)}.runtime-dot[data-mode=official-assets]{background:var(--success)}.editor-zone{padding:16px}.proof-header{align-items:flex-start;margin-bottom:14px}.proof-header h1,.panel-heading h2,.result-panel h2{margin:0;line-height:1.1}.proof-header h1{font-size:30px}.eyebrow{margin:0 0 5px;color:var(--accent);font-weight:800;font-size:12px;text-transform:uppercase}.proof-actions{display:flex;gap:8px}.primary-button,.secondary-button,.danger-button,.icon-button{min-height:40px;display:inline-flex;align-items:center;justify-content:center;gap:8px;border:1px solid transparent;border-radius:8px;padding:9px 13px;font-weight:800}.primary-button{background:var(--accent);color:#fff}.secondary-button,.icon-button{border-color:var(--line);background:var(--surface);color:#253149}.danger-button{width:100%;margin-top:10px;border-color:#f2b8b5;color:var(--danger);background:#fff7f7}.wide{width:100%}.ghost{background:#f8fafc}.primary-button svg,.secondary-button svg,.danger-button svg,.icon-button svg{width:17px;height:17px}.editor-label{display:inline-flex;align-items:center;gap:7px;margin-bottom:8px;font-weight:800}.editor-label svg{width:17px;height:17px}.code-editor{width:100%;min-height:355px;resize:vertical;border:1px solid #c6d0df;border-radius:8px;background:#101827;color:#eef6ff;padding:16px;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:14px;line-height:1.55;outline:none}.code-editor:focus,.search-input:focus{border-color:var(--accent);box-shadow:0 0 0 3px #0f766e2e}.result-panel{margin-top:14px;padding:14px;box-shadow:none}.result-panel.success{border-color:#157f3b73;background:#f2fbf4}.result-panel.error{border-color:#b4231859;background:#fff7f7}.result-panel.needs-work{border-color:#a15c0759;background:#fff9ed}.result-heading{justify-content:flex-start;align-items:flex-start}.result-heading svg{width:24px;height:24px;color:var(--accent);flex:0 0 auto}.goal-stack{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.goal-chip{display:inline-flex;border-radius:8px;background:#e8eef6;padding:8px 10px;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:13px}.diagnostics{display:grid;gap:8px;margin-top:12px}.diagnostic{display:grid;gap:3px;border-left:3px solid var(--line);padding-left:9px}.diagnostic.error{border-left-color:var(--danger)}.diagnostic.warning{border-left-color:var(--warning)}.diagnostic.info{border-left-color:var(--accent-2)}.diagnostic span{color:var(--muted)}.assistant-zone{display:grid;gap:12px;align-content:start}.assistant-panel{padding:14px}.panel-heading{margin-bottom:12px;align-items:flex-start}.panel-heading.compact{margin-bottom:8px}.panel-heading svg{width:22px;height:22px;color:var(--accent-2)}.tutor-status{border:1px solid var(--line);border-radius:8px;padding:10px;background:var(--surface-2)}.tutor-status span{float:right;color:var(--accent);font-weight:800;font-size:12px}.tutor-actions{margin:10px 0}.message-list{display:grid;gap:8px;max-height:250px;overflow:auto}.message{border-radius:8px;padding:10px;line-height:1.45}.message.assistant{background:#f3f5ff}.message.user{background:#edf7f5;color:#16443f}.export-actions{margin-top:10px}.export-actions span{color:var(--muted);font-size:12px}.export-actions button{border:1px solid var(--line);border-radius:8px;background:var(--surface);padding:7px 9px;font-weight:800}.search-input{width:100%;min-height:38px;border:1px solid var(--line);border-radius:8px;padding:8px 10px;outline:none}.lemma-list{display:grid;gap:8px;max-height:250px;overflow:auto;margin-top:10px}.lemma-row{border:1px solid var(--line);border-radius:8px;background:#fbfcfe;padding:9px}.lemma-row code{display:block;margin-top:4px;overflow-wrap:anywhere;color:#31435f}.toast{position:fixed;right:18px;top:76px;z-index:30;border:1px solid rgba(15,118,110,.35);border-radius:8px;background:#f0fffb;padding:10px 12px;box-shadow:var(--shadow);font-weight:800;animation:fadeout 2.6s both}.spin{animation:spin .9s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}@keyframes fadeout{0%,70%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-6px)}}@media(max-width:1120px){.workspace{grid-template-columns:240px minmax(0,1fr)}.assistant-zone{grid-column:1 / -1;grid-template-columns:repeat(3,minmax(0,1fr))}.danger-button{align-self:start}}@media(max-width:780px){.topbar{position:static;align-items:flex-start;flex-direction:column}.workspace,.assistant-zone{grid-template-columns:1fr}.sidebar{position:static;height:auto}.proof-header{display:grid}.proof-actions{justify-content:stretch}.primary-button{flex:1}}@media(max-width:480px){.workspace{padding:10px}.topbar{padding:12px}.top-links a,.version-pill{width:100%;justify-content:center}.proof-header h1{font-size:24px}}