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