.GraphExercise_graphExercise__GZt0V{display:flex;flex-direction:column;gap:1rem;padding:1rem;background:var(--surface);border-radius:8px}.GraphExercise_toolbar__IUvYC{display:flex;justify-content:space-between;align-items:center;padding:1rem;background:var(--background);border-radius:8px;border:1px solid var(--border)}.GraphExercise_nodeButtons__uSRXQ{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap}.GraphExercise_nodeButtons__uSRXQ h4{margin:0 .5rem 0 0;color:var(--text-primary)}.GraphExercise_nodeButton__okBdS{padding:.5rem 1rem;background:var(--primary);color:white;border:none;border-radius:4px;cursor:pointer;transition:background .2s;font-family:monospace;font-size:1rem}.GraphExercise_nodeButton__okBdS:hover:not(:disabled){background:var(--primary-dark)}.GraphExercise_nodeButton__okBdS:disabled{opacity:.5;cursor:not-allowed}.GraphExercise_actions__XrNGp{display:flex;gap:.5rem}.GraphExercise_deleteButton__6NGn1,.GraphExercise_resetButton__wPLhR,.GraphExercise_submitButton__uz_5g{padding:.5rem 1rem;border:none;border-radius:4px;cursor:pointer;transition:all .2s;font-weight:500}.GraphExercise_deleteButton__6NGn1{background:#f44336;color:white}.GraphExercise_deleteButton__6NGn1:hover:not(:disabled){background:#d32f2f}.GraphExercise_resetButton__wPLhR{background:#9e9e9e;color:white}.GraphExercise_resetButton__wPLhR:hover:not(:disabled){background:#757575}.GraphExercise_submitButton__uz_5g{background:#4caf50;color:white}.GraphExercise_submitButton__uz_5g:hover:not(:disabled){background:#388e3c}.GraphExercise_deleteButton__6NGn1:disabled,.GraphExercise_resetButton__wPLhR:disabled,.GraphExercise_submitButton__uz_5g:disabled{opacity:.5;cursor:not-allowed}.GraphExercise_canvasContainer__GXpiv{display:flex;justify-content:center;padding:1rem;background:white;border-radius:8px;border:1px solid var(--border)}.GraphExercise_canvas__sDR6n{border:2px solid #e0e0e0;border-radius:4px;cursor:crosshair;background:white}.GraphExercise_instructions__bCowN{padding:1rem;background:var(--info-bg);border-radius:8px;border:1px solid var(--info-border)}.GraphExercise_instructions__bCowN p{margin:0 0 .5rem;color:var(--text-primary);font-weight:600}.GraphExercise_instructions__bCowN ul{margin:0;padding-left:1.5rem;color:var(--text-secondary)}.GraphExercise_instructions__bCowN li{margin:.25rem 0}.ExpressionInput_expressionInput__4ykDA{display:flex;flex-direction:column;gap:1rem;padding:1rem;background:var(--surface);border-radius:8px}.ExpressionInput_inputContainer__t6Ny5{position:relative}.ExpressionInput_input__48FLw{width:100%;padding:.75rem;font-size:1.1rem;font-family:monospace;border:2px solid var(--border-color);border-radius:4px;background:var(--background-elevated);color:var(--text-primary);transition:all .2s}.ExpressionInput_input__48FLw:focus{outline:none;border-color:var(--primary);box-shadow:0 0 0 3px rgba(33,150,243,.1)}.ExpressionInput_input__48FLw.ExpressionInput_valid__hfk7M{border-color:#4caf50}.ExpressionInput_input__48FLw.ExpressionInput_invalid__eTpt9{border-color:#f44336}.ExpressionInput_input__48FLw:disabled{background:var(--background-secondary);opacity:.8;cursor:not-allowed}.ExpressionInput_validation__vaEFi{position:absolute;top:100%;left:0;margin-top:.25rem;padding:.25rem .5rem;font-size:.875rem;border-radius:4px;white-space:nowrap}.ExpressionInput_validMessage__7D7na{color:#4caf50}.ExpressionInput_invalidMessage__pUMOT{color:#f44336}.ExpressionInput_operators__43YU4{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;padding:1rem;background:var(--background);border-radius:8px;border:1px solid var(--border)}.ExpressionInput_operatorLabel__hDPGp{font-weight:600;color:var(--text-primary);margin-right:.5rem}.ExpressionInput_operatorButton__nvWAd{padding:.5rem .75rem;background:var(--background-elevated);color:var(--text-primary);border:1px solid var(--border-color);border-radius:4px;cursor:pointer;font-family:monospace;font-size:.95rem;transition:all .2s}.ExpressionInput_operatorButton__nvWAd:hover:not(:disabled){background:var(--primary);color:white;border-color:var(--primary)}.ExpressionInput_operatorButton__nvWAd:disabled{opacity:.5;cursor:not-allowed}.ExpressionInput_suggestions__EJRWe{padding:1rem;background:var(--background-elevated);border:1px solid var(--border-color);border-radius:8px}.ExpressionInput_suggestions__EJRWe strong{display:block;margin-bottom:.5rem;color:var(--text-primary);font-weight:600}.ExpressionInput_suggestions__EJRWe ul{margin:0;padding-left:1.5rem;color:var(--text-secondary)}.ExpressionInput_suggestions__EJRWe li{margin:.25rem 0;color:var(--text-secondary)}.ExpressionInput_actions__jCAtJ{display:flex;gap:.5rem;justify-content:flex-end}.ExpressionInput_helpButton__cNA9c,.ExpressionInput_resetButton__BJzFe,.ExpressionInput_submitButton__mUdcg{padding:.5rem 1rem;border:none;border-radius:4px;cursor:pointer;font-weight:500;transition:all .2s}.ExpressionInput_helpButton__cNA9c{background:var(--info-color);color:white}.ExpressionInput_helpButton__cNA9c:hover{background:var(--info-color-dark)}.ExpressionInput_resetButton__BJzFe{background:var(--background-tertiary);color:var(--text-primary);border:1px solid var(--border-color)}.ExpressionInput_resetButton__BJzFe:hover:not(:disabled){background:var(--background-secondary)}.ExpressionInput_submitButton__mUdcg{background:var(--success-color);color:white}.ExpressionInput_submitButton__mUdcg:hover:not(:disabled){background:var(--success-color-dark)}.ExpressionInput_resetButton__BJzFe:disabled,.ExpressionInput_submitButton__mUdcg:disabled{opacity:.5;cursor:not-allowed}.ExpressionInput_help__tuTiD{padding:1rem;background:var(--info-bg);border:1px solid var(--info-border);border-radius:8px}.ExpressionInput_help__tuTiD h4{margin:0 0 .75rem;color:var(--text-primary)}.ExpressionInput_help__tuTiD ul{margin:0;padding-left:1.5rem;color:var(--text-secondary)}.ExpressionInput_help__tuTiD li{margin:.25rem 0;font-family:monospace;font-size:.9rem}.TruthTableExercise_container__H6ihB{width:100%;overflow-x:auto;padding:1rem 0}.TruthTableExercise_truthTable__R2xNo{width:100%;max-width:600px;margin:0 auto;border-collapse:separate;border-spacing:0;background-color:var(--background-secondary);border-radius:8px;overflow:hidden}.TruthTableExercise_truthTable__R2xNo thead{background-color:var(--accent-primary);color:var(--accent-contrast)}.TruthTableExercise_truthTable__R2xNo th{padding:.75rem 1rem;text-align:center;font-weight:600;font-size:1rem;border-right:1px solid var(--border-primary);color:var(--accent-contrast)}.TruthTableExercise_truthTable__R2xNo th:last-child{border-right:none}.TruthTableExercise_resultColumn__XPOKY{min-width:150px}.TruthTableExercise_truthTable__R2xNo tbody tr{border-bottom:1px solid var(--border-primary)}.TruthTableExercise_truthTable__R2xNo tbody tr:last-child{border-bottom:none}.TruthTableExercise_truthTable__R2xNo tbody tr:hover{background-color:var(--accent-muted)}.TruthTableExercise_truthTable__R2xNo td{padding:.75rem 1rem;text-align:center;border-right:1px solid var(--border-primary)}.TruthTableExercise_truthTable__R2xNo td:last-child{border-right:none}.TruthTableExercise_inputCell__xkHcG{font-family:Courier New,monospace;font-weight:500;font-size:1rem;color:var(--foreground-secondary)}.TruthTableExercise_resultCell__Mx02x{background-color:var(--accent-muted);padding:.5rem}.TruthTableExercise_buttonGroup__gkzMk{display:flex;gap:.5rem;justify-content:center;align-items:center}.TruthTableExercise_falseButton__Vh6PI,.TruthTableExercise_truthButton__qu9RL{padding:.5rem 1rem;border:2px solid transparent;border-radius:6px;font-weight:600;font-size:.95rem;cursor:pointer;transition:all .2s ease;min-width:50px;background-color:var(--background-elevated);color:var(--foreground-primary);border:1px solid var(--border-primary)}.TruthTableExercise_falseButton__Vh6PI:hover:not(:disabled):not(.TruthTableExercise_selected___Xgs7),.TruthTableExercise_truthButton__qu9RL:hover:not(:disabled):not(.TruthTableExercise_selected___Xgs7){background-color:var(--accent-muted-hover);border-color:var(--accent-primary)}.TruthTableExercise_truthButton__qu9RL.TruthTableExercise_selected___Xgs7{background-color:var(--success-primary);border-color:var(--success-primary);color:var(--success-contrast)}.TruthTableExercise_falseButton__Vh6PI.TruthTableExercise_selected___Xgs7{background-color:var(--danger-primary);border-color:var(--danger-primary);color:var(--danger-contrast)}.TruthTableExercise_falseButton__Vh6PI:disabled,.TruthTableExercise_truthButton__qu9RL:disabled{opacity:.6;cursor:not-allowed}.TruthTableExercise_error__XEIqK{padding:1rem;background-color:var(--danger-muted);border:1px solid var(--danger-primary);border-radius:8px;color:var(--danger-primary);text-align:center}@media (max-width:768px){.TruthTableExercise_truthTable__R2xNo{font-size:.9rem}.TruthTableExercise_truthTable__R2xNo td,.TruthTableExercise_truthTable__R2xNo th{padding:.5rem .75rem}.TruthTableExercise_buttonGroup__gkzMk{gap:.25rem}.TruthTableExercise_falseButton__Vh6PI,.TruthTableExercise_truthButton__qu9RL{padding:.4rem .8rem;font-size:.85rem;min-width:40px}}.DragDropProofExercise_container__Ki7Pj{display:flex;flex-direction:column;gap:2rem;padding:1rem 0;position:relative}.DragDropProofExercise_dragPreview__7Uw_8{position:fixed;pointer-events:none;z-index:1000;background:var(--background-primary);border:2px solid var(--accent-primary);border-radius:6px;padding:.75rem 1rem;box-shadow:0 8px 16px rgba(0,0,0,.3);transform:translate(-50%,-50%) scale(1.05);display:flex;flex-direction:column;gap:.25rem;opacity:.95;min-width:250px;max-width:90vw}.DragDropProofExercise_dragPreview__7Uw_8 .DragDropProofExercise_stepStatement__7JuMY{color:var(--foreground-primary);font-weight:500;font-size:1rem}.DragDropProofExercise_dragPreview__7Uw_8 .DragDropProofExercise_stepJustification__6s1x0{color:var(--foreground-secondary);font-size:.875rem;font-style:italic}.DragDropProofExercise_header__kMRxP{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem}.DragDropProofExercise_header__kMRxP h4{margin:0;font-size:1rem;font-weight:600;color:var(--foreground-primary)}.DragDropProofExercise_resetButton__051eA{background:var(--danger-primary);color:white;border:none;border-radius:6px;padding:.5rem 1rem;font-size:.875rem;font-weight:500;cursor:pointer;transition:all .2s ease}.DragDropProofExercise_resetButton__051eA:hover{background:var(--danger-primary);filter:brightness(.9);transform:translateY(-1px)}.DragDropProofExercise_resetButton__051eA:active{transform:translateY(0)}.DragDropProofExercise_availableSteps__nCwKZ{background:var(--background-secondary);border:2px dashed var(--border-primary);border-radius:8px;padding:1.5rem}.DragDropProofExercise_stepsList__Ny8xR{display:flex;flex-direction:column;gap:.5rem;min-height:60px}.DragDropProofExercise_emptyState__Rw0ZT{color:var(--foreground-secondary);font-style:italic;text-align:center;padding:1.5rem}.DragDropProofExercise_step__NiKoi{background:var(--background-primary);border:1px solid var(--border-primary);border-radius:6px;padding:.75rem 1rem;cursor:-webkit-grab;cursor:grab;transition:all .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none;position:relative;display:flex;flex-direction:column;gap:.25rem;touch-action:none}.DragDropProofExercise_step__NiKoi:hover{border-color:var(--accent-primary);box-shadow:0 2px 4px rgba(0,0,0,.1);transform:translateY(-1px)}.DragDropProofExercise_step__NiKoi:active{cursor:-webkit-grabbing;cursor:grabbing}.DragDropProofExercise_step__NiKoi.DragDropProofExercise_dragging__CJden{opacity:.4;transform:scale(.95)}.DragDropProofExercise_stepStatement__7JuMY{color:var(--foreground-primary);font-weight:500;font-size:1rem}.DragDropProofExercise_stepJustification__6s1x0{color:var(--foreground-secondary);font-size:.875rem;font-style:italic}.DragDropProofExercise_proofArea__oul7c{background:var(--background-secondary);border:2px solid var(--accent-primary);border-radius:8px;padding:1.5rem}.DragDropProofExercise_proofArea__oul7c h4{margin:0 0 1rem;font-size:1rem;font-weight:600;color:var(--foreground-primary)}.DragDropProofExercise_proofSteps__FE4uS{min-height:120px;position:relative}.DragDropProofExercise_proofSteps__FE4uS.DragDropProofExercise_empty__oicWk{display:flex;align-items:center;justify-content:center}.DragDropProofExercise_placeholder__sx6ZI{color:var(--foreground-secondary);font-style:italic;text-align:center;padding:2rem}.DragDropProofExercise_dropZone__kHgzw{height:20px;margin:2px 0;transition:all .2s ease;background-color:transparent;position:relative;display:flex;align-items:center}.DragDropProofExercise_dropZone__kHgzw.DragDropProofExercise_dragOver__oSjTV{height:24px;margin:4px 0}.DragDropProofExercise_dropZone__kHgzw.DragDropProofExercise_dragOver__oSjTV:before{content:"";position:absolute;top:50%;transform:translateY(-50%);left:0;right:0;height:4px;background-color:var(--accent-primary);border-radius:2px;box-shadow:0 0 12px rgba(0,123,255,.8);animation:DragDropProofExercise_pulse__hcx_E .6s ease-in-out infinite}.DragDropProofExercise_finalDropZone__qqp_j{height:20px;margin-top:4px;position:relative;display:flex;align-items:center}.DragDropProofExercise_finalDropZone__qqp_j.DragDropProofExercise_dragOver__oSjTV{height:24px;margin-top:8px}.DragDropProofExercise_finalDropZone__qqp_j.DragDropProofExercise_dragOver__oSjTV:before{content:"";position:absolute;top:50%;transform:translateY(-50%);left:0;right:0;height:4px;background-color:var(--accent-primary);border-radius:2px;box-shadow:0 0 12px rgba(0,123,255,.8);animation:DragDropProofExercise_pulse__hcx_E .6s ease-in-out infinite}@keyframes DragDropProofExercise_pulse__hcx_E{0%,to{opacity:1}50%{opacity:.6}}.DragDropProofExercise_proofStep__dbv7j{display:grid;grid-template-columns:auto 1fr auto;grid-template-rows:auto auto;grid-gap:.25rem .75rem;gap:.25rem .75rem;background:var(--background-primary);border:2px solid var(--accent-primary);border-radius:6px;padding:.75rem 1rem;margin:4px 0;cursor:-webkit-grab;cursor:grab;transition:all .2s ease;-webkit-user-select:none;-moz-user-select:none;user-select:none;align-items:center;touch-action:none}.DragDropProofExercise_proofStep__dbv7j:hover{box-shadow:0 4px 8px rgba(0,123,255,.2);transform:translateY(-2px)}.DragDropProofExercise_proofStep__dbv7j:active{cursor:-webkit-grabbing;cursor:grabbing}.DragDropProofExercise_proofStep__dbv7j.DragDropProofExercise_dragging__CJden{opacity:.4;transform:scale(.95);box-shadow:none}.DragDropProofExercise_stepNumber__gG5us{font-weight:600;color:var(--accent-primary);min-width:24px;grid-column:1;grid-row:1/span 2}.DragDropProofExercise_proofStep__dbv7j .DragDropProofExercise_stepStatement__7JuMY{grid-column:2;grid-row:1;font-weight:500;font-size:1rem}.DragDropProofExercise_proofStep__dbv7j .DragDropProofExercise_stepJustification__6s1x0{grid-column:2;grid-row:2;font-size:.875rem;font-style:italic}.DragDropProofExercise_removeButton__ASc59{background:none;border:none;color:var(--danger-primary);font-size:1.5rem;line-height:1;cursor:pointer;padding:0;width:24px;height:24px;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:background-color .2s ease;grid-column:3;grid-row:1/span 2}.DragDropProofExercise_removeButton__ASc59:hover{background-color:var(--danger-muted)}.DragDropProofExercise_removeButton__ASc59:focus{outline:2px solid var(--danger-primary);outline-offset:2px}@media (max-width:768px){.DragDropProofExercise_container__Ki7Pj{gap:1.5rem}.DragDropProofExercise_availableSteps__nCwKZ,.DragDropProofExercise_proofArea__oul7c{padding:1rem}.DragDropProofExercise_proofStep__dbv7j,.DragDropProofExercise_step__NiKoi{padding:.5rem .75rem;min-height:44px}.DragDropProofExercise_proofStep__dbv7j:active,.DragDropProofExercise_step__NiKoi:active{opacity:.7;transform:scale(.98)}.DragDropProofExercise_proofStep__dbv7j,.DragDropProofExercise_proofSteps__FE4uS,.DragDropProofExercise_step__NiKoi,.DragDropProofExercise_stepsList__Ny8xR{-webkit-user-select:none;-moz-user-select:none;user-select:none;-webkit-touch-callout:none}.DragDropProofExercise_dropZone__kHgzw{height:30px;margin:4px 0}.DragDropProofExercise_dropZone__kHgzw.DragDropProofExercise_dragOver__oSjTV{height:40px;margin:8px 0}.DragDropProofExercise_finalDropZone__qqp_j{height:30px;margin-top:8px}.DragDropProofExercise_finalDropZone__qqp_j.DragDropProofExercise_dragOver__oSjTV{height:40px;margin-top:12px}}.ProofCompletionExercise_container__C6DGU{display:flex;flex-direction:column;gap:2rem;padding:1rem 0}.ProofCompletionExercise_header__Xz5yE{text-align:center}.ProofCompletionExercise_header__Xz5yE h4{margin:0 0 .5rem;font-size:1rem;font-weight:600;color:var(--text-primary)}.ProofCompletionExercise_instructions__6oU8X{margin:0;font-size:.875rem;color:var(--text-secondary);font-style:italic}.ProofCompletionExercise_proofArea__VB8PP{background:var(--background-secondary);border:2px solid var(--border-color);border-radius:8px;padding:1.5rem;display:flex;flex-direction:column;gap:1rem}.ProofCompletionExercise_proofStepRow__xH_fD{display:grid;grid-template-columns:auto 1fr;grid-template-rows:auto auto;grid-gap:.25rem .75rem;gap:.25rem .75rem;background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;padding:.75rem 1rem;transition:all .2s ease;align-items:start}.ProofCompletionExercise_proofStepRow__xH_fD:hover{box-shadow:0 2px 4px rgba(0,0,0,.1)}.ProofCompletionExercise_stepNumber__oAjsl{font-weight:600;color:var(--primary-color);min-width:32px;grid-column:1;grid-row:1/span 2;padding-top:.25rem}.ProofCompletionExercise_stepContent__ULYOI{display:flex;flex-direction:column;gap:.5rem;flex:1 1;grid-column:2;grid-row:1/span 2}.ProofCompletionExercise_stepField__CEEXt{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;padding:.5rem .75rem;min-height:36px;display:flex;align-items:center;transition:all .2s ease}.ProofCompletionExercise_stepField__CEEXt.ProofCompletionExercise_editable__ejqIz{cursor:pointer;border-style:dashed}.ProofCompletionExercise_stepField__CEEXt.ProofCompletionExercise_editable__ejqIz:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofCompletionExercise_stepField__CEEXt.ProofCompletionExercise_readonly__KMysd{border-color:var(--success-color);background-color:var(--success-color-light);cursor:default;border-style:solid}.ProofCompletionExercise_stepField__CEEXt.ProofCompletionExercise_active__yQdK3{border-color:var(--primary-color);border-width:3px;border-style:solid}.ProofCompletionExercise_statementField__q2cpM{font-weight:500;font-size:1rem;color:var(--text-primary)}.ProofCompletionExercise_justificationRow__iFYzv{display:flex;gap:.75rem;align-items:center;flex-wrap:wrap}.ProofCompletionExercise_ruleField__Xp1aI{font-size:.875rem;color:var(--text-secondary);font-style:italic;flex:1 1;min-width:180px}.ProofCompletionExercise_referencesField__kiNux{font-size:.875rem;color:var(--text-secondary);font-weight:500}.ProofCompletionExercise_placeholder__gy2AR{color:var(--text-tertiary);font-style:italic}.ProofCompletionExercise_modalOverlay__fHNBg{position:fixed;top:0;left:0;right:0;bottom:0;background-color:rgba(0,0,0,.5);display:flex;align-items:center;justify-content:center;z-index:1000;padding:1rem}.ProofCompletionExercise_modal__zi2Og{background:var(--background-primary);border-radius:8px;border:2px solid var(--border-color);box-shadow:0 8px 32px rgba(0,0,0,.2);max-width:500px;width:100%;max-height:80vh;display:flex;flex-direction:column;overflow:hidden}.ProofCompletionExercise_modalHeader__6l1iL{padding:1.5rem;border-bottom:2px solid var(--border-color);display:flex;justify-content:space-between;align-items:center;background:var(--background-secondary)}.ProofCompletionExercise_modalHeader__6l1iL h4{margin:0;font-size:1rem;font-weight:600;color:var(--text-primary)}.ProofCompletionExercise_closeButton__Hexdq{background:none;border:none;font-size:1.5rem;line-height:1;color:var(--text-secondary);cursor:pointer;padding:0;width:32px;height:32px;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:background-color .2s ease}.ProofCompletionExercise_closeButton__Hexdq:hover{background-color:var(--background-tertiary)}.ProofCompletionExercise_modalDescription___QQhL{padding:0 1.5rem;margin:1rem 0 .5rem;font-size:.875rem;color:var(--text-secondary)}.ProofCompletionExercise_optionsList__VP43J{padding:1rem 1.5rem;overflow-y:auto;display:flex;flex-direction:column;gap:.5rem;flex:1 1}.ProofCompletionExercise_optionButton___79bP{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;padding:.75rem 1rem;text-align:left;cursor:pointer;transition:all .2s ease;font-size:.9375rem;color:var(--text-primary);display:flex;align-items:center;gap:.5rem}.ProofCompletionExercise_optionButton___79bP:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofCompletionExercise_optionButton___79bP.ProofCompletionExercise_selected__fgIUw{border-color:var(--success-color);background-color:var(--success-color-light);font-weight:500}.ProofCompletionExercise_lineRef__5YQd_{font-weight:600;color:var(--primary-color);min-width:24px}.ProofCompletionExercise_checkmark__cqLsU{margin-left:auto;color:var(--success-color);font-size:1.25rem;font-weight:700}.ProofCompletionExercise_modalFooter__q4FLq{padding:1rem 1.5rem;border-top:2px solid var(--border-color);display:flex;justify-content:flex-end;background:var(--background-secondary)}.ProofCompletionExercise_doneButton__gTSWC{background:var(--accent-primary);color:var(--accent-contrast);border:none;border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;cursor:pointer;transition:all .2s ease}.ProofCompletionExercise_doneButton__gTSWC:hover{background:var(--accent-primary-hover);transform:translateY(-1px)}.ProofCompletionExercise_doneButton__gTSWC:active{transform:translateY(0)}@media (max-width:768px){.ProofCompletionExercise_modal__zi2Og{max-width:100%;max-height:90vh;border-radius:8px 8px 0 0;margin-top:auto}.ProofCompletionExercise_proofArea__VB8PP{padding:1rem}.ProofCompletionExercise_stepField__CEEXt{font-size:.875rem;padding:.5rem}.ProofCompletionExercise_justificationRow__iFYzv{flex-direction:column;align-items:stretch}.ProofCompletionExercise_referencesField__kiNux,.ProofCompletionExercise_ruleField__Xp1aI{min-width:0;width:100%}}.ProofExercise_container__FowIM{display:flex;flex-direction:column;gap:2rem;padding:1rem 0}.ProofExercise_header__Og0_T{text-align:center}.ProofExercise_header__Og0_T h4{margin:0 0 .5rem;font-size:1rem;font-weight:600;color:var(--text-primary)}.ProofExercise_instructions__cs9Zp{margin:0;font-size:.875rem;color:var(--text-secondary);font-style:italic}.ProofExercise_proofArea__wa2Tf{background:var(--background-secondary);border:2px solid var(--border-color);border-radius:8px;padding:1.5rem;display:flex;flex-direction:column;gap:1rem}.ProofExercise_proofStepRow__Yosea{display:grid;grid-template-columns:auto 1fr auto;grid-template-rows:auto auto;grid-gap:.25rem .75rem;gap:.25rem .75rem;background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;padding:.75rem 1rem;transition:all .2s ease;align-items:start}.ProofExercise_proofStepRow__Yosea:hover{box-shadow:0 2px 4px rgba(0,0,0,.1)}.ProofExercise_stepNumber__ZNN9w{font-weight:600;color:var(--primary-color);min-width:32px;grid-column:1;grid-row:1/span 2;padding-top:.25rem}.ProofExercise_stepContent__kfSTO{display:flex;flex-direction:column;gap:.25rem;flex:1 1;grid-column:2;grid-row:1/span 2}.ProofExercise_statementField__dRIgw{font-weight:500;font-size:1rem;color:var(--text-primary)}.ProofExercise_justificationField__IxA03{font-size:.875rem;color:var(--text-secondary);display:flex;gap:.5rem;align-items:center}.ProofExercise_ruleName__b4_pb{font-style:italic}.ProofExercise_references__XLr3F{font-weight:500}.ProofExercise_removeButton__R7Nl6{background:none;border:none;color:var(--error-color);font-size:1.5rem;line-height:1;cursor:pointer;padding:0;width:24px;height:24px;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:background-color .2s ease;grid-column:3;grid-row:1/span 2}.ProofExercise_removeButton__R7Nl6:hover{background-color:var(--error-color-light)}.ProofExercise_addStepButton__oxQb8{background:var(--primary-color);color:white;border:2px dashed var(--primary-color);border-radius:6px;padding:.75rem;font-size:.9375rem;font-weight:500;cursor:pointer;transition:all .2s ease;margin-top:.5rem}.ProofExercise_addStepButton__oxQb8:hover{background:var(--primary-color);opacity:.9;transform:translateY(-1px)}.ProofExercise_modalOverlay__a1eWW{position:fixed;top:0;left:0;right:0;bottom:0;background-color:rgba(0,0,0,.5);display:flex;align-items:center;justify-content:center;z-index:1000;padding:1rem}.ProofExercise_modal__Rfnyg{background:var(--background-primary);border-radius:8px;border:2px solid var(--border-color);box-shadow:0 8px 32px rgba(0,0,0,.2);max-width:500px;width:100%;max-height:80vh;display:flex;flex-direction:column;overflow:hidden}.ProofExercise_modalHeader__Ro_RE{padding:1.5rem;border-bottom:2px solid var(--border-color);display:flex;justify-content:space-between;align-items:center;background:var(--background-secondary)}.ProofExercise_modalHeader__Ro_RE h4{margin:0;font-size:1rem;font-weight:600;color:var(--text-primary)}.ProofExercise_closeButton__8G_Pr{background:none;border:none;font-size:1.5rem;line-height:1;color:var(--text-secondary);cursor:pointer;padding:0;width:32px;height:32px;display:flex;align-items:center;justify-content:center;border-radius:4px;transition:background-color .2s ease}.ProofExercise_closeButton__8G_Pr:hover{background-color:var(--background-tertiary)}.ProofExercise_modalBody__axOCu{padding:1.5rem}.ProofExercise_statementInput__jJv5j{width:100%;padding:.75rem;border:2px solid var(--border-color);border-radius:6px;background:var(--background-primary);color:var(--text-primary);font-size:1rem;font-family:Courier New,monospace;transition:border-color .2s ease}.ProofExercise_statementInput__jJv5j:focus{outline:none;border-color:var(--primary-color)}.ProofExercise_modalDescription__dD0hN{padding:0 1.5rem;margin:1rem 0 .5rem;font-size:.875rem;color:var(--text-secondary)}.ProofExercise_optionsList__17AB3{padding:1rem 1.5rem;overflow-y:auto;display:flex;flex-direction:column;gap:.5rem;flex:1 1}.ProofExercise_optionButton__MQJ12{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;padding:.75rem 1rem;text-align:left;cursor:pointer;transition:all .2s ease;font-size:.9375rem;color:var(--text-primary);display:flex;align-items:center;gap:.5rem}.ProofExercise_optionButton__MQJ12:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofExercise_optionButton__MQJ12.ProofExercise_selected__HJuMB{border-color:var(--success-color);background-color:var(--success-color-light);font-weight:500}.ProofExercise_lineRef__Wonw6{font-weight:600;color:var(--primary-color);min-width:24px}.ProofExercise_checkmark__y7_y_{margin-left:auto;color:var(--success-color);font-size:1.25rem;font-weight:700}.ProofExercise_modalFooter__1GTtV{padding:1rem 1.5rem;border-top:2px solid var(--border-color);display:flex;justify-content:flex-end;gap:.75rem;background:var(--background-secondary)}.ProofExercise_cancelButton__YpaoD{background:transparent;color:var(--text-secondary);border:1px solid var(--border-primary);border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;cursor:pointer;transition:all .2s ease}.ProofExercise_cancelButton__YpaoD:hover{background:var(--background-tertiary);color:var(--text-primary)}.ProofExercise_doneButton__EdW9A,.ProofExercise_nextButton___HQfT{background:var(--accent-primary);color:var(--accent-contrast);border:none;border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;cursor:pointer;transition:all .2s ease}.ProofExercise_doneButton__EdW9A:hover,.ProofExercise_nextButton___HQfT:hover{background:var(--accent-primary-hover);transform:translateY(-1px)}.ProofExercise_nextButton___HQfT:disabled{opacity:.5;cursor:not-allowed}.ProofExercise_doneButton__EdW9A:active,.ProofExercise_nextButton___HQfT:active{transform:translateY(0)}@media (max-width:768px){.ProofExercise_modal__Rfnyg{max-width:100%;max-height:90vh;border-radius:8px 8px 0 0;margin-top:auto}.ProofExercise_proofArea__wa2Tf{padding:1rem}.ProofExercise_proofStepRow__Yosea{padding:.5rem .75rem}}