.logic-proof-tool[data-v-e373249b]{max-width:680px;margin:0 auto}.difficulty-select[data-v-e373249b]{display:flex;flex-direction:column;align-items:center;gap:20px}.intro-icon[data-v-e373249b]{font-size:56px}.intro-title[data-v-e373249b]{font-size:24px;font-weight:700;color:#1f2937;margin:0}.intro-desc[data-v-e373249b]{font-size:14px;color:#9ca3af;margin:0}.difficulty-cards[data-v-e373249b]{display:flex;flex-direction:column;gap:12px;width:100%}.difficulty-card[data-v-e373249b]{display:flex;align-items:center;gap:14px;padding:18px 20px;border-radius:14px;border:2px solid #e2e8f0;background:#fff;cursor:pointer;transition:transform .15s,box-shadow .15s,border-color .15s;text-align:left}.difficulty-card[data-v-e373249b]:hover{transform:translateY(-2px);box-shadow:0 6px 20px #00000014}.difficulty-card.basic[data-v-e373249b]:hover{border-color:#22c55e}.difficulty-card.intermediate[data-v-e373249b]:hover{border-color:#eab308}.difficulty-card.advanced[data-v-e373249b]:hover{border-color:#ef4444}.diff-emoji[data-v-e373249b]{font-size:28px;flex-shrink:0}.diff-info[data-v-e373249b]{flex:1}.diff-label[data-v-e373249b]{font-size:17px;font-weight:700;color:#1f2937}.diff-desc[data-v-e373249b]{font-size:13px;color:#6b7280;margin-top:3px}.diff-arrow[data-v-e373249b]{font-size:18px;color:#9ca3af}.symbol-reference[data-v-e373249b]{width:100%;background:#f8fafc;border-radius:14px;padding:18px}.symbol-reference h3[data-v-e373249b]{font-size:15px;font-weight:600;color:#374151;margin:0 0 12px}.symbol-grid[data-v-e373249b]{display:grid;grid-template-columns:1fr 1fr;gap:8px}.symbol-item[data-v-e373249b]{display:flex;align-items:baseline;gap:8px;padding:6px 10px;background:#fff;border-radius:8px;border:1px solid #e2e8f0}.sym[data-v-e373249b]{font-family:Courier New,monospace;font-size:13px;font-weight:700;color:#3b82f6;white-space:nowrap}.sym-desc[data-v-e373249b]{font-size:12px;color:#6b7280}.quiz-header[data-v-e373249b]{margin-bottom:16px}.quiz-meta[data-v-e373249b]{display:flex;align-items:center;gap:10px;margin-bottom:8px}.diff-badge[data-v-e373249b]{padding:4px 10px;border-radius:20px;font-size:12px;font-weight:600}.diff-badge.basic[data-v-e373249b]{background:#dcfce7;color:#16a34a}.diff-badge.intermediate[data-v-e373249b]{background:#fef9c3;color:#ca8a04}.diff-badge.advanced[data-v-e373249b]{background:#fee2e2;color:#dc2626}.problem-count[data-v-e373249b]{font-size:14px;color:#6b7280;margin-left:auto}.score-badge[data-v-e373249b]{font-size:14px;font-weight:600;color:#3b82f6}.progress-bar[data-v-e373249b]{height:6px;background:#f1f5f9;border-radius:3px;overflow:hidden}.progress-fill[data-v-e373249b]{height:100%;background:#3b82f6;border-radius:3px;transition:width .4s ease}.problem-card[data-v-e373249b]{background:#fff;border:1px solid #e2e8f0;border-radius:16px;padding:22px;display:flex;flex-direction:column;gap:18px}.problem-meta[data-v-e373249b]{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.type-badge[data-v-e373249b]{background:#eff6ff;color:#1d4ed8;font-size:12px;font-weight:600;padding:4px 10px;border-radius:20px}.title-text[data-v-e373249b]{font-size:15px;font-weight:600;color:#374151}.premises-title[data-v-e373249b]{font-size:14px;font-weight:600;color:#6b7280;margin:0 0 10px}.premises-list[data-v-e373249b]{display:flex;flex-direction:column;gap:7px}.premise-item[data-v-e373249b]{display:flex;align-items:flex-start;gap:10px;background:#f8fafc;border-left:3px solid #3b82f6;border-radius:0 8px 8px 0;padding:10px 12px}.premise-num[data-v-e373249b]{font-size:11px;font-weight:700;color:#3b82f6;flex-shrink:0;background:#eff6ff;padding:2px 6px;border-radius:4px}.premise-text[data-v-e373249b]{font-size:14px;color:#1f2937;line-height:1.5;font-family:Courier New,monospace}.question-title[data-v-e373249b]{font-size:16px;font-weight:700;color:#1f2937;margin:0;line-height:1.5}.hint-trigger[data-v-e373249b]{display:flex}.btn-hint[data-v-e373249b]{background:#fef9c3;border:1px solid #fde047;border-radius:8px;padding:8px 16px;font-size:13px;color:#854d0e;cursor:pointer}.btn-hint[data-v-e373249b]:hover{background:#fef08a}.hint-card[data-v-e373249b]{background:#fffbeb;border:1px solid #fde047;border-radius:10px;padding:12px 14px}.hint-label[data-v-e373249b]{font-size:12px;font-weight:600;color:#92400e;display:block;margin-bottom:4px}.hint-card p[data-v-e373249b]{margin:0;font-size:14px;color:#78350f;line-height:1.5}.choices-section[data-v-e373249b]{display:flex;flex-direction:column;gap:9px}.choice-btn[data-v-e373249b]{display:flex;align-items:flex-start;gap:10px;padding:12px 14px;border-radius:10px;border:2px solid #e2e8f0;background:#fff;cursor:pointer;text-align:left;transition:border-color .15s,background .15s}.choice-btn[data-v-e373249b]:hover:not(.disabled){border-color:#3b82f6;background:#eff6ff}.choice-btn.correct[data-v-e373249b]{border-color:#22c55e;background:#f0fdf4}.choice-btn.wrong[data-v-e373249b]{border-color:#ef4444;background:#fef2f2}.choice-btn.disabled[data-v-e373249b]{cursor:default}.choice-num[data-v-e373249b]{font-size:15px;font-weight:700;color:#6b7280;flex-shrink:0}.choice-text[data-v-e373249b]{font-size:14px;color:#1f2937;line-height:1.5;flex:1}.choice-icon[data-v-e373249b]{flex-shrink:0;font-size:16px}.explanation-section[data-v-e373249b]{display:flex;flex-direction:column;gap:12px}.result-banner[data-v-e373249b]{text-align:center;padding:12px;border-radius:10px;font-size:17px;font-weight:700}.result-banner.correct[data-v-e373249b]{background:#f0fdf4;color:#16a34a}.result-banner.wrong[data-v-e373249b]{background:#fef2f2;color:#dc2626}.explanation-card[data-v-e373249b]{background:#f8fafc;border-radius:10px;padding:16px;border-left:4px solid #3b82f6}.explanation-card h4[data-v-e373249b]{font-size:14px;font-weight:600;color:#374151;margin:0 0 10px}.explanation-text[data-v-e373249b]{font-size:13px;color:#374151;line-height:1.7;white-space:pre-wrap;font-family:inherit;margin:0}.btn-next[data-v-e373249b]{background:#3b82f6;color:#fff;border:none;border-radius:10px;padding:13px;font-size:15px;font-weight:600;cursor:pointer;transition:background .2s}.btn-next[data-v-e373249b]:hover{background:#2563eb}.result-section[data-v-e373249b]{display:flex;flex-direction:column;gap:16px;align-items:center}.result-score-card[data-v-e373249b]{text-align:center;background:#fff;border:2px solid #e2e8f0;border-radius:20px;padding:30px;width:100%}.result-emoji[data-v-e373249b]{font-size:20px;font-weight:700;margin-bottom:8px}.result-score[data-v-e373249b]{font-size:20px;margin:8px 0}.score-big[data-v-e373249b]{font-size:52px;font-weight:800;color:#1f2937}.score-total[data-v-e373249b]{font-size:24px;color:#9ca3af}.score-grade-label[data-v-e373249b]{font-size:16px;font-weight:600;margin-top:6px}.result-summary[data-v-e373249b]{display:flex;gap:12px;width:100%}.summary-item[data-v-e373249b]{flex:1;display:flex;flex-direction:column;align-items:center;gap:4px;background:#f8fafc;border-radius:12px;padding:14px}.sum-label[data-v-e373249b]{font-size:13px;color:#6b7280}.sum-val[data-v-e373249b]{font-size:18px;font-weight:700;color:#1f2937}.correct-text[data-v-e373249b]{color:#16a34a}.wrong-text[data-v-e373249b]{color:#dc2626}.result-actions[data-v-e373249b]{display:flex;gap:10px;width:100%}.btn-retry[data-v-e373249b],.btn-home[data-v-e373249b]{flex:1;padding:12px;border-radius:10px;font-size:15px;font-weight:600;cursor:pointer;border:none;transition:background .2s}.btn-retry[data-v-e373249b]{background:#3b82f6;color:#fff}.btn-retry[data-v-e373249b]:hover{background:#2563eb}.btn-home[data-v-e373249b]{background:#f1f5f9;color:#374151}.btn-home[data-v-e373249b]:hover{background:#e2e8f0}.next-level-hint[data-v-e373249b]{text-align:center;width:100%}.next-level-hint p[data-v-e373249b]{font-size:14px;color:#6b7280;margin:0 0 10px}.btn-next-level[data-v-e373249b]{background:#7c3aed;color:#fff;border:none;border-radius:10px;padding:11px 24px;font-size:14px;font-weight:600;cursor:pointer;transition:background .2s}.btn-next-level[data-v-e373249b]:hover{background:#6d28d9}@media (max-width: 480px){.symbol-grid[data-v-e373249b]{grid-template-columns:1fr}.result-summary[data-v-e373249b],.result-actions[data-v-e373249b]{flex-direction:column}.problem-card[data-v-e373249b]{padding:16px}}.logic-proof-page[data-v-b68db54b]{max-width:760px;margin:0 auto;padding:20px}.page-header[data-v-b68db54b]{text-align:center;margin-bottom:30px}.page-header h1[data-v-b68db54b]{font-size:32px;color:#1f2937;margin:0 0 10px}.page-header p[data-v-b68db54b]{font-size:16px;color:#6b7280;margin:0}.info-section[data-v-b68db54b]{margin-top:20px}.info-section h3[data-v-b68db54b]{font-size:20px;color:#1f2937;margin:24px 0 12px}.info-card[data-v-b68db54b]{background:#fff;padding:20px 24px;border-radius:12px;box-shadow:0 2px 6px #00000014;border-left:4px solid #3b82f6;margin-bottom:16px}.info-card.disclaimer[data-v-b68db54b]{border-left-color:#a855f7;background:#faf5ff}.info-card.disclaimer h4[data-v-b68db54b]{margin:0 0 10px;color:#6b21a8}.info-card p[data-v-b68db54b]{color:#4b5563;line-height:1.7;margin:0}.info-card ul[data-v-b68db54b]{margin:0;padding-left:20px}.info-card li[data-v-b68db54b]{color:#4b5563;line-height:1.9;margin-bottom:4px}@media (max-width: 600px){.logic-proof-page[data-v-b68db54b]{padding:15px}.page-header h1[data-v-b68db54b]{font-size:26px}}