.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}}