.GraphExercise-module__zUOClW__graphExercise{background:var(--surface);border-radius:8px;flex-direction:column;gap:1rem;padding:1rem;display:flex}.GraphExercise-module__zUOClW__toolbar{background:var(--background);border:1px solid var(--border);border-radius:8px;justify-content:space-between;align-items:center;padding:1rem;display:flex}.GraphExercise-module__zUOClW__nodeButtons{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.GraphExercise-module__zUOClW__nodeButtons h4{color:var(--text-primary);margin:0 .5rem 0 0}.GraphExercise-module__zUOClW__nodeButton{background:var(--primary);color:#fff;cursor:pointer;border:none;border-radius:4px;padding:.5rem 1rem;font-family:monospace;font-size:1rem;transition:background .2s}.GraphExercise-module__zUOClW__nodeButton:hover:not(:disabled){background:var(--primary-dark)}.GraphExercise-module__zUOClW__nodeButton:disabled{opacity:.5;cursor:not-allowed}.GraphExercise-module__zUOClW__actions{gap:.5rem;display:flex}.GraphExercise-module__zUOClW__deleteButton,.GraphExercise-module__zUOClW__resetButton,.GraphExercise-module__zUOClW__submitButton{cursor:pointer;border:none;border-radius:4px;padding:.5rem 1rem;font-weight:500;transition:all .2s}.GraphExercise-module__zUOClW__deleteButton{color:#fff;background:#f44336}.GraphExercise-module__zUOClW__deleteButton:hover:not(:disabled){background:#d32f2f}.GraphExercise-module__zUOClW__resetButton{color:#fff;background:#9e9e9e}.GraphExercise-module__zUOClW__resetButton:hover:not(:disabled){background:#757575}.GraphExercise-module__zUOClW__submitButton{color:#fff;background:#4caf50}.GraphExercise-module__zUOClW__submitButton:hover:not(:disabled){background:#388e3c}.GraphExercise-module__zUOClW__deleteButton:disabled,.GraphExercise-module__zUOClW__resetButton:disabled,.GraphExercise-module__zUOClW__submitButton:disabled{opacity:.5;cursor:not-allowed}.GraphExercise-module__zUOClW__canvasContainer{border:1px solid var(--border);background:#fff;border-radius:8px;justify-content:center;padding:1rem;display:flex}.GraphExercise-module__zUOClW__canvas{cursor:crosshair;background:#fff;border:2px solid #e0e0e0;border-radius:4px}.GraphExercise-module__zUOClW__instructions{background:var(--info-bg);border:1px solid var(--info-border);border-radius:8px;padding:1rem}.GraphExercise-module__zUOClW__instructions p{color:var(--text-primary);margin:0 0 .5rem;font-weight:600}.GraphExercise-module__zUOClW__instructions ul{color:var(--text-secondary);margin:0;padding-left:1.5rem}.GraphExercise-module__zUOClW__instructions li{margin:.25rem 0}
.ExpressionInput-module__lQEupq__expressionInput{background:var(--surface);border-radius:8px;flex-direction:column;gap:1rem;padding:1rem;display:flex}.ExpressionInput-module__lQEupq__inputContainer{position:relative}.ExpressionInput-module__lQEupq__input{border:2px solid var(--border-color);background:var(--background-elevated);width:100%;color:var(--text-primary);border-radius:4px;padding:.75rem;font-family:monospace;font-size:1.1rem;transition:all .2s}.ExpressionInput-module__lQEupq__input:focus{border-color:var(--primary);outline:none;box-shadow:0 0 0 3px #2196f31a}.ExpressionInput-module__lQEupq__input.ExpressionInput-module__lQEupq__valid{border-color:#4caf50}.ExpressionInput-module__lQEupq__input.ExpressionInput-module__lQEupq__invalid{border-color:#f44336}.ExpressionInput-module__lQEupq__input:disabled{background:var(--background-secondary);opacity:.8;cursor:not-allowed}.ExpressionInput-module__lQEupq__validation{white-space:nowrap;border-radius:4px;margin-top:.25rem;padding:.25rem .5rem;font-size:.875rem;position:absolute;top:100%;left:0}.ExpressionInput-module__lQEupq__validMessage{color:#4caf50}.ExpressionInput-module__lQEupq__invalidMessage{color:#f44336}.ExpressionInput-module__lQEupq__operators{background:var(--background);border:1px solid var(--border);border-radius:8px;flex-wrap:wrap;align-items:center;gap:.5rem;padding:1rem;display:flex}.ExpressionInput-module__lQEupq__operatorLabel{color:var(--text-primary);margin-right:.5rem;font-weight:600}.ExpressionInput-module__lQEupq__operatorButton{background:var(--background-elevated);color:var(--text-primary);border:1px solid var(--border-color);cursor:pointer;border-radius:4px;padding:.5rem .75rem;font-family:monospace;font-size:.95rem;transition:all .2s}.ExpressionInput-module__lQEupq__operatorButton:hover:not(:disabled){background:var(--primary);color:#fff;border-color:var(--primary)}.ExpressionInput-module__lQEupq__operatorButton:disabled{opacity:.5;cursor:not-allowed}.ExpressionInput-module__lQEupq__suggestions{background:var(--background-elevated);border:1px solid var(--border-color);border-radius:8px;padding:1rem}.ExpressionInput-module__lQEupq__suggestions strong{color:var(--text-primary);margin-bottom:.5rem;font-weight:600;display:block}.ExpressionInput-module__lQEupq__suggestions ul{color:var(--text-secondary);margin:0;padding-left:1.5rem}.ExpressionInput-module__lQEupq__suggestions li{color:var(--text-secondary);margin:.25rem 0}.ExpressionInput-module__lQEupq__actions{justify-content:flex-end;gap:.5rem;display:flex}.ExpressionInput-module__lQEupq__helpButton,.ExpressionInput-module__lQEupq__resetButton,.ExpressionInput-module__lQEupq__submitButton{cursor:pointer;border:none;border-radius:4px;padding:.5rem 1rem;font-weight:500;transition:all .2s}.ExpressionInput-module__lQEupq__helpButton{background:var(--info-color);color:#fff}.ExpressionInput-module__lQEupq__helpButton:hover{background:var(--info-color-dark)}.ExpressionInput-module__lQEupq__resetButton{background:var(--background-tertiary);color:var(--text-primary);border:1px solid var(--border-color)}.ExpressionInput-module__lQEupq__resetButton:hover:not(:disabled){background:var(--background-secondary)}.ExpressionInput-module__lQEupq__submitButton{background:var(--success-color);color:#fff}.ExpressionInput-module__lQEupq__submitButton:hover:not(:disabled){background:var(--success-color-dark)}.ExpressionInput-module__lQEupq__resetButton:disabled,.ExpressionInput-module__lQEupq__submitButton:disabled{opacity:.5;cursor:not-allowed}.ExpressionInput-module__lQEupq__help{background:var(--info-bg);border:1px solid var(--info-border);border-radius:8px;padding:1rem}.ExpressionInput-module__lQEupq__help h4{color:var(--text-primary);margin:0 0 .75rem}.ExpressionInput-module__lQEupq__help ul{color:var(--text-secondary);margin:0;padding-left:1.5rem}.ExpressionInput-module__lQEupq__help li{margin:.25rem 0;font-family:monospace;font-size:.9rem}
.TruthTableExercise-module__EbfBXW__container{width:100%;padding:1rem 0;overflow-x:auto}.TruthTableExercise-module__EbfBXW__truthTable{border-collapse:separate;border-spacing:0;background-color:var(--background-secondary);border-radius:8px;width:100%;max-width:600px;margin:0 auto;overflow:hidden}.TruthTableExercise-module__EbfBXW__truthTable thead{background-color:var(--accent-primary);color:var(--accent-contrast)}.TruthTableExercise-module__EbfBXW__truthTable th{text-align:center;border-right:1px solid var(--border-primary);color:var(--accent-contrast);padding:.75rem 1rem;font-size:1rem;font-weight:600}.TruthTableExercise-module__EbfBXW__truthTable th:last-child{border-right:none}.TruthTableExercise-module__EbfBXW__resultColumn{min-width:150px}.TruthTableExercise-module__EbfBXW__truthTable tbody tr{border-bottom:1px solid var(--border-primary)}.TruthTableExercise-module__EbfBXW__truthTable tbody tr:last-child{border-bottom:none}.TruthTableExercise-module__EbfBXW__truthTable tbody tr:hover{background-color:var(--accent-muted)}.TruthTableExercise-module__EbfBXW__truthTable td{text-align:center;border-right:1px solid var(--border-primary);padding:.75rem 1rem}.TruthTableExercise-module__EbfBXW__truthTable td:last-child{border-right:none}.TruthTableExercise-module__EbfBXW__inputCell{color:var(--foreground-secondary);font-family:Courier New,monospace;font-size:1rem;font-weight:500}.TruthTableExercise-module__EbfBXW__resultCell{background-color:var(--accent-muted);padding:.5rem}.TruthTableExercise-module__EbfBXW__buttonGroup{justify-content:center;align-items:center;gap:.5rem;display:flex}.TruthTableExercise-module__EbfBXW__truthButton,.TruthTableExercise-module__EbfBXW__falseButton{cursor:pointer;background-color:var(--background-elevated);min-width:50px;color:var(--foreground-primary);border:2px solid #0000;border:1px solid var(--border-primary);border-radius:6px;padding:.5rem 1rem;font-size:.95rem;font-weight:600;transition:all .2s}.TruthTableExercise-module__EbfBXW__truthButton:hover:not(:disabled):not(.TruthTableExercise-module__EbfBXW__selected),.TruthTableExercise-module__EbfBXW__falseButton:hover:not(:disabled):not(.TruthTableExercise-module__EbfBXW__selected){background-color:var(--accent-muted-hover);border-color:var(--accent-primary)}.TruthTableExercise-module__EbfBXW__truthButton.TruthTableExercise-module__EbfBXW__selected{background-color:var(--success-primary);border-color:var(--success-primary);color:var(--success-contrast)}.TruthTableExercise-module__EbfBXW__falseButton.TruthTableExercise-module__EbfBXW__selected{background-color:var(--danger-primary);border-color:var(--danger-primary);color:var(--danger-contrast)}.TruthTableExercise-module__EbfBXW__truthButton:disabled,.TruthTableExercise-module__EbfBXW__falseButton:disabled{opacity:.6;cursor:not-allowed}.TruthTableExercise-module__EbfBXW__error{background-color:var(--danger-muted);border:1px solid var(--danger-primary);color:var(--danger-primary);text-align:center;border-radius:8px;padding:1rem}@media (max-width:768px){.TruthTableExercise-module__EbfBXW__truthTable{font-size:.9rem}.TruthTableExercise-module__EbfBXW__truthTable th,.TruthTableExercise-module__EbfBXW__truthTable td{padding:.5rem .75rem}.TruthTableExercise-module__EbfBXW__buttonGroup{gap:.25rem}.TruthTableExercise-module__EbfBXW__truthButton,.TruthTableExercise-module__EbfBXW__falseButton{min-width:40px;padding:.4rem .8rem;font-size:.85rem}}
.DragDropProofExercise-module__4uWl1q__container{flex-direction:column;gap:2rem;padding:1rem 0;display:flex;position:relative}.DragDropProofExercise-module__4uWl1q__dragPreview{pointer-events:none;z-index:1000;background:var(--background-primary);border:2px solid var(--accent-primary);opacity:.95;border-radius:6px;flex-direction:column;gap:.25rem;min-width:250px;max-width:90vw;padding:.75rem 1rem;display:flex;position:fixed;transform:translate(-50%,-50%)scale(1.05);box-shadow:0 8px 16px #0000004d}.DragDropProofExercise-module__4uWl1q__dragPreview .DragDropProofExercise-module__4uWl1q__stepStatement{color:var(--foreground-primary);font-size:1rem;font-weight:500}.DragDropProofExercise-module__4uWl1q__dragPreview .DragDropProofExercise-module__4uWl1q__stepJustification{color:var(--foreground-secondary);font-size:.875rem;font-style:italic}.DragDropProofExercise-module__4uWl1q__header{justify-content:space-between;align-items:center;margin-bottom:1rem;display:flex}.DragDropProofExercise-module__4uWl1q__header h4{color:var(--foreground-primary);margin:0;font-size:1rem;font-weight:600}.DragDropProofExercise-module__4uWl1q__resetButton{background:var(--danger-primary);color:#fff;cursor:pointer;border:none;border-radius:6px;padding:.5rem 1rem;font-size:.875rem;font-weight:500;transition:all .2s}.DragDropProofExercise-module__4uWl1q__resetButton:hover{background:var(--danger-primary);filter:brightness(.9);transform:translateY(-1px)}.DragDropProofExercise-module__4uWl1q__resetButton:active{transform:translateY(0)}.DragDropProofExercise-module__4uWl1q__availableSteps{background:var(--background-secondary);border:2px dashed var(--border-primary);border-radius:8px;padding:1.5rem}.DragDropProofExercise-module__4uWl1q__stepsList{flex-direction:column;gap:.5rem;min-height:60px;display:flex}.DragDropProofExercise-module__4uWl1q__emptyState{color:var(--foreground-secondary);text-align:center;padding:1.5rem;font-style:italic}.DragDropProofExercise-module__4uWl1q__step{background:var(--background-primary);border:1px solid var(--border-primary);cursor:grab;-webkit-user-select:none;user-select:none;touch-action:none;border-radius:6px;flex-direction:column;gap:.25rem;padding:.75rem 1rem;transition:all .2s;display:flex;position:relative}.DragDropProofExercise-module__4uWl1q__step:hover{border-color:var(--accent-primary);transform:translateY(-1px);box-shadow:0 2px 4px #0000001a}.DragDropProofExercise-module__4uWl1q__step:active{cursor:grabbing}.DragDropProofExercise-module__4uWl1q__step.DragDropProofExercise-module__4uWl1q__dragging{opacity:.4;transform:scale(.95)}.DragDropProofExercise-module__4uWl1q__stepStatement{color:var(--foreground-primary);font-size:1rem;font-weight:500}.DragDropProofExercise-module__4uWl1q__stepJustification{color:var(--foreground-secondary);font-size:.875rem;font-style:italic}.DragDropProofExercise-module__4uWl1q__proofArea{background:var(--background-secondary);border:2px solid var(--accent-primary);border-radius:8px;padding:1.5rem}.DragDropProofExercise-module__4uWl1q__proofArea h4{color:var(--foreground-primary);margin:0 0 1rem;font-size:1rem;font-weight:600}.DragDropProofExercise-module__4uWl1q__proofSteps{min-height:120px;position:relative}.DragDropProofExercise-module__4uWl1q__proofSteps.DragDropProofExercise-module__4uWl1q__empty{justify-content:center;align-items:center;display:flex}.DragDropProofExercise-module__4uWl1q__placeholder{color:var(--foreground-secondary);text-align:center;padding:2rem;font-style:italic}.DragDropProofExercise-module__4uWl1q__dropZone{background-color:#0000;align-items:center;height:20px;margin:2px 0;transition:all .2s;display:flex;position:relative}.DragDropProofExercise-module__4uWl1q__dropZone.DragDropProofExercise-module__4uWl1q__dragOver{height:24px;margin:4px 0}.DragDropProofExercise-module__4uWl1q__dropZone.DragDropProofExercise-module__4uWl1q__dragOver:before{content:"";background-color:var(--accent-primary);border-radius:2px;height:4px;animation:.6s ease-in-out infinite DragDropProofExercise-module__4uWl1q__pulse;position:absolute;top:50%;left:0;right:0;transform:translateY(-50%);box-shadow:0 0 12px #007bffcc}.DragDropProofExercise-module__4uWl1q__finalDropZone{align-items:center;height:20px;margin-top:4px;display:flex;position:relative}.DragDropProofExercise-module__4uWl1q__finalDropZone.DragDropProofExercise-module__4uWl1q__dragOver{height:24px;margin-top:8px}.DragDropProofExercise-module__4uWl1q__finalDropZone.DragDropProofExercise-module__4uWl1q__dragOver:before{content:"";background-color:var(--accent-primary);border-radius:2px;height:4px;animation:.6s ease-in-out infinite DragDropProofExercise-module__4uWl1q__pulse;position:absolute;top:50%;left:0;right:0;transform:translateY(-50%);box-shadow:0 0 12px #007bffcc}@keyframes DragDropProofExercise-module__4uWl1q__pulse{0%,to{opacity:1}50%{opacity:.6}}.DragDropProofExercise-module__4uWl1q__proofStep{background:var(--background-primary);border:2px solid var(--accent-primary);cursor:grab;-webkit-user-select:none;user-select:none;touch-action:none;border-radius:6px;grid-template-rows:auto auto;grid-template-columns:auto 1fr auto;align-items:center;gap:.25rem .75rem;margin:4px 0;padding:.75rem 1rem;transition:all .2s;display:grid}.DragDropProofExercise-module__4uWl1q__proofStep:hover{transform:translateY(-2px);box-shadow:0 4px 8px #007bff33}.DragDropProofExercise-module__4uWl1q__proofStep:active{cursor:grabbing}.DragDropProofExercise-module__4uWl1q__proofStep.DragDropProofExercise-module__4uWl1q__dragging{opacity:.4;box-shadow:none;transform:scale(.95)}.DragDropProofExercise-module__4uWl1q__stepNumber{color:var(--accent-primary);grid-area:1/1/span 2;min-width:24px;font-weight:600}.DragDropProofExercise-module__4uWl1q__proofStep .DragDropProofExercise-module__4uWl1q__stepStatement{grid-area:1/2;font-size:1rem;font-weight:500}.DragDropProofExercise-module__4uWl1q__proofStep .DragDropProofExercise-module__4uWl1q__stepJustification{grid-area:2/2;font-size:.875rem;font-style:italic}.DragDropProofExercise-module__4uWl1q__removeButton{color:var(--danger-primary);cursor:pointer;background:0 0;border:none;border-radius:4px;grid-area:1/3/span 2;justify-content:center;align-items:center;width:24px;height:24px;padding:0;font-size:1.5rem;line-height:1;transition:background-color .2s;display:flex}.DragDropProofExercise-module__4uWl1q__removeButton:hover{background-color:var(--danger-muted)}.DragDropProofExercise-module__4uWl1q__removeButton:focus{outline:2px solid var(--danger-primary);outline-offset:2px}@media (max-width:768px){.DragDropProofExercise-module__4uWl1q__container{gap:1.5rem}.DragDropProofExercise-module__4uWl1q__availableSteps,.DragDropProofExercise-module__4uWl1q__proofArea{padding:1rem}.DragDropProofExercise-module__4uWl1q__step,.DragDropProofExercise-module__4uWl1q__proofStep{min-height:44px;padding:.5rem .75rem}.DragDropProofExercise-module__4uWl1q__step:active,.DragDropProofExercise-module__4uWl1q__proofStep:active{opacity:.7;transform:scale(.98)}.DragDropProofExercise-module__4uWl1q__step,.DragDropProofExercise-module__4uWl1q__proofStep,.DragDropProofExercise-module__4uWl1q__stepsList,.DragDropProofExercise-module__4uWl1q__proofSteps{-webkit-user-select:none;user-select:none;-webkit-touch-callout:none}.DragDropProofExercise-module__4uWl1q__dropZone{height:30px;margin:4px 0}.DragDropProofExercise-module__4uWl1q__dropZone.DragDropProofExercise-module__4uWl1q__dragOver{height:40px;margin:8px 0}.DragDropProofExercise-module__4uWl1q__finalDropZone{height:30px;margin-top:8px}.DragDropProofExercise-module__4uWl1q__finalDropZone.DragDropProofExercise-module__4uWl1q__dragOver{height:40px;margin-top:12px}}
.ProofCompletionExercise-module__rfbcDa__container{flex-direction:column;gap:2rem;padding:1rem 0;display:flex}.ProofCompletionExercise-module__rfbcDa__header{text-align:center}.ProofCompletionExercise-module__rfbcDa__header h4{color:var(--text-primary);margin:0 0 .5rem;font-size:1rem;font-weight:600}.ProofCompletionExercise-module__rfbcDa__instructions{color:var(--text-secondary);margin:0;font-size:.875rem;font-style:italic}.ProofCompletionExercise-module__rfbcDa__proofArea{background:var(--background-secondary);border:2px solid var(--border-color);border-radius:8px;flex-direction:column;gap:1rem;padding:1.5rem;display:flex}.ProofCompletionExercise-module__rfbcDa__proofStepRow{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;grid-template-rows:auto auto;grid-template-columns:auto 1fr;align-items:start;gap:.25rem .75rem;padding:.75rem 1rem;transition:all .2s;display:grid}.ProofCompletionExercise-module__rfbcDa__proofStepRow:hover{box-shadow:0 2px 4px #0000001a}.ProofCompletionExercise-module__rfbcDa__stepNumber{color:var(--primary-color);grid-area:1/1/span 2;min-width:32px;padding-top:.25rem;font-weight:600}.ProofCompletionExercise-module__rfbcDa__stepContent{flex-direction:column;flex:1;grid-area:1/2/span 2;gap:.5rem;display:flex}.ProofCompletionExercise-module__rfbcDa__stepField{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;align-items:center;min-height:36px;padding:.5rem .75rem;transition:all .2s;display:flex}.ProofCompletionExercise-module__rfbcDa__stepField.ProofCompletionExercise-module__rfbcDa__editable{cursor:pointer;border-style:dashed}.ProofCompletionExercise-module__rfbcDa__stepField.ProofCompletionExercise-module__rfbcDa__editable:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofCompletionExercise-module__rfbcDa__stepField.ProofCompletionExercise-module__rfbcDa__readonly{border-color:var(--success-color);background-color:var(--success-color-light);cursor:default;border-style:solid}.ProofCompletionExercise-module__rfbcDa__stepField.ProofCompletionExercise-module__rfbcDa__active{border-color:var(--primary-color);border-style:solid;border-width:3px}.ProofCompletionExercise-module__rfbcDa__statementField{color:var(--text-primary);font-size:1rem;font-weight:500}.ProofCompletionExercise-module__rfbcDa__justificationRow{flex-wrap:wrap;align-items:center;gap:.75rem;display:flex}.ProofCompletionExercise-module__rfbcDa__ruleField{color:var(--text-secondary);flex:1;min-width:180px;font-size:.875rem;font-style:italic}.ProofCompletionExercise-module__rfbcDa__referencesField{color:var(--text-secondary);font-size:.875rem;font-weight:500}.ProofCompletionExercise-module__rfbcDa__placeholder{color:var(--text-tertiary);font-style:italic}.ProofCompletionExercise-module__rfbcDa__modalOverlay{z-index:1000;background-color:#00000080;justify-content:center;align-items:center;padding:1rem;display:flex;position:fixed;inset:0}.ProofCompletionExercise-module__rfbcDa__modal{background:var(--background-primary);border:2px solid var(--border-color);border-radius:8px;flex-direction:column;width:100%;max-width:500px;max-height:80vh;display:flex;overflow:hidden;box-shadow:0 8px 32px #0003}.ProofCompletionExercise-module__rfbcDa__modalHeader{border-bottom:2px solid var(--border-color);background:var(--background-secondary);justify-content:space-between;align-items:center;padding:1.5rem;display:flex}.ProofCompletionExercise-module__rfbcDa__modalHeader h4{color:var(--text-primary);margin:0;font-size:1rem;font-weight:600}.ProofCompletionExercise-module__rfbcDa__closeButton{color:var(--text-secondary);cursor:pointer;background:0 0;border:none;border-radius:4px;justify-content:center;align-items:center;width:32px;height:32px;padding:0;font-size:1.5rem;line-height:1;transition:background-color .2s;display:flex}.ProofCompletionExercise-module__rfbcDa__closeButton:hover{background-color:var(--background-tertiary)}.ProofCompletionExercise-module__rfbcDa__modalDescription{color:var(--text-secondary);margin:1rem 0 .5rem;padding:0 1.5rem;font-size:.875rem}.ProofCompletionExercise-module__rfbcDa__optionsList{flex-direction:column;flex:1;gap:.5rem;padding:1rem 1.5rem;display:flex;overflow-y:auto}.ProofCompletionExercise-module__rfbcDa__optionButton{background:var(--background-primary);border:2px solid var(--border-color);text-align:left;cursor:pointer;color:var(--text-primary);border-radius:6px;align-items:center;gap:.5rem;padding:.75rem 1rem;font-size:.9375rem;transition:all .2s;display:flex}.ProofCompletionExercise-module__rfbcDa__optionButton:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofCompletionExercise-module__rfbcDa__optionButton.ProofCompletionExercise-module__rfbcDa__selected{border-color:var(--success-color);background-color:var(--success-color-light);font-weight:500}.ProofCompletionExercise-module__rfbcDa__lineRef{color:var(--primary-color);min-width:24px;font-weight:600}.ProofCompletionExercise-module__rfbcDa__checkmark{color:var(--success-color);margin-left:auto;font-size:1.25rem;font-weight:700}.ProofCompletionExercise-module__rfbcDa__modalFooter{border-top:2px solid var(--border-color);background:var(--background-secondary);justify-content:flex-end;padding:1rem 1.5rem;display:flex}.ProofCompletionExercise-module__rfbcDa__doneButton{background:var(--accent-primary);color:var(--accent-contrast);cursor:pointer;border:none;border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;transition:all .2s}.ProofCompletionExercise-module__rfbcDa__doneButton:hover{background:var(--accent-primary-hover);transform:translateY(-1px)}.ProofCompletionExercise-module__rfbcDa__doneButton:active{transform:translateY(0)}@media (max-width:768px){.ProofCompletionExercise-module__rfbcDa__modal{border-radius:8px 8px 0 0;max-width:100%;max-height:90vh;margin-top:auto}.ProofCompletionExercise-module__rfbcDa__proofArea{padding:1rem}.ProofCompletionExercise-module__rfbcDa__stepField{padding:.5rem;font-size:.875rem}.ProofCompletionExercise-module__rfbcDa__justificationRow{flex-direction:column;align-items:stretch}.ProofCompletionExercise-module__rfbcDa__ruleField,.ProofCompletionExercise-module__rfbcDa__referencesField{width:100%;min-width:0}}
.ProofExercise-module__Ju5uGq__container{flex-direction:column;gap:2rem;padding:1rem 0;display:flex}.ProofExercise-module__Ju5uGq__header{text-align:center}.ProofExercise-module__Ju5uGq__header h4{color:var(--text-primary);margin:0 0 .5rem;font-size:1rem;font-weight:600}.ProofExercise-module__Ju5uGq__instructions{color:var(--text-secondary);margin:0;font-size:.875rem;font-style:italic}.ProofExercise-module__Ju5uGq__proofArea{background:var(--background-secondary);border:2px solid var(--border-color);border-radius:8px;flex-direction:column;gap:1rem;padding:1.5rem;display:flex}.ProofExercise-module__Ju5uGq__proofStepRow{background:var(--background-primary);border:2px solid var(--border-color);border-radius:6px;grid-template-rows:auto auto;grid-template-columns:auto 1fr auto;align-items:start;gap:.25rem .75rem;padding:.75rem 1rem;transition:all .2s;display:grid}.ProofExercise-module__Ju5uGq__proofStepRow:hover{box-shadow:0 2px 4px #0000001a}.ProofExercise-module__Ju5uGq__stepNumber{color:var(--primary-color);grid-area:1/1/span 2;min-width:32px;padding-top:.25rem;font-weight:600}.ProofExercise-module__Ju5uGq__stepContent{flex-direction:column;flex:1;grid-area:1/2/span 2;gap:.25rem;display:flex}.ProofExercise-module__Ju5uGq__statementField{color:var(--text-primary);font-size:1rem;font-weight:500}.ProofExercise-module__Ju5uGq__justificationField{color:var(--text-secondary);align-items:center;gap:.5rem;font-size:.875rem;display:flex}.ProofExercise-module__Ju5uGq__ruleName{font-style:italic}.ProofExercise-module__Ju5uGq__references{font-weight:500}.ProofExercise-module__Ju5uGq__removeButton{color:var(--error-color);cursor:pointer;background:0 0;border:none;border-radius:4px;grid-area:1/3/span 2;justify-content:center;align-items:center;width:24px;height:24px;padding:0;font-size:1.5rem;line-height:1;transition:background-color .2s;display:flex}.ProofExercise-module__Ju5uGq__removeButton:hover{background-color:var(--error-color-light)}.ProofExercise-module__Ju5uGq__addStepButton{background:var(--primary-color);color:#fff;border:2px dashed var(--primary-color);cursor:pointer;border-radius:6px;margin-top:.5rem;padding:.75rem;font-size:.9375rem;font-weight:500;transition:all .2s}.ProofExercise-module__Ju5uGq__addStepButton:hover{background:var(--primary-color);opacity:.9;transform:translateY(-1px)}.ProofExercise-module__Ju5uGq__modalOverlay{z-index:1000;background-color:#00000080;justify-content:center;align-items:center;padding:1rem;display:flex;position:fixed;inset:0}.ProofExercise-module__Ju5uGq__modal{background:var(--background-primary);border:2px solid var(--border-color);border-radius:8px;flex-direction:column;width:100%;max-width:500px;max-height:80vh;display:flex;overflow:hidden;box-shadow:0 8px 32px #0003}.ProofExercise-module__Ju5uGq__modalHeader{border-bottom:2px solid var(--border-color);background:var(--background-secondary);justify-content:space-between;align-items:center;padding:1.5rem;display:flex}.ProofExercise-module__Ju5uGq__modalHeader h4{color:var(--text-primary);margin:0;font-size:1rem;font-weight:600}.ProofExercise-module__Ju5uGq__closeButton{color:var(--text-secondary);cursor:pointer;background:0 0;border:none;border-radius:4px;justify-content:center;align-items:center;width:32px;height:32px;padding:0;font-size:1.5rem;line-height:1;transition:background-color .2s;display:flex}.ProofExercise-module__Ju5uGq__closeButton:hover{background-color:var(--background-tertiary)}.ProofExercise-module__Ju5uGq__modalBody{padding:1.5rem}.ProofExercise-module__Ju5uGq__statementInput{border:2px solid var(--border-color);background:var(--background-primary);width:100%;color:var(--text-primary);border-radius:6px;padding:.75rem;font-family:Courier New,monospace;font-size:1rem;transition:border-color .2s}.ProofExercise-module__Ju5uGq__statementInput:focus{border-color:var(--primary-color);outline:none}.ProofExercise-module__Ju5uGq__modalDescription{color:var(--text-secondary);margin:1rem 0 .5rem;padding:0 1.5rem;font-size:.875rem}.ProofExercise-module__Ju5uGq__optionsList{flex-direction:column;flex:1;gap:.5rem;padding:1rem 1.5rem;display:flex;overflow-y:auto}.ProofExercise-module__Ju5uGq__optionButton{background:var(--background-primary);border:2px solid var(--border-color);text-align:left;cursor:pointer;color:var(--text-primary);border-radius:6px;align-items:center;gap:.5rem;padding:.75rem 1rem;font-size:.9375rem;transition:all .2s;display:flex}.ProofExercise-module__Ju5uGq__optionButton:hover{border-color:var(--primary-color);background-color:var(--primary-color-light);transform:translateY(-1px)}.ProofExercise-module__Ju5uGq__optionButton.ProofExercise-module__Ju5uGq__selected{border-color:var(--success-color);background-color:var(--success-color-light);font-weight:500}.ProofExercise-module__Ju5uGq__lineRef{color:var(--primary-color);min-width:24px;font-weight:600}.ProofExercise-module__Ju5uGq__checkmark{color:var(--success-color);margin-left:auto;font-size:1.25rem;font-weight:700}.ProofExercise-module__Ju5uGq__modalFooter{border-top:2px solid var(--border-color);background:var(--background-secondary);justify-content:flex-end;gap:.75rem;padding:1rem 1.5rem;display:flex}.ProofExercise-module__Ju5uGq__cancelButton{color:var(--text-secondary);border:1px solid var(--border-primary);cursor:pointer;background:0 0;border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;transition:all .2s}.ProofExercise-module__Ju5uGq__cancelButton:hover{background:var(--background-tertiary);color:var(--text-primary)}.ProofExercise-module__Ju5uGq__nextButton,.ProofExercise-module__Ju5uGq__doneButton{background:var(--accent-primary);color:var(--accent-contrast);cursor:pointer;border:none;border-radius:6px;padding:.5rem 1.5rem;font-size:.9375rem;font-weight:500;transition:all .2s}.ProofExercise-module__Ju5uGq__nextButton:hover,.ProofExercise-module__Ju5uGq__doneButton:hover{background:var(--accent-primary-hover);transform:translateY(-1px)}.ProofExercise-module__Ju5uGq__nextButton:disabled{opacity:.5;cursor:not-allowed}.ProofExercise-module__Ju5uGq__nextButton:active,.ProofExercise-module__Ju5uGq__doneButton:active{transform:translateY(0)}@media (max-width:768px){.ProofExercise-module__Ju5uGq__modal{border-radius:8px 8px 0 0;max-width:100%;max-height:90vh;margin-top:auto}.ProofExercise-module__Ju5uGq__proofArea{padding:1rem}.ProofExercise-module__Ju5uGq__proofStepRow{padding:.5rem .75rem}}