:root{color:#1d252c;background:#f4f6f5;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html,body,#app{width:100%;height:100%;margin:0}button,input,select{font:inherit}.app-shell{grid-template-rows:auto minmax(0,1fr);min-width:0;min-height:100%;display:grid}.topbar{background:#fbfcfb;border-bottom:1px solid #d8dfdc;align-items:center;gap:14px;min-width:0;padding:10px 14px;display:flex}.brand{color:#21313a;flex:none;font-size:18px;font-weight:700}.mode-switch{color:#43515a;white-space:nowrap;align-items:center;gap:8px;font-size:13px;font-weight:650;display:inline-flex}.mode-switch input{appearance:none;cursor:pointer;background:#c7d1cc;border:1px solid #aab7b1;border-radius:999px;width:44px;height:24px;margin:0;position:relative}.mode-switch input:before{content:"";background:#fff;border-radius:50%;width:18px;height:18px;transition:transform .12s;position:absolute;top:2px;left:2px;box-shadow:0 1px 2px #1d252c3d}.mode-switch input:checked{background:#315f73;border-color:#284f60}.mode-switch input:checked:before{transform:translate(20px)}.task-picker,.tree-picker{color:#43515a;align-items:center;gap:8px;min-width:220px;max-width:min(520px,46vw);font-size:14px;display:flex}.tree-picker{min-width:180px;max-width:min(360px,28vw)}.task-picker select,.tree-picker select{color:#1d252c;background:#fff;border:1px solid #b8c4be;border-radius:6px;width:100%;min-width:0;height:36px;padding:0 34px 0 10px}.math-select-control{width:100%;min-width:0;display:block;position:relative}.task-picker .math-select-control,.tree-picker .math-select-control{flex:auto}.math-select-hidden-value{color:#0000!important}.math-select-hidden-value option,.math-select-hidden-value optgroup{color:#1d252c}.math-select-display{color:#1d252c;pointer-events:none;min-width:0;line-height:34px;display:block;position:absolute;inset:1px 34px 1px 10px;overflow:hidden}.math-select-hidden-value:disabled+.math-select-display{color:#68757c}.mixed-math-label{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.mixed-math-fragment{vertical-align:-.12em;align-items:center;display:inline-flex}.mixed-math-field{font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.appMathSvg{pointer-events:none;vertical-align:-.16em;flex:none;overflow:visible}.topbar button,.panel-button{color:#fff;cursor:pointer;background:#315f73;border:1px solid #284f60;border-radius:6px;flex:none;height:36px;padding:0 14px;font-weight:650}.topbar button:hover,.panel-button:hover{background:#284f60}.topbar button:disabled,.panel-button:disabled{color:#68757c;cursor:not-allowed;background:#e3e9e6;border-color:#c7d1cc}.panel-button:disabled:hover{background:#e3e9e6}.panel-button{width:100%}.panel-button.danger{background:#9a3c2f;border-color:#7d3127}.panel-button.danger:hover{background:#7d3127}.topbar button:focus-visible,.panel-button:focus-visible,.task-picker select:focus-visible,.tree-picker select:focus-visible,.stacked-field input:focus-visible,.stacked-field select:focus-visible,.logical-formula-input:focus-visible,.logical-formula-key:focus-visible,.toolbar-block-item:focus-visible,.toolbar-block-category-group summary:focus-visible{outline-offset:2px;outline:3px solid #f0b85a}.lean-result{color:#55626a;white-space:nowrap;flex:none;min-width:104px;font-size:13px;font-weight:700}.lean-result.pending{color:#7b5b12}.lean-result.success{color:#27613b}.lean-result.failure{color:#9a3c2f}.status{color:#55626a;text-overflow:ellipsis;white-space:nowrap;min-width:0;margin-left:auto;font-size:14px;overflow:hidden}.main-layout{--authoring-panel-width:340px;grid-template-columns:var(--authoring-panel-width) 9px minmax(0, 1fr);min-width:0;min-height:0;display:grid}.student-mode .teacher-only,.student-mode .authoring-panel,.student-mode .authoring-panel-resizer{display:none}.student-mode .main-layout{grid-template-columns:minmax(0,1fr)}.authoring-panel{background:#fbfcfb;min-width:0;min-height:0;padding:14px;overflow:auto}.authoring-panel-resizer{z-index:4;cursor:col-resize;touch-action:none;background:#f1f4f2;border-left:1px solid #d8dfdc;border-right:1px solid #d8dfdc;min-width:9px;min-height:0;position:relative}.authoring-panel-resizer:after{content:"";opacity:.65;background:#94a29b;border-radius:999px;width:3px;height:44px;transition:height .12s,opacity .12s,background .12s;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.authoring-panel-resizer:hover:after,.authoring-panel-resizer:focus-visible:after,.resizing-authoring-panel .authoring-panel-resizer:after{opacity:1;background:#315f73;height:68px}.authoring-panel-resizer:focus-visible{outline-offset:-3px;outline:3px solid #f0b85a}.resizing-authoring-panel,.resizing-authoring-panel *{cursor:col-resize!important;-webkit-user-select:none!important;user-select:none!important}.panel-section{gap:10px;margin-bottom:18px;display:grid}.panel-section h2{color:#26353d;margin:0;font-size:14px;font-weight:750}.panel-help{color:#647179;margin:-3px 0 1px;font-size:12px;line-height:1.45}.stacked-field{color:#43515a;gap:6px;min-width:0;font-size:13px;font-weight:650;display:grid}.stacked-field input,.stacked-field select{color:#1d252c;background:#fff;border:1px solid #b8c4be;border-radius:6px;width:100%;min-width:0;height:34px;padding:0 9px;font-weight:450}.stacked-field input:disabled{color:#6c777d;background:#edf1ef}.logical-formula-editor{color:#43515a;gap:7px;min-width:0;font-size:13px;font-weight:650;display:grid}.logical-formula-label{display:block}.logical-formula-input{color:#1d252c;background:#fff;border:1px solid #b8c4be;border-radius:6px;width:100%;min-width:0;height:34px;padding:0 9px;font-weight:450}.logical-formula-input:disabled{color:#6c777d;background:#edf1ef}.logical-formula-keyboard{gap:5px;display:grid}.logical-formula-keyboard-row{flex-wrap:wrap;gap:5px;min-width:0;display:flex}.logical-formula-key{color:#1f2c33;cursor:pointer;background:#e1dfdb;border:1px solid #cbc7c1;border-radius:5px;place-items:center;min-width:31px;height:31px;padding:0 8px;font-weight:750;line-height:1;display:inline-grid}.logical-formula-key:hover{background:#d3d0ca}.logical-formula-key:disabled{color:#7b858a;cursor:not-allowed;background:#edf1ef;border-color:#d6ded9}.blockly-logical-formula-input{text-align:left;width:180px}.blockly-logical-formula-panel{color:#1d252c;background:#fbfcfb;border:1px solid #c7d1cc;border-radius:6px;gap:7px;width:min(320px,78vw);margin-top:6px;padding:8px;display:grid;box-shadow:0 6px 18px #1d252c2e}.blocklyMathSvg{pointer-events:none;overflow:visible}.toolbar-block-list{gap:8px;display:grid}.toolbar-block-category-group{background:#f7f9f8;border:1px solid #d9e1dd;border-radius:7px;overflow:hidden}.toolbar-block-category-group summary{color:#35454e;letter-spacing:.025em;text-transform:uppercase;cursor:pointer;justify-content:space-between;align-items:center;gap:8px;padding:8px 9px;font-size:12px;font-weight:800;list-style:none;display:flex}.toolbar-block-category-group summary::-webkit-details-marker{display:none}.toolbar-block-category-group summary:before{content:"";border-top:4px solid #0000;border-bottom:4px solid #0000;border-left:6px solid #607079;width:0;height:0;transition:transform .12s}.toolbar-block-category-group[open] summary:before{transform:rotate(90deg)}.toolbar-block-category-group summary>span:first-of-type{flex:auto}.toolbar-block-category-count{color:#596970;letter-spacing:normal;background:#e5ebe8;border-radius:999px;flex:none;place-items:center;min-width:22px;height:20px;padding:0 6px;font-size:11px;display:inline-grid}.toolbar-block-category-items{gap:6px;padding:0 6px 6px;display:grid}.toolbar-block-item{color:#243139;text-align:left;cursor:pointer;background:#fff;border:1px solid #c9d2cd;border-radius:6px;gap:4px;width:100%;min-height:48px;padding:7px 9px;display:grid;overflow:hidden}.toolbar-block-item:hover,.toolbar-block-item.selected{border-color:#315f73}.toolbar-block-item.selected{background:#e8f0f2}.toolbar-block-item-main{justify-content:space-between;align-items:center;gap:8px;min-width:0;display:flex}.toolbar-block-item-label{text-overflow:ellipsis;white-space:nowrap;min-width:0;font-weight:650;overflow:hidden}.toolbar-block-item.selected .toolbar-block-item-label{font-weight:800}.toolbar-block-origin{color:#69767c;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:10.5px;font-weight:500;overflow:hidden}.toolbar-block-origin code{color:#516069;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:inherit}.proof-step-variant-count{color:#52626b;background:#eef3f1;border-radius:999px;flex:none;padding:2px 6px;font-size:11px;font-weight:600}.empty-state{color:#6c777d;padding:8px 0;font-size:13px}.block-editor{border-top:1px solid #e0e6e3;padding-top:4px}.template-origin-card{background:#f4f7f6;border:1px solid #d9e2de;border-left:3px solid #607780;border-radius:6px;gap:6px;margin-bottom:4px;padding:9px;display:grid}.template-origin-header{justify-content:space-between;align-items:center;gap:8px;display:flex}.template-origin-eyebrow{color:#52626a;letter-spacing:.035em;text-transform:uppercase;font-size:10.5px;font-weight:800}.template-origin-category{color:#45565e;background:#e3eae7;border-radius:999px;flex:none;padding:2px 6px;font-size:10px;font-weight:700}.template-origin-label{color:#26353d;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:13px;font-weight:650;overflow:hidden}.template-origin-id{color:#6a777d;align-items:baseline;gap:7px;min-width:0;font-size:10.5px;display:flex}.template-origin-id code{color:#45555d;min-width:0;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:inherit;text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.proof-step-explanation{color:#59676f;margin:-2px 0 12px;font-size:13px;line-height:1.45}.proof-step-profile-section{background:#f5f8f7;border:1px solid #dce5e1;border-radius:7px;gap:10px;padding:10px;display:grid}.proof-step-add-row{border-top:1px solid #dfe7e3;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:8px;padding-top:9px;display:grid}.proof-step-add-row .panel-button{margin:0}.proof-step-lock-notice{color:#6c5a2e;margin:0;font-size:12px;line-height:1.4}.proof-step-preview{background:#eef4f6;border-left:3px solid #315f73;border-radius:4px;gap:5px;margin:12px 0 2px;padding:10px;display:grid}.proof-step-rule-name{color:#315f73;letter-spacing:.03em;text-transform:uppercase;font-size:12px;font-weight:800}.proof-step-statement-preview{overflow-wrap:anywhere;color:#243139;font-size:14px;line-height:1.45}.field-editor-row{border-top:1px solid #edf1ef;gap:8px;padding:10px 0;display:grid}.field-placeholder-hint{color:#647179;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:12px}.checkbox-field{color:#43515a;align-items:center;gap:8px;font-size:13px;font-weight:600;display:flex}.checkbox-field input{width:16px;height:16px;margin:0}.line-numbering-editor{border-top:1px solid #edf1ef;margin-top:4px;padding:10px 0}.workspace-panel{min-width:0;min-height:0}.blockly-workspace{width:100%;height:100%}@media (width<=720px){.topbar{grid-template-columns:1fr auto;gap:8px;display:grid}.task-picker,.tree-picker{grid-column:1/-1;min-width:0;max-width:none}.lean-result,.status{grid-column:1/-1;margin-left:0}.mode-switch{grid-column:1/-1}.main-layout{grid-template-rows:auto minmax(0,1fr);grid-template-columns:1fr}.authoring-panel-resizer{display:none}.authoring-panel{border-bottom:1px solid #d8dfdc;border-right:0;max-height:42vh}}