@font-face{font-family:Roboto;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/roboto-latin-400-normal-BqEyEoaF.woff2)format("woff2"),url(/assets/roboto-latin-400-normal-D27F5sTu.woff)format("woff")}@font-face{font-family:Roboto;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/roboto-latin-500-normal-7RbcRiD8.woff2)format("woff2"),url(/assets/roboto-latin-500-normal-fsTFPL3E.woff)format("woff")}@font-face{font-family:Roboto;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/roboto-latin-700-normal-BZpUvMxY.woff2)format("woff2"),url(/assets/roboto-latin-700-normal-YuyVweIx.woff)format("woff")}:root{color:#000;font-synthesis:none;--iltis-white:#fff;--iltis-brown-1:#fef6ee;--iltis-brown-2:#e3d5c8;--iltis-brown-3:#cfbeb0;--iltis-brown-4:#bfac9b;--iltis-brown-5:#8f7967;--iltis-grey-1:#edebe8;--iltis-grey-2:#d9d6d2;--iltis-grey-3:#c2bfbc;--iltis-grey-4:#a6a4a1;--iltis-grey-5:#706f6d;--iltis-green-1:#f4ffe9;--iltis-green-4:#a3d177;--iltis-green-5:#76a34b;--iltis-forestgreen-1:#cfffe1;--iltis-forestgreen-5:#468f61;--iltis-orange-1:#ffdfb3;--iltis-orange-4:#e0a34c;--iltis-orange-5:#b07828;--iltis-blue-1:#cce8ff;--iltis-blue-2:#8db8d9;--iltis-blue-4:#5c86a8;--iltis-blue-5:#2e5b80;--iltis-red-1:#ffe9e6;--iltis-red-3:#e08475;--iltis-red-5:#a35243;--iltis-purple-1:#ede6ff;--iltis-purple-5:#6f5f96;--iltis-yellow-0:#fff8e6;--iltis-yellow-1:#fef2d0;--iltis-yellow-2:#ffe3a2;--iltis-yellow-3:#ffd77d;--iltis-yellow-4:#f2c55e;--iltis-yellow-5:#c99a2c;--iltis-focus:#0012ff;--iltis-error:#df2525;--radius-card:12px;--radius-control:7px;--radius-key:5px;--shadow-card:0 2px 5px 0 #00000029, 0 2px 10px 0 #0000001f;--shadow-interaction:0 4px 10px 0 #0003;--shadow-button:0 2px 3px 0 #0003;--shadow-button-hover:0 5px 11px 0 #0000002e, 0 4px 15px 0 #00000026;background:#fef6ee;font-family:Roboto,Arial,Helvetica,sans-serif}[hidden]{display:none!important}*{box-sizing:border-box}html{scroll-behavior:smooth;min-width:320px;min-height:100%}body,#app{width:100%;min-height:100%;margin:0}body{color:#000;background:var(--iltis-brown-1);min-height:100vh;font-size:20px;line-height:1.4;overflow-x:hidden}button,input,select,textarea{color:inherit;font:inherit}button,select,summary{touch-action:manipulation}button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--iltis-focus);outline-offset:2px}.app-shell{grid-template-rows:64px minmax(0,1fr) auto;min-width:0;min-height:100vh;display:grid}.build-information{color:#5d5b58;background:var(--iltis-brown-1);border-top:1px solid var(--iltis-brown-2);justify-content:center;align-items:center;gap:5px;min-height:30px;padding:6px 16px;font-size:12px;line-height:1.35;display:flex}.build-information time{font-variant-numeric:tabular-nums}html.proof-focus-active .build-information,body.proof-focus-active .build-information{display:none!important}.topbar{z-index:1000;background:var(--iltis-white);border-bottom:1px solid var(--iltis-brown-2);align-items:center;gap:24px;min-width:0;min-height:64px;padding:0 clamp(16px,3vw,42px);display:flex;position:sticky;top:0}.brand{color:#000;flex:none;font-size:30px;font-weight:500;line-height:1;text-decoration:none}.brand:hover{text-underline-offset:4px;text-decoration:underline}.topbar-controls{flex:auto;justify-content:flex-end;align-items:center;gap:14px;min-width:0;display:flex}.compact-control{color:#000;white-space:nowrap;align-items:center;gap:7px;min-width:0;font-size:14px;font-weight:500;display:flex}.task-picker{flex:270px;max-width:390px}.tree-picker{flex:0 230px;max-width:270px}.task-picker select,.tree-picker select{color:#000;background:var(--iltis-white);border:1px solid var(--iltis-grey-4);border-radius:var(--radius-control);width:100%;min-width:0;height:34px;padding:0 32px 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:#000}.math-select-display{color:#000;text-overflow:ellipsis;white-space:nowrap;pointer-events:none;min-width:0;line-height:32px;display:block;position:absolute;inset:1px 32px 1px 10px;overflow:hidden}.math-select-hidden-value:disabled+.math-select-display{color:var(--iltis-grey-5)}.math-select-control:has(.disabled-control-explanation)>.math-select-display{color:var(--iltis-grey-5)}.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{vertical-align:-.16em;pointer-events:none;flex:none;overflow:visible}.mode-switch{color:#000;white-space:nowrap;flex:none;align-items:center;gap:7px;font-size:14px;font-weight:500;display:inline-flex}.mode-switch input{appearance:none;background:var(--iltis-grey-3);border:1px solid var(--iltis-grey-5);cursor:pointer;border-radius:999px;width:42px;height:24px;margin:0;position:relative}.mode-switch input:before{content:"";background:var(--iltis-white);border-radius:50%;width:18px;height:18px;transition:transform .12s;position:absolute;top:2px;left:2px;box-shadow:0 1px 2px #00000047}.mode-switch input:checked{background:var(--iltis-blue-5);border-color:var(--iltis-blue-5)}.mode-switch input:checked:before{transform:translate(18px)}.header-button,.panel-button,.check-button,.icon-button{appearance:none;color:#000;background:var(--iltis-white);border-radius:var(--radius-control);box-shadow:var(--shadow-button);text-transform:none;cursor:pointer;border:0;font-weight:500}.header-button,.panel-button,.check-button{min-height:36px;padding:6px 14px;font-size:16px}#showcase-link.showcase-link-button{color:#000;text-align:center;white-space:nowrap;flex:none;justify-content:center;align-items:center;line-height:1.2;text-decoration:none;display:inline-flex}.topbar-controls>.disabled-control-explanation:has(>#showcase-link.showcase-link-button){flex:none;align-items:stretch}.topbar-controls>.disabled-control-explanation>#showcase-link.showcase-link-button{width:100%}#showcase-link.showcase-link-button[aria-disabled=true]{color:var(--iltis-grey-5);background:var(--iltis-grey-2);box-shadow:var(--shadow-button);cursor:not-allowed}.disabled-control-explanation>#showcase-link.showcase-link-button[aria-disabled=true]{pointer-events:none}.header-button:hover:not(:disabled),.panel-button:hover:not(:disabled),.check-button:hover:not(:disabled),.icon-button:hover:not(:disabled){background:var(--iltis-yellow-4);box-shadow:var(--shadow-button-hover)}.header-button:active:not(:disabled),.panel-button:active:not(:disabled),.check-button:active:not(:disabled),.icon-button:active:not(:disabled){background:var(--iltis-yellow-4)}.header-button:disabled,.panel-button:disabled,.check-button:disabled,.icon-button:disabled{color:var(--iltis-grey-5);background:var(--iltis-grey-2);box-shadow:var(--shadow-button);cursor:not-allowed}.icon-button{place-items:center;width:38px;height:38px;padding:0;font-size:25px;line-height:1;display:inline-grid}.panel-button{width:100%}.panel-button.danger{color:var(--iltis-white);background:var(--iltis-red-5)}.panel-button.danger:hover:not(:disabled){background:#7d3127}.student-mode .teacher-only,.student-mode .authoring-panel,.student-mode #teacher-drawer-toggle{display:none!important}.main-layout{--authoring-panel-width:340px;min-width:0;min-height:0;padding:30px clamp(14px,4vw,50px) 50px;position:relative}.task-card{background:var(--iltis-yellow-1);border-radius:var(--radius-card);width:min(1300px,100%);box-shadow:var(--shadow-card);margin:0 auto;overflow:hidden}.task-card-header{background:var(--iltis-yellow-2);justify-content:space-between;align-items:center;gap:20px;min-height:64px;padding:8px clamp(18px,4vw,50px);display:flex}.task-heading-group{align-items:baseline;gap:14px;min-width:0;display:flex}.task-selection-kind{color:#344654;background:var(--iltis-blue-1);white-space:nowrap;border-radius:4px;flex:none;padding:3px 6px;font-size:12px}.task-kicker,.drawer-kicker{color:#4b4334;letter-spacing:.045em;text-transform:uppercase;flex:none;font-size:14px;font-weight:700}.task-card-header h1{color:#000;overflow-wrap:anywhere;white-space:normal;min-width:0;margin:0;font-size:clamp(26px,3vw,35px);font-weight:500;line-height:1.15;overflow:visible}.task-help-button{box-shadow:none;border:2px solid #000;border-radius:50%;flex:none}.task-card-body{padding:30px clamp(16px,4vw,50px) 40px}.task-statement{grid-template-columns:52px minmax(0,1fr);align-items:start;gap:20px;width:min(980px,100%);margin:0 auto 30px;display:grid}.focused-task .task-statement{display:none}.task-statement-icon{fill:none;stroke:#000;stroke-linecap:round;stroke-linejoin:round;stroke-width:2px;width:48px;height:48px}.task-statement-content h2{margin:0 0 6px;font-size:22px;font-weight:500;line-height:1.2}.task-statement-content p{margin:0;font-size:20px;line-height:1.5}.task-statement-line{flex-wrap:wrap;align-items:center;gap:8px;min-width:0;font-size:20px;line-height:1.5;display:flex}.task-statement-empty{color:#4f4a43;margin:0}.focused-task-section{border-bottom:1px solid #695a352e;grid-template-columns:minmax(130px,170px) minmax(0,1fr);gap:10px 20px;padding:13px 0;display:grid}.focused-task-section:first-child{padding-top:0}.focused-task-section:last-child{border-bottom:0;padding-bottom:0}.focused-task-heading{color:#4b4334;letter-spacing:.02em;margin:2px 0 0;font-size:15px;font-weight:700}.focused-task-values,.focused-task-compact-values{gap:7px;min-width:0;display:grid}.focused-task-value{overflow-wrap:anywhere;min-width:0;font-size:18px;line-height:1.45}.focused-task-section .task-premise-list{margin:0}.task-inline-field{min-width:8ch;max-width:100%;display:inline-flex}.task-inline-field input,.task-formula-editor .logical-formula-input{color:#000;border:1px solid var(--iltis-grey-5);border-radius:var(--radius-control);background:#ffffffe0;min-width:8ch;min-height:38px;padding:6px 9px}.task-inline-field input{width:min(24ch,100%)}.task-field-value{overflow-wrap:anywhere;min-width:1ch;padding-inline:2px;font-weight:500;display:inline-block}.task-formula-editor{border-radius:var(--radius-control);background:#ffffff85;flex:320px;width:min(620px,100%);min-width:min(280px,100%);padding:9px;display:inline-grid}.task-formula-editor .logical-formula-label{font-size:14px}.task-premises{gap:8px;margin-top:18px;display:grid}.task-premises-heading{margin:0;font-size:17px;font-weight:700}.task-premise-list{gap:8px;display:grid}.task-premise{border-left:4px solid var(--iltis-yellow-5);border-radius:0 var(--radius-control) var(--radius-control) 0;background:#ffffff7a;flex-wrap:wrap;align-items:center;gap:8px;padding:10px 12px;font-size:18px;display:flex}.task-premise-content{flex-wrap:wrap;flex:240px;align-items:center;gap:8px;min-width:0;display:flex}.task-premise-line-number{color:#263238;background:var(--iltis-white);border:1px solid var(--iltis-brown-3);border-radius:50%;flex:0 0 28px;place-items:center;width:28px;height:28px;font-size:14px;font-weight:700;line-height:1;display:inline-grid}.visually-hidden{clip:rect(0 0 0 0)!important;white-space:nowrap!important;border:0!important;width:1px!important;height:1px!important;margin:-1px!important;padding:0!important;position:absolute!important;overflow:hidden!important}.proof-stage{grid-template-columns:minmax(0,1fr) minmax(280px,340px);align-items:stretch;gap:16px;width:min(1200px,100%);margin:0 auto;display:grid}.proof-stage:has(.reference-panel[hidden]){grid-template-columns:minmax(0,1fr)}.focused-equivalence-law-blocks .task-card{width:min(1500px,100%)}.focused-equivalence-law-blocks .proof-stage{width:min(1400px,100%)}.proof-card{background:var(--iltis-white);border-radius:var(--radius-card);width:100%;min-width:0;box-shadow:var(--shadow-interaction);margin:0;overflow:hidden}.proof-card-header{background:var(--iltis-blue-2);justify-content:space-between;align-items:center;gap:16px;min-height:48px;padding:8px 20px;display:flex}.proof-card-header h2{overflow-wrap:anywhere;flex:0 auto;min-width:0;margin:0;font-size:25px;font-weight:400;line-height:1.2}.proof-brand{flex-direction:column;flex:0 auto;gap:1px;min-width:0;display:flex}.proof-tagline{color:var(--iltis-grey-5);overflow-wrap:anywhere;margin:0;font-size:14px;line-height:1.25;display:none}html.showcase-mode .proof-tagline{display:block}html.showcase-mode .proof-card-header{border-bottom:1px solid var(--iltis-grey-2);background:#fff;align-items:center}html.showcase-mode .proof-card-header h2{color:#1b1b1b;font-weight:700}.proof-card-actions{flex:auto;justify-content:flex-end;align-items:center;gap:8px;min-width:0;display:flex}.proof-reset-button{appearance:none;color:#1c2c38;border-radius:var(--radius-control);cursor:pointer;background:#ffffff5c;border:1px solid #2e5b804d;flex:none;justify-content:center;align-items:center;gap:6px;min-height:38px;padding:5px 9px;font-size:14px;font-weight:500;display:inline-flex}.proof-reset-button:hover:not(:disabled){border-color:var(--iltis-blue-5);background:#ffffffc7}.proof-reset-button:active:not(:disabled){background:var(--iltis-blue-1)}.proof-reset-button:disabled{color:var(--iltis-grey-5);cursor:not-allowed;opacity:.58}.proof-reset-icon{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:2px;width:18px;height:18px}.proof-focus-button{flex:none;justify-content:center;align-items:center;gap:7px;min-width:0;min-height:42px;padding-inline:10px;display:inline-flex}.proof-focus-icon{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:2px;width:21px;height:21px}.proof-focus-exit-icon,.proof-focus-mode .proof-focus-enter-icon{display:none}.proof-focus-mode .proof-focus-exit-icon{display:block}.proof-tree-control{flex:0 360px;max-width:360px}.proof-tree-control .control-label{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.task-description{color:#000;width:min(980px,100%);margin:-12px auto 30px;font-size:18px;line-height:1.5}.task-description[hidden],.proof-tree-control[hidden]{display:none!important}.workspace-panel{background:var(--iltis-white);min-width:0;height:clamp(520px,58vh,760px);min-height:480px;position:relative;overflow:hidden}.add-line-button{color:#1c2c38;min-height:38px;font:inherit;background:var(--iltis-white);border:1px solid var(--iltis-grey-4);border-radius:var(--radius-control);cursor:pointer;border-color:#6b94b3;align-items:center;gap:8px;padding:7px 14px;font-weight:500;display:inline-flex}.add-line-button>span{font-size:22px;line-height:.8}.add-line-button:hover:not(:disabled){background:var(--iltis-blue-0);box-shadow:var(--shadow-button)}.add-line-button:disabled{cursor:not-allowed;opacity:.52}.reference-panel{background:var(--iltis-white);border-radius:var(--radius-card);min-width:0;box-shadow:var(--shadow-interaction);border:1px solid #bdd2e2;overflow:hidden}.reference-panel[hidden]{display:none!important}.reference-panel-header{background:var(--iltis-blue-1);border-bottom:1px solid #bdd2e2;justify-content:space-between;align-items:flex-start;gap:12px;min-height:58px;padding:12px 14px;display:flex}.reference-panel-kicker{color:#405767;letter-spacing:.07em;text-transform:uppercase;margin-bottom:2px;font-size:11px;font-weight:700;display:block}.reference-panel-header h2{margin:0;font-size:18px;font-weight:500;line-height:1.25}.reference-panel-close{flex:none}.reference-panel-content{overscroll-behavior:contain;gap:10px;min-width:0;max-height:706px;padding:12px;display:grid;overflow:hidden auto}.reference-panel-intro{margin:0 0 2px;padding:0 2px;font-size:14px;line-height:1.45}.reference-rule-equivalences{margin:0;padding-left:18px;list-style:outside}.reference-rule-equivalences>li{overflow-wrap:anywhere;margin:2px 0;font-size:14px;line-height:1.5}.reference-rule-equivalences>li.mixed-math-label,.reference-rule-side-condition.mixed-math-label{text-overflow:clip;white-space:normal;overflow:visible}.reference-rule-side-condition{overflow-wrap:anywhere;margin:0 0 4px;font-size:14px;line-height:1.45}.reference-rule-card{border:1px solid var(--iltis-grey-2);border-radius:0 var(--radius-control) var(--radius-control) 0;background:#fbfcfd;border-left:4px solid #79a889;min-width:0;padding:12px}.reference-rule-card h3{margin:0 0 6px;font-size:16px;font-weight:700}.reference-rule-definition,.reference-rule-note{overflow-wrap:anywhere;margin:0;font-size:14px;line-height:1.45}.reference-rule-definition.mixed-math-label,.reference-rule-note .mixed-math-label{text-overflow:clip;white-space:normal;overflow:visible}.reference-rule-note{color:#3d4b54;border-top:1px solid var(--iltis-grey-2);margin-top:8px;padding-top:8px}.blockly-workspace{width:100%;height:100%}.proofly-projected-hidden{display:none!important}.feedback-region{border-top:1px solid var(--iltis-grey-2);background:#f8fafb;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:12px;width:100%;min-width:0;min-height:66px;margin:0;padding:8px 12px;display:grid}.feedback-message{background:var(--iltis-blue-1);border:2px solid var(--iltis-blue-4);border-radius:var(--radius-control);grid-template-columns:38px minmax(0,1fr);min-height:50px;display:grid;overflow:hidden}.feedback-icon{min-height:100%;color:var(--iltis-white);background:var(--iltis-blue-4);place-items:center;font-size:20px;font-weight:700;display:grid}.feedback-copy{flex-wrap:wrap;align-content:center;align-items:baseline;gap:2px 10px;min-width:0;padding:7px 12px;display:flex}.feedback-copy h2{color:#000;flex:0 0 100%;margin:0;font-size:16px;font-weight:500;line-height:1.2}.feedback-placeholder,.status{overflow-wrap:anywhere;color:#000;margin:0;font-size:14px;line-height:1.35}.feedback-message:has(.lean-result:not(:empty),.status:not(:empty)) .feedback-placeholder{display:none}.lean-result{color:#000;white-space:nowrap;background:#ffffffb8;border-radius:999px;align-items:center;min-height:27px;padding:2px 9px;font-size:14px;font-weight:700;display:inline-flex}.lean-result:empty,.status:empty{display:none}.feedback-message:has(.lean-result.pending){background:var(--iltis-yellow-1);border-color:var(--iltis-yellow-4)}.feedback-message:has(.lean-result.pending) .feedback-icon{color:#000;background:var(--iltis-yellow-4)}.feedback-message:has(.lean-result.success){background:var(--iltis-green-1);border-color:var(--iltis-green-4)}.feedback-message:has(.lean-result.success) .feedback-icon{color:#000;background:var(--iltis-green-4)}.feedback-message:has(.lean-result.failure){background:var(--iltis-red-1);border-color:var(--iltis-red-3)}.feedback-message:has(.lean-result.failure) .feedback-icon{color:#000;background:var(--iltis-red-3)}.feedback-message:has(.lean-result.unavailable){background:var(--iltis-grey-1);border-color:var(--iltis-grey-4)}.feedback-message:has(.lean-result.unavailable) .feedback-icon{color:#000;background:var(--iltis-grey-3)}.check-button{min-width:118px;min-height:40px;padding-inline:20px;font-size:17px}.teacher-drawer{color:#000;background:var(--iltis-white);border-radius:var(--radius-card);width:min(560px,100vw - 24px);max-width:none;height:auto;max-height:calc(100vh - 88px);box-shadow:var(--shadow-button-hover);border:0;margin:0;padding:0;position:fixed;inset:76px 12px 12px auto;overflow:hidden}.teacher-drawer:popover-open{grid-template-rows:auto minmax(0,1fr);display:grid}.teacher-drawer::backdrop{background:#0000001f}.teacher-drawer-header{background:var(--iltis-yellow-2);justify-content:space-between;align-items:center;gap:16px;min-height:64px;padding:10px 16px 10px 20px;display:flex}.teacher-drawer-header h2{margin:2px 0 0;font-size:25px;font-weight:400;line-height:1.15}.teacher-drawer-body{background:var(--iltis-yellow-1);overscroll-behavior:contain;scrollbar-gutter:stable;min-height:0;padding:20px;overflow:hidden auto}.drawer-actions{grid-template-columns:repeat(2,minmax(0,1fr));align-items:stretch}.drawer-actions .panel-button{overflow-wrap:anywhere;white-space:normal;height:100%;line-height:1.3}.drawer-actions>:is(#duplicate-task,#save-task-as,#discard-task-changes,#restore-original-task){grid-column:1/-1}.drawer-actions>.disabled-control-explanation:has(>:is(#duplicate-task,#save-task-as,#discard-task-changes,#restore-original-task)){grid-column:1/-1}.authoring-status{color:#28251f;border-left:4px solid var(--iltis-blue-4);border-radius:var(--radius-control);overflow-wrap:anywhere;background:#ffffffad;margin:-8px 0 20px;padding:10px 12px;font-size:14px;line-height:1.4}.authoring-status:empty{display:none}.authoring-panel-resizer,.authoring-panel-resizer[hidden]{display:none!important}.task-help-dialog{color:#000;background:var(--iltis-white);border-radius:var(--radius-card);width:min(560px,100vw - 32px);max-width:none;max-height:min(680px,100vh - 32px);box-shadow:var(--shadow-button-hover);border:0;margin:auto;padding:0;position:fixed;inset:0;overflow:hidden}.task-help-dialog:popover-open{grid-template-rows:auto minmax(0,1fr);display:grid}.task-help-dialog::backdrop{background:#0006}.task-help-dialog-header{background:var(--iltis-brown-4);justify-content:space-between;align-items:center;gap:16px;min-height:58px;padding:8px 14px 8px 20px;display:flex}.task-help-dialog-header h2{margin:0;font-size:25px;font-weight:500;line-height:1.2}.task-help-dialog-body{padding:24px;overflow:auto}.task-help-dialog-body p{margin:0}.task-help-dialog-body{gap:22px;display:grid}.task-help-dialog-body section{gap:5px;display:grid}.task-help-dialog-body h3{color:#000;margin:0;font-size:20px;font-weight:500}.confirmation-dialog{color:#172c3a;border:1px solid var(--iltis-grey-3);width:min(500px,100vw - 32px);max-height:calc(100dvh - 32px);box-shadow:var(--shadow-card);background:#fff;border-radius:12px;margin:auto;padding:24px}.confirmation-dialog::backdrop{background:#14232d73}.confirmation-dialog h2{margin:0 0 12px;font-size:23px}.confirmation-dialog p{font-size:17px;line-height:1.5}.confirmation-actions{justify-content:flex-end;gap:12px;margin-top:24px;display:flex}.confirmation-actions .panel-button{width:auto}.task-storage-scope{border-left:4px solid var(--iltis-blue-5);background:var(--iltis-blue-1);padding:12px;font-size:14px;line-height:1.5}.panel-section{gap:10px;margin:0 0 22px;display:grid}.panel-section:last-child{margin-bottom:0}.panel-section h2{color:#000;margin:0;font-size:17px;font-weight:700}.advanced-authoring{border:1px solid var(--iltis-yellow-4);border-radius:var(--radius-control);background:#ffffff61;margin:0 0 22px}.advanced-authoring[hidden]{display:none}.advanced-authoring>summary{cursor:pointer;padding:11px 12px;font-size:14px;font-weight:700}.advanced-authoring-body{border-top:1px solid var(--iltis-yellow-4);padding:4px 12px 12px}.advanced-authoring-body>.panel-section{margin-top:16px}.focused-task-editor:empty{display:none}.focused-authoring,.focused-authoring-content{gap:18px;min-width:0;display:grid}.focused-authoring-content>.panel-section{border-bottom:1px solid #695a3533;margin:0;padding-bottom:18px}.focused-authoring-content>.panel-section:last-of-type{border-bottom:0}.focused-authoring-section-body,.focused-declaration-list,.focused-given-list,.focused-freshness-list,.focused-rule-list,.focused-rule-presentation-fields{gap:10px;min-width:0;display:grid}.focused-authoring-readonly{color:#3f3b34;background:var(--iltis-grey-1);border-left:4px solid var(--iltis-grey-5);border-radius:var(--radius-control);margin:0;padding:10px 12px;font-size:13px;line-height:1.45}.focused-family-chooser{gap:10px;display:grid}.focused-family-chooser>h2,.focused-family-card>h3,.focused-authoring-advanced h3{margin:0}.focused-family-cards{grid-template-columns:minmax(0,1fr);gap:10px;display:grid}.focused-family-card{border:1px solid var(--iltis-yellow-4);border-radius:var(--radius-control);background:#ffffffa3;grid-template-columns:minmax(0,1fr) minmax(150px,190px);align-content:start;align-items:center;gap:7px 16px;min-width:0;padding:13px 14px;display:grid}.focused-family-card>h3{color:#28251f;-webkit-hyphens:auto;hyphens:auto;overflow-wrap:anywhere;grid-column:1;font-size:18px;font-weight:700;line-height:1.25}.focused-family-card>p{color:#4f4a43;overflow-wrap:anywhere;grid-column:1;margin:0;font-size:14px;line-height:1.45}.focused-family-card>:is(.focused-action-button,.disabled-control-explanation--action){grid-area:1/2/span 2;place-self:center stretch;width:100%;max-width:190px}.focused-family-card .focused-action-button{overflow-wrap:anywhere;white-space:normal;width:100%;min-height:42px;line-height:1.25}.focused-authoring-grid{gap:10px;min-width:0;display:grid}.focused-authoring-grid--basics{grid-template-columns:repeat(2,minmax(0,1fr))}.focused-authoring-grid--basics>:last-child{grid-column:1/-1}.focused-readonly-value{color:#28251f;background:var(--iltis-grey-1);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);align-items:center;min-height:36px;padding:6px 9px;font-weight:400;display:flex}.focused-authoring-math-pair{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:start;gap:8px;min-width:0;display:grid}.focused-math-divider{align-self:center;padding-top:21px;font-family:Times New Roman,serif;font-size:24px}.focused-authoring .logical-formula-keyboard-row{gap:3px}.focused-authoring .logical-formula-key{min-width:29px;height:29px;padding-inline:6px}.focused-declaration-row,.focused-given-row,.focused-freshness-row{border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);background:#ffffff8c;align-items:start;gap:8px;min-width:0;padding:10px;display:grid}.focused-declaration-row{grid-template-columns:minmax(0,1fr) auto}.focused-declaration-fields{grid-template-columns:minmax(120px,.65fr) minmax(180px,1.35fr) minmax(90px,.4fr);align-items:start;gap:8px;min-width:0;display:grid}.focused-given-row{grid-template-columns:auto minmax(0,1fr) auto}.focused-row-number{color:#3d382e;background:var(--iltis-yellow-2);border-radius:50%;place-items:center;width:28px;height:28px;margin-top:28px;font-size:13px;font-weight:700;display:inline-grid}.focused-freshness-row{grid-template-columns:minmax(100px,.8fr) auto minmax(140px,1.2fr) auto;align-items:end}.focused-freshness-relation{color:#4f4a43;white-space:nowrap;align-self:end;padding-bottom:9px;font-size:13px}.focused-add-row{grid-template-columns:minmax(150px,1fr) auto;align-items:end;gap:8px;display:grid}.focused-action-button{justify-self:start;width:auto}.focused-add-row .focused-action-button{min-height:36px}.focused-icon-button{width:32px;height:32px;font-size:16px}.focused-declaration-row>.focused-icon-button,.focused-given-row>.focused-icon-button{margin-top:24px}.focused-counterexample-claim-tree,.focused-counterexample-binders,.focused-counterexample-set-members,.focused-counterexample-atom-list,.focused-counterexample-valuation-list,.focused-counterexample-evidence-list{gap:10px;min-width:0;display:grid}.focused-counterexample-node{border:1px solid var(--iltis-grey-3);border-left:3px solid var(--iltis-blue-3);border-radius:var(--radius-control);background:#ffffff85;gap:9px;min-width:0;margin:0;padding:10px;display:grid}.focused-counterexample-node>legend,.focused-counterexample-atom-choices>legend{color:#34312b;padding:0 5px;font-size:13px;font-weight:700}.focused-counterexample-node .focused-counterexample-node{background:#ffffffb3;margin-left:8px}.focused-counterexample-formula-input{border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);background:#ffffffb3;min-width:0;padding:10px}.focused-counterexample-claim-preview{border-left:3px solid var(--iltis-blue-3);background:var(--iltis-blue-1);overflow-wrap:anywhere;padding:12px;font-size:16px;line-height:1.6;display:block}.focused-counterexample-formula-error{color:#9d2525;margin:0;font-size:13px}.focused-counterexample-kind-confirmation,.focused-counterexample-binder-confirmation{background:var(--iltis-yellow-1);border:1px solid var(--iltis-yellow-3);border-radius:var(--radius-control);flex-wrap:wrap;gap:8px;padding:12px;display:flex}.focused-counterexample-kind-confirmation p,.focused-counterexample-binder-confirmation p{flex-basis:100%;margin:0}.focused-counterexample-set-expression{border-left-color:var(--iltis-brown-3)}.focused-counterexample-subheading{color:#3e3a33;margin:0;font-size:13px;font-weight:700}.focused-counterexample-binder-row,.focused-counterexample-config-heading,.focused-counterexample-atom-row,.focused-counterexample-member-row{grid-template-columns:minmax(0,1fr) minmax(0,1fr) auto;align-items:start;gap:8px;min-width:0;display:grid}.focused-counterexample-config-heading,.focused-counterexample-atom-row,.focused-counterexample-member-row{grid-template-columns:minmax(0,1fr) auto}.focused-counterexample-inline-actions{flex-wrap:wrap;gap:7px;display:flex}.focused-counterexample-config-card{border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);background:#ffffff94;gap:10px;min-width:0;padding:10px;display:grid}.focused-counterexample-atom-choices{border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);flex-wrap:wrap;gap:8px 14px;min-width:0;margin:0;padding:8px 10px 10px;display:flex}.focused-counterexample-evidence-fields{grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;min-width:0;display:grid}.focused-rule-list{gap:8px}.focused-rule-row{border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);background:#ffffff8c;gap:8px;min-width:0;padding:10px 11px;display:grid}.focused-rule-row.selected{border-color:var(--iltis-blue-2);box-shadow:inset 3px 0 0 var(--iltis-blue-5);background:#ffffffd1}.focused-rule-heading{justify-content:space-between;align-items:center;gap:8px;min-width:0;display:flex}.focused-rule-selection{min-width:0;font-weight:700}.focused-rule-order{flex:none;gap:5px;display:flex}.focused-rule-definition{color:#4f4a43;font-size:13px;line-height:1.45}.focused-rule-definition.mixed-math-label,.focused-rule-note-preview.mixed-math-label{text-overflow:clip;white-space:normal;overflow:visible}.focused-rule-presentation{border-top:1px solid var(--iltis-grey-3)}.focused-rule-presentation>summary,.focused-authoring-advanced>summary{cursor:pointer;padding:9px 2px 3px;font-size:13px;font-weight:700}.focused-rule-presentation-fields{padding-top:9px}.focused-authoring .stacked-field textarea{resize:vertical;color:#000;background:var(--iltis-white);border:1px solid var(--iltis-grey-5);border-radius:var(--radius-control);width:100%;min-width:0;font:inherit;padding:7px 9px;font-weight:400;line-height:1.4}.focused-authoring .stacked-field textarea:disabled{color:var(--iltis-grey-5);background:var(--iltis-grey-1);border-color:var(--iltis-grey-3)}.focused-authoring-draft-issue{color:#5d3900;border-radius:var(--radius-control);background:#fff4d6;border:1px solid #d49a35;margin:0;padding:10px 12px;line-height:1.45}.focused-rule-note-preview{color:#4f4a43;background:var(--iltis-grey-1);border-radius:var(--radius-control);min-height:32px;padding:6px 9px;font-size:13px;line-height:1.45;display:block}.focused-authoring-advanced{border:1px solid var(--iltis-yellow-4);border-radius:var(--radius-control);background:#ffffff61;padding:0 11px 10px}.focused-authoring-advanced h3{padding-top:9px;font-size:14px}.focused-advanced-controls{grid-template-columns:repeat(2,minmax(0,1fr));align-items:end;gap:9px 12px;margin-top:9px;display:grid}.focused-advanced-controls>.checkbox-field{min-height:36px}.focused-authoring-advanced ul{color:#4f4a43;margin:7px 0 0;padding-left:20px;font-size:13px;line-height:1.5}.focused-advanced-spec-grid{grid-template-columns:minmax(120px,.65fr) minmax(0,1.35fr);gap:5px 12px;margin:8px 0 0;font-size:13px;line-height:1.45;display:grid}.focused-advanced-spec-grid dt{color:#2f3940;font-weight:600}.focused-advanced-spec-grid dd{color:#4f4a43;min-width:0;margin:0}.focused-advanced-workspace-state{margin-top:9px}.focused-authoring :is(input,select,textarea,button,summary):focus-visible{outline-offset:2px;outline:3px solid #20629159}.disabled-control-explanation{border-radius:var(--radius-control);cursor:not-allowed;min-width:0;max-width:100%;display:inline-flex;position:relative}.disabled-control-explanation--field,.disabled-control-explanation--field>:disabled{width:100%;display:block}.disabled-control-explanation--choice{flex:none}.disabled-control-explanation--action{justify-self:start;width:fit-content}.disabled-control-explanation--panel-button:not(.disabled-control-explanation--action),.disabled-control-explanation--panel-button>.panel-button,.disabled-control-explanation--proof-action>.add-line-button,.disabled-control-explanation--check>.check-button{width:100%}.proof-card-actions>.disabled-control-explanation--proof-action{flex:none;width:fit-content}.proof-card-actions>.disabled-control-explanation--proof-action>.reset-attempt-button{width:auto}.disabled-control-explanation--check{min-width:150px}.focused-add-row>.disabled-control-explanation--action{align-self:end}.focused-declaration-row>.disabled-control-explanation--icon,.focused-given-row>.disabled-control-explanation--icon{margin-top:24px}.disabled-control-explanation>:disabled{pointer-events:none}.disabled-control-explanation:focus-visible{outline-offset:2px;outline:3px solid #20629159}.disabled-control-tooltip{z-index:10000;visibility:hidden;width:max-content;max-width:min(280px,100vw - 64px);color:var(--iltis-white);border-radius:var(--radius-control);box-shadow:var(--shadow-button-hover);opacity:0;pointer-events:none;background:#302d28;border:0;margin:0;padding:7px 9px;font-size:12px;font-weight:500;line-height:1.35;transition:opacity .12s,transform .12s,visibility .12s linear;position:fixed;inset:auto;overflow:visible;transform:translateY(-2px)}.disabled-control-tooltip:before{content:"";border:5px solid #0000;width:0;height:0;position:absolute;inset-inline-start:var(--disabled-tooltip-arrow-x,16px);transform:translate(-50%)}.disabled-control-tooltip[data-placement=below]:before{border-bottom-color:#302d28;bottom:100%}.disabled-control-tooltip[data-placement=above]:before{border-top-color:#302d28;top:100%}.disabled-control-tooltip.visible:not([hidden]){visibility:visible;opacity:1;transform:translateY(0)}@media (width<=760px){.focused-family-cards,.focused-authoring-grid--basics,.focused-authoring-math-pair,.focused-declaration-fields,.focused-add-row,.focused-advanced-controls,.focused-counterexample-binder-row,.focused-counterexample-evidence-fields{grid-template-columns:minmax(0,1fr)}.focused-counterexample-node .focused-counterexample-node{margin-left:0}.focused-math-divider{justify-self:center;padding:0}.focused-declaration-row,.focused-given-row{grid-template-columns:auto minmax(0,1fr)}.focused-declaration-row>.focused-icon-button,.focused-given-row>.focused-icon-button,.focused-declaration-row>.disabled-control-explanation--icon,.focused-given-row>.disabled-control-explanation--icon{grid-column:2;justify-self:end;margin-top:0}.focused-given-row .focused-authoring-math-pair{grid-column:2}.focused-freshness-row{grid-template-columns:minmax(0,1fr) auto}.focused-freshness-relation{grid-column:1/-1;padding:0}}@media (width<=520px){.teacher-drawer-body{padding:16px}.drawer-actions{grid-template-columns:minmax(0,1fr)}.drawer-actions>*,.drawer-actions>.disabled-control-explanation{grid-column:1}.focused-family-card{grid-template-columns:minmax(0,1fr)}.focused-family-card>:is(.focused-action-button,.disabled-control-explanation--action){grid-area:auto/1;max-width:none}}.panel-help{color:#4f4a43;margin:-2px 0 2px;font-size:13px;line-height:1.45}.stacked-field{color:#000;gap:6px;min-width:0;font-size:14px;font-weight:500;display:grid}.stacked-field input,.stacked-field select,.logical-formula-input{color:#000;background:var(--iltis-white);border:1px solid var(--iltis-grey-5);border-radius:var(--radius-control);width:100%;min-width:0;min-height:36px;padding:6px 9px;font-weight:400}.stacked-field input:disabled,.stacked-field select:disabled,.logical-formula-input:disabled{color:var(--iltis-grey-5);background:var(--iltis-grey-1);border-color:var(--iltis-grey-3)}.logical-formula-editor{color:#000;gap:7px;min-width:0;font-size:14px;font-weight:500;display:grid}.logical-formula-label{display:block}.logical-formula-preview{color:#000;border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);background:#ffffffb8;align-items:center;min-height:34px;padding:5px 9px;font-weight:400;display:flex;overflow-x:auto}.logical-formula-preview .appMathSvg{max-width:none}.blockly-logical-formula-preview{background:#fffdf8;min-width:min(420px,72vw);min-height:42px}.blockly-focused-math-field>.blockly-focused-math-field-border{fill:#ffffff7a;stroke:#2e5b8057;stroke-width:1px}.blockly-focused-math-field:is(:hover,.blocklyActiveFocus,:focus-visible)>.blockly-focused-math-field-border{fill:var(--iltis-white);stroke:#2e5b80;stroke-width:2px}.blockly-focused-math-svg{overflow:visible}.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:#000;background:var(--iltis-grey-2);border-radius:var(--radius-key);cursor:pointer;border:0;place-items:center;min-width:33px;height:33px;padding:0 8px;font-weight:500;line-height:1;display:inline-grid}.logical-formula-key:hover:not(:disabled){background:var(--iltis-grey-3)}.logical-formula-key:active:not(:disabled){color:var(--iltis-white);background:var(--iltis-grey-5)}.logical-formula-key:disabled{color:var(--iltis-grey-5);background:var(--iltis-grey-1);cursor:not-allowed}.blockly-logical-formula-input{text-align:left;width:180px}.blockly-logical-formula-panel{color:#000;background:var(--iltis-white);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);width:min(340px,82vw);box-shadow:var(--shadow-interaction);gap:7px;margin-top:6px;padding:10px;display:grid}.blocklyMathSvg{pointer-events:none;overflow:visible}.toolbar-block-list{gap:8px;display:grid}.toolbar-block-category-group{--category-accent:var(--iltis-grey-5);--category-tint:var(--iltis-grey-1);background:var(--iltis-white);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);overflow:hidden}.toolbar-block-category-group[data-category=proof]{--category-accent:var(--iltis-forestgreen-5);--category-tint:var(--iltis-forestgreen-1)}.toolbar-block-category-group[data-category=calculation]{--category-accent:var(--iltis-orange-5);--category-tint:var(--iltis-orange-1)}.toolbar-block-category-group[data-category=natural-deduction]{--category-accent:var(--iltis-purple-5);--category-tint:var(--iltis-purple-1)}.toolbar-block-category-group[data-category=sequent-calculus]{--category-accent:var(--iltis-red-5);--category-tint:var(--iltis-red-1)}.toolbar-block-category-group summary{color:#000;letter-spacing:.025em;text-transform:uppercase;background:var(--category-tint);border-left:6px solid var(--category-accent);cursor:pointer;justify-content:space-between;align-items:center;gap:8px;min-height:38px;padding:7px 9px;font-size:12px;font-weight:700;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 #000;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:#000;letter-spacing:normal;background:#ffffffb3;border-radius:999px;flex:none;place-items:center;min-width:23px;height:21px;padding:0 6px;font-size:11px;display:inline-grid}.toolbar-block-category-items{gap:6px;padding:7px;display:grid}.toolbar-block-item{color:#000;text-align:left;background:var(--iltis-white);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);cursor:pointer;gap:4px;width:100%;min-height:50px;padding:8px 9px;display:grid;overflow:hidden}.toolbar-block-item:hover,.toolbar-block-item.selected{border-color:var(--iltis-blue-5)}.toolbar-block-item.selected{background:var(--iltis-blue-1)}.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-size:14px;font-weight:500;overflow:hidden}.toolbar-block-item.selected .toolbar-block-item-label{font-weight:700}.toolbar-block-origin{color:#4f4a43;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:11px;font-weight:400;overflow:hidden}.toolbar-block-origin code,.template-origin-id code,.field-placeholder-hint{font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.toolbar-block-origin code{color:#292622;font-size:inherit}.proof-step-variant-count{color:#000;background:var(--iltis-grey-1);border-radius:999px;flex:none;padding:2px 6px;font-size:11px;font-weight:500}.empty-state{color:var(--iltis-grey-5);padding:8px 0;font-size:13px}.block-editor{border-top:1px solid var(--iltis-yellow-3);padding-top:12px}.template-origin-card{background:var(--iltis-blue-1);border:1px solid var(--iltis-blue-2);border-left:4px solid var(--iltis-blue-5);border-radius:var(--radius-control);gap:6px;margin-bottom:4px;padding:10px;display:grid}.template-origin-header{justify-content:space-between;align-items:center;gap:8px;display:flex}.template-origin-eyebrow{color:#000;letter-spacing:.035em;text-transform:uppercase;font-size:11px;font-weight:700}.template-origin-category{color:#000;background:var(--iltis-white);border-radius:999px;flex:none;padding:2px 6px;font-size:10px;font-weight:700}.template-origin-label{color:#000;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:14px;font-weight:500;overflow:hidden}.template-origin-id{color:#3e3a34;align-items:baseline;gap:7px;min-width:0;font-size:11px;display:flex}.template-origin-id code{color:#000;min-width:0;font-size:inherit;text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.proof-step-explanation{color:#3e3a34;margin:-2px 0 12px;font-size:13px;line-height:1.45}.proof-step-profile-section{background:var(--iltis-yellow-0);border:1px solid var(--iltis-yellow-3);border-radius:var(--radius-control);gap:10px;padding:10px;display:grid}.proof-step-add-row{border-top:1px solid var(--iltis-yellow-3);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:#5f4710;margin:0;font-size:12px;line-height:1.4}.proof-step-preview{background:var(--iltis-blue-1);border-left:4px solid var(--iltis-blue-5);border-radius:var(--radius-key);gap:5px;margin:12px 0 2px;padding:10px;display:grid}.proof-step-rule-name{color:var(--iltis-blue-5);letter-spacing:.03em;text-transform:uppercase;font-size:12px;font-weight:700}.proof-step-statement-preview{overflow-wrap:anywhere;color:#000;font-size:14px;line-height:1.45}.field-editor-row{border-top:1px solid var(--iltis-yellow-3);gap:8px;padding:10px 0;display:grid}.field-placeholder-hint{color:#3e3a34;font-size:12px}.checkbox-field{color:#000;align-items:center;gap:8px;font-size:13px;font-weight:500;display:flex}.checkbox-field input{width:17px;height:17px;accent-color:var(--iltis-blue-5);margin:0}.line-numbering-editor{border-top:1px solid var(--iltis-yellow-3);margin-top:4px;padding:10px 0}.developer-details{background:var(--iltis-grey-1);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-control);margin-top:6px;overflow:hidden}.developer-details summary{cursor:pointer;padding:9px 11px;font-size:14px;font-weight:700}.developer-details-content{gap:10px;padding:0 11px 11px;display:grid}.developer-details-content h3{color:#000;margin:0;font-size:13px;font-weight:700}.developer-details-content pre{color:#000;white-space:pre-wrap;overflow-wrap:anywhere;background:var(--iltis-white);border:1px solid var(--iltis-grey-3);border-radius:var(--radius-key);min-height:54px;max-height:220px;margin:0;padding:9px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:11px;line-height:1.45;overflow:auto}.blocklyRuleHelpMenuItem{width:min(38rem,100vw - 2rem);max-width:min(42rem,100vw - 2rem)}.blocklyRuleHelpMenuDescription{color:#3e3a34;white-space:normal;pointer-events:none;max-width:38rem;margin-top:3px;font-size:11px;font-weight:400;line-height:1.35;display:block}.blocklyRuleHelpLabel{cursor:help;text-underline-offset:2px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.blocklyToolbox,.blocklyToolboxDiv,.blocklyFlyout{font-family:Roboto,Arial,Helvetica,sans-serif}.blocklyToolbox,.blocklyToolboxDiv{border-right:1px solid var(--iltis-grey-3);background:var(--iltis-white)!important}.blocklyFlyoutBackground{filter:drop-shadow(3px 0 5px #00000024);fill:var(--iltis-white)!important;fill-opacity:1!important}.blocklyMainBackground{fill:var(--iltis-white)!important;stroke:none!important}.blocklyScrollbarHandle{fill:var(--iltis-grey-4)!important}.blocklyFlyoutLabelText{fill:#000!important;font-family:Roboto,Arial,Helvetica,sans-serif!important;font-size:15px!important;font-weight:700!important}.blocklyFlyoutLabel.toolbox-category-label .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section .blocklyFlyoutLabelBackground{opacity:1;fill:var(--iltis-grey-1);stroke:var(--iltis-grey-5);stroke-width:4px}.blocklyFlyoutLabel.toolbox-category--lean .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section--lean .blocklyFlyoutLabelBackground{fill:var(--iltis-blue-1);stroke:var(--iltis-blue-5)}.blocklyFlyoutLabel.toolbox-category--proof .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section--proof .blocklyFlyoutLabelBackground{fill:var(--iltis-forestgreen-1);stroke:var(--iltis-forestgreen-5)}.blocklyFlyoutLabel.toolbox-category--calculation .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section--calculation .blocklyFlyoutLabelBackground{fill:var(--iltis-orange-1);stroke:var(--iltis-orange-5)}.blocklyFlyoutLabel.toolbox-category--natural-deduction .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section--natural-deduction .blocklyFlyoutLabelBackground{fill:var(--iltis-purple-1);stroke:var(--iltis-purple-5)}.blocklyFlyoutLabel.toolbox-category--sequent-calculus .blocklyFlyoutLabelBackground,.blocklyFlyoutLabel.proofly-toolbox-section--sequent-calculus .blocklyFlyoutLabelBackground{fill:var(--iltis-red-1);stroke:var(--iltis-red-5)}.blocklyFlyoutLabel.proofly-toolbox-section{cursor:default}.blocklyFlyout .blocklyScrollbarHandle,.blocklyFlyoutScrollbar .blocklyScrollbarHandle{fill:var(--iltis-grey-4)!important;fill-opacity:1!important}.blocklyFlyoutScrollbar.blocklyScrollbarVertical{z-index:30}.focused-task:not(.focused-equivalence-law-blocks):not(.focused-counterexample):not(.focused-lk) .blocklyToolbox,.focused-task:not(.focused-equivalence-law-blocks):not(.focused-counterexample):not(.focused-lk) .blocklyToolboxDiv,.focused-task:not(.focused-equivalence-law-blocks):not(.focused-counterexample):not(.focused-lk) .blocklyFlyout{display:none!important}:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyToolbox,:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyToolboxDiv{box-shadow:none;border:0;background:#f3f7fb!important;display:none!important}:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyFlyoutBackground{stroke:none;filter:none;fill:#f3f7fb!important}:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyFlyout{box-shadow:none;border-right:1px solid #c9d6e3}.block-palette-right .blocklyFlyout{border-left:1px solid #c9d6e3;border-right:0}.blocklyFlyoutLabel.proofly-palette-heading .blocklyFlyoutLabelBackground{x:0;y:-1px;rx:4px;opacity:1;width:8px;height:23px;fill:var(--proofly-palette-swatch,var(--iltis-grey-4));stroke:none}.blocklyFlyoutLabel.proofly-palette-heading .blocklyFlyoutLabelText{transform:translate(20px);fill:#2e5b80!important;font-size:17px!important;font-weight:700!important}.blocklyFlyoutLabel.proofly-palette-heading{cursor:default}.blocklyFlyoutLabel.proofly-palette-title .blocklyFlyoutLabelBackground{fill:none;stroke:none}.blocklyFlyoutLabel.proofly-palette-title .blocklyFlyoutLabelText{fill:#1b1b1b!important;font-size:22px!important;font-weight:700!important}.blocklyFlyoutLabel.proofly-palette-title{cursor:default}.block-palette-toggle[aria-expanded=true]{background:var(--iltis-blue-1);border-color:#8faec5}.focused-task .proofly-lk-rule>.blocklyPath,.focused-lk .blocklyFlyout .blocklyDraggable>.blocklyPath{fill:var(--proofly-rule-color,#e5d9f6)!important;stroke:#7f7890!important}.proofly-lk-action{cursor:pointer}.proofly-lk-action text{fill:#244a67;text-decoration:underline}.proofly-lk-action:focus{outline-offset:3px;outline:2px solid #2e5b80}.proofly-lk-slot-selected>.blocklyPath{stroke:#2e5b80!important;stroke-width:2px!important}:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyToolboxCategory{color:#171717;border-radius:var(--radius-control);background:0 0;margin:4px 5px}:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyToolboxCategory:hover,:is(.focused-equivalence-law-blocks,.focused-counterexample,.focused-lk) .blocklyToolboxCategory.blocklyToolboxSelected{color:#171717;background:var(--iltis-blue-1)}.focused-task .blocklyMainBackground{fill:#fff;stroke:none}.focused-task .blocklyPath{stroke-width:1px;filter:none}.focused-lk .blocklyPath{fill:#f3ddd7!important;stroke:#b66f60!important}.focused-equivalence .blocklyPath{fill:#e7edf7!important;stroke:#718cad!important}.focused-counterexample .blocklyPath{fill:#e5f2eb!important;stroke:#6f927e!important}.focused-task :is(.proofly-focused-chain-root,.proofly-focused-list)>.blocklyPath{stroke-width:1.5px!important;filter:none!important}.focused-task :is(.proofly-focused-chain-root,.proofly-focused-list)>.blocklyOutlinePath{fill:#0000!important;stroke:#0000!important}.focused-lk :is(.proofly-focused-chain-root,.proofly-focused-list)>.blocklyPath{fill:#fbefec!important;stroke:var(--iltis-red-5)!important}.focused-equivalence :is(.proofly-focused-chain-root,.proofly-focused-list)>.blocklyPath{fill:#f2f6fb!important;stroke:var(--iltis-blue-4)!important}.focused-counterexample :is(.proofly-focused-chain-root,.proofly-focused-list,.proofly-focused-counterexample-list)>.blocklyPath{fill:#f2f8f5!important;stroke:#58806b!important}.focused-task .proofly-fixed-task-section>.blocklyPath{fill:#e9edf0!important;stroke:#8e9aa5!important;filter:none!important}.focused-task .proofly-fixed-task-section,.focused-task .proofly-fixed-task-section .blocklyImageField{cursor:default}.focused-task .proofly-fixed-task-section>:is(.blocklyPathLight,.blocklyPathDark,.blocklyPathSelected,.blocklyHighlightedConnectionPath){display:none}.focused-task .proofly-focused-lk-row>.blocklyPath{fill:#f3ddd7!important;stroke:#b66f60!important}.focused-task .proofly-focused-lk-given>.blocklyPath{fill:#f8e9e5!important;stroke:#b66f60!important}.focused-task .proofly-focused-equivalence-row>.blocklyPath{fill:#e7edf7!important;stroke:#718cad!important}.focused-task .proofly-focused-equivalence-start>.blocklyPath{fill:#f8faff!important;stroke:#718cad!important}.focused-counterexample :is(.proofly-focused-counterexample-row,.proofly-counterexample-valuation,.proofly-counterexample-evaluation,.proofly-counterexample-equivalence-evidence)>.blocklyPath{fill:#e5f2eb!important;stroke:#6f927e!important}.focused-counterexample :is(.proofly-counterexample-witness,.proofly-counterexample-assignment,.proofly-counterexample-evaluation-rule,.proofly-counterexample-equivalence-row)>.blocklyPath{fill:#f4f8f6!important;stroke:#789486!important}.focused-counterexample .proofly-counterexample-conclusion>.blocklyPath{fill:#d7ebdf!important;stroke:#47715b!important;stroke-width:1.5px!important}.focused-equivalence .proofly-focused-equivalence-law>.blocklyPath{fill:var(--iltis-blue-5)!important;stroke:#173e5e!important;stroke-width:1.5px!important;filter:drop-shadow(0 1px 1px #0000001f)!important}.focused-equivalence .proofly-focused-equivalence-law .blocklyText{font-weight:500;fill:var(--iltis-white)!important}.focused-equivalence .proofly-focused-equivalence-law image{filter:brightness(0)invert()}.blocklyFocusedLkSideCondition{font-style:italic;fill:#473f39!important;font-size:11px!important}.focused-task .blocklyText,.focused-task .blocklyEditableText>text,.focused-task .blocklyNonEditableText>text{fill:#171717!important}.focused-task .blocklyEditableText:not(.blockly-focused-math-field)>rect,.focused-task .blocklyNonEditableText:not(.blockly-focused-math-field)>rect{fill:#ffffffe6!important;stroke:#00000029!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-equivalence-row,.proofly-focused-counterexample-row,.proofly-counterexample-assignment,.proofly-counterexample-evaluation-rule,.proofly-counterexample-equivalence-row) .blocklyDropdownRect{fill:var(--iltis-white)!important;stroke:var(--iltis-grey-4)!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-equivalence-row,.proofly-focused-counterexample-row,.proofly-counterexample-assignment,.proofly-counterexample-evaluation-rule,.proofly-counterexample-equivalence-row) .blocklyDropdownText{fill:#171717!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-equivalence-row,.proofly-focused-counterexample-row,.proofly-counterexample-assignment,.proofly-counterexample-evaluation-rule,.proofly-counterexample-equivalence-row) .blocklyEditableField:not(.blocklyEditing):hover>.blocklyDropdownRect{stroke:var(--iltis-blue-5)!important;stroke-width:2px!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-equivalence-row,.proofly-focused-counterexample-row,.proofly-counterexample-assignment,.proofly-counterexample-evaluation-rule,.proofly-counterexample-equivalence-row) .blocklyDropdownField:is(.blocklyActiveFocus,:focus-visible)>.blocklyDropdownRect{stroke:var(--iltis-focus)!important;stroke-width:2px!important}.focused-task .blocklyMainWorkspaceScrollbar{opacity:.65;pointer-events:auto}.blocklyDropDownDiv.proofly_rows-renderer{border-radius:var(--radius-control);box-shadow:var(--shadow-interaction);color:#171717!important;background:var(--iltis-white)!important;border-color:var(--iltis-grey-4)!important}.blocklyDropDownDiv.proofly_rows-renderer .blocklyMenuItemContent{color:#171717!important}.blocklyDropDownDiv.proofly_rows-renderer .blocklyMenuItemHighlight,.blocklyDropDownDiv.proofly_rows-renderer .blocklyMenuItemSelected{background:var(--iltis-blue-1)!important}.focused-task .blocklyFocusedTaskContextHeading{font-weight:700;fill:#2e4050!important;font-size:14px!important}.focused-task .blocklyFocusedTaskContextText{fill:#171717!important;font-size:15px!important}.focused-task .blocklyFocusedRootAddStep{text-underline-offset:3px;font-weight:700;text-decoration:underline;fill:var(--iltis-blue-5)!important;font-size:14px!important}.focused-task [role=button]:hover>.blocklyFocusedRootAddStep,.focused-task [role=button]:focus-visible>.blocklyFocusedRootAddStep{fill:#173e5e!important}.focused-task [role=button]:focus-visible{outline:3px solid var(--iltis-focus);outline-offset:3px}.focused-task .blocklyFocusedRootAddStep--disabled .blocklyFocusedRootAddStep,.focused-task .blocklyFocusedRootAddStep.blocklyFocusedRootAddStep--disabled{opacity:.75;text-decoration:none;fill:var(--iltis-grey-5)!important}@media (width<=1100px){.topbar{gap:16px}.control-label{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.task-picker{max-width:320px}.tree-picker{max-width:220px}.header-button{padding-inline:10px}:is(.proof-stage,.proof-stage:has(.reference-panel[hidden])){grid-template-columns:minmax(0,1fr);position:relative}.proof-stage:not(.proof-focus-mode) .reference-panel{z-index:6;border-radius:var(--radius-card) 0 0 var(--radius-card);border-block:0;border-inline-end:0;width:min(92vw,360px);height:100%;max-height:100%;position:absolute;inset:0 0 0 auto}}@media (width<=820px){.app-shell{grid-template-rows:auto minmax(0,1fr) auto}.topbar{flex-wrap:wrap;gap:8px 14px;min-height:64px;padding-block:10px;position:relative}.brand{margin-right:auto}.topbar-controls{flex:0 0 100%;order:2;grid-template-columns:minmax(0,1fr) auto auto;gap:8px;display:grid}.task-picker{width:100%;max-width:none}.main-layout{padding:20px 14px 30px}.task-card-body{padding:24px 18px 30px}.workspace-panel{height:max(480px,58vh)}:is(.proof-stage,.proof-stage:has(.reference-panel[hidden])){grid-template-columns:minmax(0,1fr)}.reference-panel{max-height:min(52vh,520px)}.feedback-region{grid-template-columns:minmax(0,1fr) auto}.teacher-drawer{width:calc(100vw - 24px);max-height:calc(100vh - 24px);inset:12px}}@media (width<=620px){body{font-size:18px}.topbar-controls{grid-template-columns:1fr 1fr}.mode-switch,.header-button{justify-self:stretch}.mode-switch{justify-content:center;min-height:36px}.task-heading-group{gap:1px;display:grid}.task-card-header h1{font-size:25px}.task-card-body{padding-inline:12px}.task-statement{grid-template-columns:36px minmax(0,1fr);gap:12px}.task-statement-icon{width:34px;height:34px}.task-statement-content p{font-size:18px}.focused-task-section{grid-template-columns:minmax(0,1fr);gap:4px}.proof-card-header h2{font-size:22px}.focused-task .proof-card-header{grid-template-columns:minmax(0,1fr) auto;display:grid}.focused-task .proof-card-header h2{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.focused-task .proof-card-actions{flex:none}.proof-reset-button-label{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.proof-reset-button{width:42px;min-height:42px;padding:0}.workspace-panel{height:58vh;min-height:400px}.feedback-message{grid-template-columns:36px minmax(0,1fr)}.feedback-copy{padding:12px 14px}.check-button,.disabled-control-explanation--check{width:100%}.feedback-region{grid-template-columns:minmax(0,1fr)}.drawer-actions,.proof-step-add-row{grid-template-columns:1fr}}@media (height<=700px) and (width>=621px){.workspace-panel{height:54vh;min-height:380px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}html.proof-focus-active,body.proof-focus-active{overscroll-behavior:none;overflow:hidden}.proof-stage.proof-focus-mode{z-index:2000;width:100%;max-width:none;height:100dvh;padding:env(safe-area-inset-top) env(safe-area-inset-right) env(safe-area-inset-bottom) env(safe-area-inset-left);background:var(--iltis-brown-1);overscroll-behavior:none;grid-template-rows:minmax(0,1fr);grid-template-columns:minmax(0,1fr) minmax(280px,360px);margin:0;display:grid;position:fixed;inset:0;overflow:hidden}.proof-stage.proof-focus-mode:has(.reference-panel[hidden]){grid-template-columns:minmax(0,1fr)}.proof-focus-mode .proof-card{width:100%;height:100%;min-height:0;box-shadow:none;border-radius:0;grid-template-rows:max-content max-content minmax(0,1fr) max-content;margin:0;display:grid}.focused-task .proof-focus-context{display:none!important}.focused-task .proof-focus-mode .proof-card{grid-template-rows:max-content minmax(0,1fr) max-content}.proof-focus-mode .proof-card:has(>.proof-focus-context[hidden]){grid-template-rows:max-content minmax(0,1fr) max-content}.proof-focus-mode .reference-panel{height:100%;max-height:none;box-shadow:none;border-block:0;border-inline-end:0;border-radius:0}.proof-focus-mode .reference-panel-content{max-height:calc(100dvh - 70px)}.proof-focus-context{display:none}@media (width<=1100px){:is(.proof-stage.proof-focus-mode,.proof-stage.proof-focus-mode:has(.reference-panel[hidden])){grid-template-columns:minmax(0,1fr)}.proof-focus-mode .reference-panel{z-index:6;border-inline-start:1px solid #bdd2e2;width:min(92vw,360px);height:calc(100% - 58px);position:absolute;inset:58px 0 0 auto}}.proof-focus-mode .proof-focus-context:not([hidden]){background:var(--iltis-yellow-0);border-bottom:1px solid var(--iltis-yellow-4);gap:8px;min-height:0;padding:10px clamp(12px,2.2vw,28px);display:grid;overflow:hidden}.proof-focus-context-group{grid-template-columns:minmax(82px,auto) minmax(0,1fr);align-items:start;gap:8px 14px;min-width:0;display:grid}.proof-focus-context-heading{margin:2px 0 0;font-size:15px;font-weight:700;line-height:1.35}.proof-focus-context-value{flex-wrap:wrap;align-items:center;gap:6px;min-width:0;font-size:17px;line-height:1.4;display:flex}.proof-focus-context-given-list{overscroll-behavior:contain;scrollbar-gutter:stable;gap:6px;min-width:0;max-height:min(17dvh,150px);padding-inline-end:4px;display:grid;overflow-y:auto}.proof-focus-context-given-list:focus-visible{outline:3px solid var(--iltis-blue-5);outline-offset:2px}.proof-focus-context-givens{min-height:0}.proof-focus-context-given{border-left:3px solid var(--iltis-yellow-5);border-radius:0 var(--radius-control) var(--radius-control) 0;background:#ffffff9e;align-items:center;gap:8px;min-width:0;padding:5px 8px;font-size:16px;line-height:1.35;display:flex}.proof-focus-context-line-number{border-radius:999px;flex-basis:auto;width:auto;min-width:max-content;height:26px;padding-inline:7px;font-size:12px}.proof-focus-context-empty{color:#4f4a43;margin:0;font-size:16px}.proof-focus-context .task-inline-field input,.proof-focus-context .task-formula-editor .logical-formula-input{min-height:34px;padding-block:4px}.proof-focus-context .task-formula-editor{flex-basis:260px;padding:6px}.proof-focus-mode .workspace-panel{height:auto;min-height:0;overflow:hidden}.proof-focus-mode .feedback-region{min-height:0;padding-bottom:max(8px, env(safe-area-inset-bottom))}.proof-focus-mode .blockly-workspace{min-height:0}body.proof-focus-active .blocklyDropDownDiv,body.proof-focus-active .blocklyWidgetDiv,body.proof-focus-active .blocklyTooltipDiv{z-index:3000!important}@media (width<=620px){.proof-focus-button{width:44px;min-height:44px;padding:0}.proof-focus-button-label{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.proof-focus-mode .proof-card-header{gap:8px;padding-inline:12px}:is(.proof-stage.proof-focus-mode,.proof-stage.proof-focus-mode:has(.reference-panel[hidden])){grid-template-columns:minmax(0,1fr)}.proof-focus-mode .reference-panel{z-index:4;border-inline-start:1px solid #bdd2e2;width:min(92vw,360px);position:absolute;inset:58px 0 0 auto}.proof-focus-mode .proof-focus-context:not([hidden]){padding:8px 10px}.proof-focus-context-group{grid-template-columns:minmax(0,1fr);gap:3px}.proof-focus-context-heading{margin-top:0}.proof-focus-context-given-list{max-height:min(18dvh,128px)}.proof-focus-context-value,.proof-focus-context-given{font-size:14px}}html.showcase-mode,html.showcase-mode body,body.showcase-mode{background:var(--iltis-white);overscroll-behavior:none;overflow:hidden}html.showcase-mode .app-shell,body.showcase-mode .app-shell,.app-shell.showcase-mode{background:var(--iltis-white);min-height:100vh;display:block}html.showcase-mode #topbar,body.showcase-mode #topbar,.app-shell.showcase-mode>#topbar,html.showcase-mode #task-card-header,body.showcase-mode #task-card-header,.app-shell.showcase-mode #task-card-header,html.showcase-mode #task-statement,body.showcase-mode #task-statement,.app-shell.showcase-mode #task-statement,html.showcase-mode #task-description,body.showcase-mode #task-description,.app-shell.showcase-mode #task-description,html.showcase-mode #proof-focus-toggle,body.showcase-mode #proof-focus-toggle,.app-shell.showcase-mode #proof-focus-toggle,html.showcase-mode .build-information,body.showcase-mode .build-information,.app-shell.showcase-mode>.build-information{display:none!important}html.showcase-mode #main-layout,body.showcase-mode #main-layout,.app-shell.showcase-mode #main-layout{min-height:100vh;padding:0}html.showcase-mode #task-shell,body.showcase-mode #task-shell,.app-shell.showcase-mode #task-shell{width:100%;max-width:none;box-shadow:none;background:0 0;border-radius:0;margin:0;overflow:visible}html.showcase-mode .task-card-body,body.showcase-mode .task-card-body,.app-shell.showcase-mode .task-card-body{padding:0}html.showcase-mode #proof-stage,body.showcase-mode #proof-stage,.app-shell.showcase-mode #proof-stage{z-index:2000;width:100%;max-width:none;height:100dvh;margin:0;position:fixed;inset:0}html.showcase-mode #proof-card,body.showcase-mode #proof-card,.app-shell.showcase-mode #proof-card{box-shadow:none;border-radius:0}#proof-heading:empty:before{content:"Proof"}html.showcase-mode #proof-heading:empty:before{content:"Proofly"}html.showcase-mode #proof-heading,body.showcase-mode #proof-heading,.app-shell.showcase-mode #proof-heading{overflow-wrap:anywhere;white-space:normal;flex:auto;min-width:0;font-size:clamp(18px,2.2vw,25px);line-height:1.2}.showcase-error{display:none}html.showcase-mode.showcase-error-state #app>:not(#showcase-error),body.showcase-mode.showcase-error-state #app>:not(#showcase-error),.app-shell.showcase-mode.showcase-error-state>:not(#showcase-error){display:none!important}html.showcase-mode.showcase-error-state #showcase-error:not([hidden]),body.showcase-mode.showcase-error-state #showcase-error:not([hidden]),.app-shell.showcase-mode.showcase-error-state>#showcase-error:not([hidden]){z-index:4000;background:var(--iltis-brown-1);place-items:center;min-width:320px;min-height:100vh;padding:24px;display:grid;position:fixed;inset:0}.showcase-error-card{background:var(--iltis-white);border-top:8px solid var(--iltis-blue-2);border-radius:var(--radius-card);width:min(560px,100%);box-shadow:var(--shadow-card);padding:clamp(24px,5vw,46px)}.showcase-error-kicker{color:var(--iltis-blue-5);letter-spacing:.055em;text-transform:uppercase;margin-bottom:8px;font-size:14px;font-weight:700;display:block}.showcase-error-card h1{margin:0 0 12px;font-size:clamp(25px,5vw,36px);font-weight:500;line-height:1.2}.showcase-error-card p{margin:0;font-size:18px;line-height:1.5}@media (height<=820px) and (width>=821px){.main-layout{padding:16px 24px 24px}.task-card-header{min-height:52px;padding:10px 24px}.task-card-header h1{font-size:25px}.task-card-body{padding:16px 20px 20px}.workspace-panel{height:max(300px,100dvh - 278px);min-height:300px}.proof-card-header{gap:10px;padding:6px 12px}.proof-card-header h2{font-size:21px}}@media (width<=620px){.showcase-mode .proof-card-header{grid-template-columns:minmax(0,1fr)}.showcase-mode .proof-card-actions{flex-wrap:wrap}.task-heading-group{display:block}.task-selection-kind{padding:2px 4px;font-size:11px}.confirmation-actions{flex-wrap:wrap}}:root{--proof-structure:var(--iltis-grey-5);--proof-structure-border:#575654;--proof-fixed:var(--iltis-grey-1);--proof-formula:var(--iltis-purple-1);--proof-witness:var(--iltis-blue-1);--proof-evidence:var(--iltis-orange-1);--proof-evaluation:var(--iltis-yellow-1);--proof-conclusion:#cff0ee}.focused-task :is(.proofly-focused-list,.proofly-focused-counterexample-list)>.blocklyPath{fill:var(--proof-structure)!important;stroke:var(--proof-structure-border)!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-lk-given,.proofly-focused-equivalence-row,.proofly-focused-equivalence-start,.proofly-counterexample-equivalence-row)>.blocklyPath{fill:var(--proof-formula)!important;stroke:var(--iltis-purple-5)!important}.focused-task :is(.proofly-counterexample-witness,.proofly-counterexample-valuation,.proofly-counterexample-assignment)>.blocklyPath{fill:var(--proof-witness)!important;stroke:var(--iltis-blue-4)!important}.focused-task :is(.proofly-counterexample-evaluation,.proofly-counterexample-equivalence-evidence)>.blocklyPath{fill:var(--proof-evidence)!important;stroke:var(--iltis-orange-5)!important}.focused-task .proofly-counterexample-evaluation-rule>.blocklyPath{fill:var(--proof-evaluation)!important;stroke:var(--iltis-yellow-5)!important}.focused-task .proofly-counterexample-conclusion>.blocklyPath{fill:var(--proof-conclusion)!important;stroke:#468780!important}.focused-task .proofly-focused-list>.leanBlocklyLineNumberSegment text{fill:#5c4d3f}.focused-task .proofly-focused-list text.blocklyFocusedRootAddStep{fill:#3f3527!important;font-size:13px!important;text-decoration:none!important}.proofly-add-step-button-surface{fill:#fff;stroke:#c6b4a3;stroke-width:1px}.focused-task .proofly-focused-list [role=button]:hover~[data-proof-surface=add-step-button],.focused-task .proofly-focused-list [role=button]:focus~[data-proof-surface=add-step-button]{fill:#f6f1ea}.focused-task .proofly-focused-list [role=button]:hover>.blocklyFocusedRootAddStep{fill:#1f1a12!important}.focused-task :is(.proofly-focused-lk-row,.proofly-focused-lk-given,.proofly-focused-equivalence-row,.proofly-focused-equivalence-start)>.blocklyPath{fill:#e3d5fb!important;stroke:#c1aedc!important}.focused-task .proofly-fixed-task-section>.blocklyPath{fill:#696d6e!important;stroke:#696d6e!important}.proofly-goal-surface,.proofly-context-surface{fill:#cee1fc;stroke:#bdcff0;stroke-width:1px}.proofly-context-label-surface{fill:#696d6e;stroke:none}.focused-task .proofly-fixed-task-section .blocklyFocusedTaskContextHeading{fill:#fff!important}.focused-task .proofly-focused-equivalence-law>.blocklyPath{fill:#ffdf96!important;stroke:#dca947!important}.focused-task .proofly-focused-equivalence-law .blocklyText{fill:#253343!important}.focused-task .proofly-lk-rule>.blocklyPath{fill:var(--proofly-rule-color)!important;stroke:#a5b2c0!important}.proofly-rule-parameter-surface{fill:#fff;fill-opacity:.65;stroke:#b5bdc6;stroke-opacity:.4;stroke-width:1px}.focused-task text.proofly-lk-rule-hint{fill:#4a5563!important;font-size:12px!important}.focused-task :is(.blocklyEditableText,.blocklyNonEditableText)>rect,.focused-task .blockly-focused-math-field-border{rx:6px;ry:6px;fill:#fff!important;fill-opacity:.94!important;stroke:#d5cde2!important;stroke-width:1px!important}.focused-task .blocklyEditableField:hover>rect{stroke:#8a71b3!important}.focused-task .proofly-lk-action,.focused-task .proofly-lk-action text{text-decoration:none}.focused-task .leanBlocklyLineNumberSegment text{font-size:14px;fill:#283548!important}.proofly-number-preview{fill:#f0f1f3;stroke:#d6d9de;opacity:.5}.proofly-detached-proof-row>.blocklyPath{fill-opacity:.5!important}.blocklyDragging .proofly-rule-parameter-surface{fill-opacity:.18}.blocklyDragging .proofly-lk-rule [data-proof-surface=parameters]~.blocklyEditableText{opacity:.55}.proofly-number-enter{animation:.18s ease-out both proofly-number-appear}@keyframes proofly-number-appear{0%{opacity:0}to{opacity:1}}@media (prefers-reduced-motion:reduce){.proofly-number-enter{animation:none}}.blocklyDragging :is(.proofly-rule-parameter-surface,[data-proof-surface=number-preview]),.blocklyDragging .proofly-counterexample-valuation .blocklyEditableField{opacity:.45;transition:opacity .16s}.focused-task .proofly-counterexample-equivalence-row>.blocklyPath{fill:#e3d5fb!important}.blocklyDragging .proofly-rule-argument{opacity:.45}.proofly-rule-argument{transition:opacity .16s ease-out}@media (prefers-reduced-motion:reduce){.proofly-rule-argument{transition:none}}.focused-task .blocklyPath{transition:fill-opacity .16s ease-out}.blocklyDragging:is(.proofly-counterexample-valuation,.proofly-compact-witness-group) .blocklyEditableText{opacity:.45}@media (prefers-reduced-motion:reduce){.focused-task .blocklyPath{transition:none}}.focused-task :is(.proofly-focused-list,.proofly-focused-counterexample-list,.proofly-fixed-task-section)>.blocklyPath,.proofly-frame-extension{fill:#696d6e!important;stroke:#696d6e!important}.focused-task :is(.proofly-focused-list,.proofly-focused-counterexample-list,.proofly-fixed-task-section)>:is(.blocklyPathLight,.blocklyPathDark){display:none}.focused-task .blocklySelected>.blocklyPath{stroke:#2e5b80!important;stroke-width:2px!important}.blocklyPath:focus-visible,.blocklyPath:focus,g.blocklyBlock:focus-visible,g.blocklyBlock:focus{outline:none}.focused-task .blocklyPath.blocklyActiveFocus{stroke:#2e5b80!important;stroke-width:2px!important}.proofly-selection-outline{fill:none;stroke:#2e5b80;stroke-width:2px;shape-rendering:geometricprecision}.proofly-workspace-settling .blocklySvg{opacity:0}html.showcase-mode .feedback-region{margin-left:var(--proofly-palette-width,0px);width:auto}html.showcase-mode .proof-card{background:linear-gradient(to right, #f3f7fb 0 calc(var(--proofly-palette-width,0px) - 1px), #c9d6e3 calc(var(--proofly-palette-width,0px) - 1px) var(--proofly-palette-width,0px), #fff var(--proofly-palette-width,0px))}html.showcase-mode :is(.header-button,.check-button,.icon-button,.proof-reset-button){background:#ffc97d}html.showcase-mode .proof-reset-button{border-color:#e0a34c}html.showcase-mode :is(.header-button,.check-button,.icon-button):hover:not(:disabled),html.showcase-mode :is(.header-button,.check-button,.icon-button):active:not(:disabled),html.showcase-mode .proof-reset-button:hover:not(:disabled),html.showcase-mode .proof-reset-button:active:not(:disabled){background:var(--iltis-yellow-4)}.proofly-content-fits-x .blocklyScrollbarHorizontal,.proofly-content-fits-y .blocklyScrollbarVertical{display:none}.proofly-proof-body-surface{fill:#fff;stroke:none}.proofly-steps-container-surface{fill:#e3d5c8;stroke:#c6b4a3;stroke-width:1px}.focused-task .proofly-derived-context>.blocklyPath,.focused-task .proofly-fixed-task-content>.blocklyPath{fill-opacity:0!important;stroke-opacity:0!important}.focused-task .proofly-fixed-task-content>:is(.blocklyPathLight,.blocklyPathDark,.blocklyPathSelected,.blocklyHighlightedConnectionPath){display:none}.focused-task .proofly-fixed-task-content{cursor:default}.focused-task .blocklyPath{shape-rendering:geometricprecision}.focused-task .proofly-focused-equivalence-law>.blocklyPath{filter:none!important}.focused-task .blocklyPathLight,.focused-task .blocklyPathDark{display:none}.proofly-delete-control{opacity:0;cursor:pointer;transition:opacity .12s}.proofly-delete-control.proofly-member-active,.proofly-delete-control:focus{opacity:1}.blocklyBlock:hover:not(:has(.blocklyBlock:hover,.proofly-member-field:hover))>.proofly-delete-control:not(.proofly-remove-member){opacity:1}.proofly-freshness-hint>.blocklyText{text-underline-offset:4px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.proofly-delete-control[aria-disabled=true]{cursor:help}.proofly-delete-control:focus{outline-offset:2px;outline:2px solid #2e5b80}input.logical-formula-native-bridge{display:none!important}.logical-formula-codemirror{background:var(--iltis-white);border:1px solid var(--iltis-grey-5);border-radius:var(--radius-control);width:100%;min-width:0;overflow:hidden}.logical-formula-codemirror:empty{display:none}.logical-formula-codemirror:focus-within{outline-offset:1px;outline:2px solid #2e5b80}.logical-formula-codemirror.is-disabled{background:var(--iltis-grey-1);opacity:.7}.logical-formula-codemirror .cm-editor{width:100%}.logical-formula-codemirror .cm-scroller{max-height:180px;overflow:auto}.blocklyWidgetDiv>.logical-formula-codemirror{width:min(420px,82vw);min-height:40px;box-shadow:var(--shadow-interaction)}.blockly-logical-formula-preview{min-width:0}.blockly-logical-formula-panel{box-sizing:border-box;width:min(420px,82vw);max-height:min(320px,48vh);overflow:auto}