*{box-sizing:border-box}.app{min-height:100vh;background:linear-gradient(to bottom,#f8f9fa,#fff)}.container{max-width:1200px;margin:0 auto;padding:0 2rem;width:100%}.appbar{background:#fff;border-bottom:1px solid #e5e7eb;padding:1rem 2rem;display:flex;align-items:center;box-shadow:0 1px 3px #0000000d}.brand h1{margin:0;font-size:1.5rem;color:#2563eb;font-weight:700;letter-spacing:-.025em}.subtitle{font-size:.875rem;color:#6b7280;margin-left:.5rem}.spacer{flex:1}.api-key-input{width:240px;font-size:.875rem}.main{padding:2rem 0}.input-section{margin-bottom:2rem}.description{color:#6b7280;margin:1rem 0;line-height:1.6}.form-group{margin-bottom:1.5rem}.form-group label{display:block;margin-bottom:.5rem;font-weight:500;color:#374151}.form-group textarea{width:100%;min-height:150px;font-family:inherit;box-sizing:border-box}.form-group input[type=text],.form-group input[type=password],.form-group select{box-sizing:border-box;max-width:100%}.form-group input[type=number]{width:100px;box-sizing:border-box}.form-group small{display:block;margin-top:.25rem;color:#6b7280;font-size:.875rem}.options-row{display:grid;grid-template-columns:1fr 1fr;gap:1.5rem;margin-bottom:1.5rem}@media (max-width: 768px){.options-row{grid-template-columns:1fr;gap:1rem}.appbar{padding:.75rem 1rem;flex-wrap:wrap}.brand{margin-bottom:.5rem}.subtitle{display:none}.api-key-input{width:180px;font-size:.8rem}.form-group small{font-size:.8rem;line-height:1.4;word-wrap:break-word;overflow-wrap:break-word;-webkit-hyphens:auto;hyphens:auto;max-width:100%}.main{padding:1rem 0}.container{padding:0 1rem!important;max-width:100%!important;overflow-x:hidden}.form-group{margin-bottom:1rem;max-width:100%}.form-group input[type=text]{font-size:16px;padding:.5rem;width:100%;max-width:100%;box-sizing:border-box}.form-group textarea{min-height:120px;font-size:16px;padding:.5rem;width:100%;max-width:100%;box-sizing:border-box}.form-group select{font-size:16px;padding:.5rem;width:100%;max-width:100%;box-sizing:border-box}.checkbox-row{margin-bottom:1rem}.soft-options{margin-left:1rem;margin-top:.5rem;margin-bottom:.5rem}.card{padding:1rem;margin:0 0 1rem;box-sizing:border-box}}.checkbox-row{margin-bottom:1.5rem}.checkbox-label{display:flex;align-items:center;cursor:pointer;-webkit-user-select:none;user-select:none}.checkbox-label input[type=checkbox]{margin-right:.5rem;width:auto;cursor:pointer}.checkbox-label span{font-weight:500;color:#374151}.soft-options{margin-left:1.5rem;padding-left:1rem;border-left:3px solid #e5e7eb}.button-row{margin-top:1.5rem}.analyze-button{background:linear-gradient(135deg,#2563eb,#1d4ed8);box-shadow:0 4px 6px -1px #0000001a}.analyze-button:hover{background:linear-gradient(135deg,#1d4ed8,#1e40af);transform:translateY(-1px);box-shadow:0 10px 15px -3px #0000001a}.analyze-button:disabled{transform:none;box-shadow:none}.example{margin-bottom:1rem;padding:1rem;background:#f9fafb;border-radius:6px}.example strong{color:#111827;display:block;margin-bottom:.5rem}.example p{font-style:italic;color:#6b7280;margin:0}.results-section{animation:slideUp .3s ease-out}@keyframes slideUp{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.node-details{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif}.node-details.compact{padding:.5rem}.node-details.inline{margin:.75rem 0;padding:1rem;background:#f8fafc;border-radius:6px;border-left:4px solid #3b82f6}.node-header{margin:0 0 1rem;color:#1f2937;font-size:1.25rem;font-weight:600}.detail-section h4{margin:0 0 .5rem;color:#374151;font-size:.875rem;font-weight:600;text-transform:uppercase;letter-spacing:.025em}.detail-content{color:#4b5563;line-height:1.5}.evidence-text{font-style:italic;background:#f5f5f5;padding:8px;border-radius:4px;border:1px solid #ddd}.conclusion{font-weight:500;color:#059669}.rule-name{display:flex;align-items:center;gap:.5rem;margin-bottom:.5rem}.rule-badge{font-size:.75rem;font-weight:600;padding:.125rem .375rem;border-radius:.25rem;text-transform:uppercase;letter-spacing:.025em}.rule-badge.strict{background:#fef3c7;color:#92400e;border:1px solid #f59e0b}.rule-badge.defeasible{background:#dbeafe;color:#1e40af;border:1px solid #3b82f6}.rule-section{margin:.5rem 0;padding-left:1rem}.rule-section strong{color:#374151;margin-right:.5rem}.premise-item{background:#f9fafb;padding:.5rem;margin:.25rem 0;border-radius:4px;border-left:3px solid #e5e7eb;font-family:Courier New,monospace;font-size:.875rem}.node-details-inline .node-header{font-size:1rem;color:#3b82f6;margin-bottom:.75rem}.node-details-inline .detail-section{margin-bottom:.75rem}.node-details-inline .detail-section h4{font-size:.8125rem;margin-bottom:.375rem}.node-details.compact .detail-section{margin-bottom:.5rem}.node-details.compact .detail-content{font-size:.875rem}.node-details.compact .node-header{font-size:1rem;margin-bottom:.5rem}@media (max-width: 768px){.node-details.inline{margin:.5rem 0;padding:.75rem}.node-header{font-size:1.125rem}.detail-section h4{font-size:.8125rem}}.finding-header{font-size:1rem;line-height:1.5}.finding-node-section{margin-top:.75rem}.node-reference{transition:all .2s ease}.node-reference:hover{background:#f1f5f9!important;border-color:#cbd5e1!important}.expand-indicator{font-size:.875rem;-webkit-user-select:none;user-select:none}.cycle-visualization{background:#fef7ed;border:1px solid #fed7aa;border-radius:6px;padding:1rem}.cycle-path{font-family:Courier New,monospace;font-size:.875rem;color:#9a3412;margin-bottom:.75rem;padding:.5rem;background:#fff7ed;border-radius:4px}.cycle-nodes{display:flex;flex-direction:column;gap:.5rem}.cycle-node{border:1px solid #fdba74;border-radius:4px;overflow:hidden}.cycle-node-header{display:flex;align-items:center;gap:.75rem;padding:.75rem;background:#fff7ed;transition:background-color .2s}.cycle-node-header:hover{background:#fed7aa}.cycle-node-id{font-weight:600;color:#ea580c;font-family:Courier New,monospace}.cycle-node-summary{flex:1;color:#9a3412;font-size:.875rem}.cycle-node-details{border-top:1px solid #fdba74;background:#fff}.edge-visualization{background:#fef3c7;border:1px solid #fbbf24;border-radius:6px;padding:1rem}.edge-path{font-family:Courier New,monospace;font-size:.875rem;color:#92400e;margin-bottom:.75rem;padding:.5rem;background:#fffbeb;border-radius:4px}.edge-nodes{display:flex;flex-direction:column;gap:.5rem}.edge-node{border:1px solid #fbbf24;border-radius:4px;overflow:hidden}.edge-node-header{display:flex;align-items:center;gap:.75rem;padding:.75rem;background:#fffbeb;transition:background-color .2s}.edge-node-header:hover{background:#fef3c7}.edge-node-label{font-weight:600;color:#92400e;min-width:4rem}.edge-node-id{font-weight:600;color:#d97706;font-family:Courier New,monospace}.edge-node-summary{flex:1;color:#92400e;font-size:.875rem}.edge-node-details{border-top:1px solid #fbbf24;background:#fff}@media (max-width: 768px){.cycle-node-header,.edge-node-header{flex-direction:column;align-items:flex-start;gap:.5rem}.cycle-node-summary,.edge-node-summary{font-size:.8125rem}.expand-indicator{align-self:flex-end;font-size:.8125rem}}.detail-pane{width:350px;height:100%;background:#fff;border-left:1px solid #e5e7eb;padding:1rem;overflow:auto;box-shadow:-2px 0 8px #0000001a}.detail-pane.mobile{width:100%;border-left:none;border-top:1px solid #e5e7eb;box-shadow:0 -2px 8px #0000001a;position:absolute;bottom:0;left:0;right:0;z-index:10;max-height:50%}.detail-pane-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem}.detail-pane-title{margin:0;color:#1f2937;font-size:16px;font-weight:600}.detail-pane-close{background:none;border:none;font-size:18px;color:#6b7280;cursor:pointer;padding:.25rem;border-radius:4px;width:28px;height:28px;display:flex;align-items:center;justify-content:center}.detail-pane-close:hover{background:#f3f4f6}.node-details h3,.edge-details h3{margin:0 0 1rem;color:#1f2937;font-size:18px}.detail-section{margin-bottom:1rem}.detail-section h4{margin:0 0 .5rem;color:#374151;font-size:14px;font-weight:600}.detail-content{margin:0;color:#4b5563;font-size:14px;line-height:1.5;padding:.5rem;border-radius:4px;border:1px solid;white-space:pre-wrap;word-wrap:break-word;max-height:200px;overflow:auto}.detail-content.conclusion{background:#f9fafb;border-color:#e5e7eb}.detail-content.rule{background:#f0f9ff;border-color:#bae6fd}.detail-content.premises{background:#fefce8;border-color:#fde047;padding:.5rem}.detail-content.rationale{background:#f9fafb;border-color:#e5e7eb}.premise-item{color:#4b5563;font-size:14px;line-height:1.5;white-space:pre-wrap;word-wrap:break-word}.premise-item:not(:last-child){margin-bottom:.5rem}.rule-name{font-weight:600;margin-bottom:.5rem}.rule-badge{margin-left:.5rem;padding:.125rem .25rem;font-size:10px;border-radius:2px;font-weight:500}.rule-badge.strict{background:#dcfce7;color:#166534}.rule-badge.defeasible{background:#fef3c7;color:#92400e}.rule-section{margin-bottom:.5rem}.edge-type-badge{display:inline-block;padding:.25rem .5rem;border-radius:4px;font-size:12px;font-weight:500}.edge-type-badge.support{color:#059669;background:#d1fae5;border:1px solid #86efac}.edge-type-badge.attack{color:#dc2626;background:#fee2e2;border:1px solid #fca5a5}@media (max-width: 768px){.detail-pane{width:100%;border-left:none;border-top:1px solid #e5e7eb;box-shadow:0 -2px 8px #0000001a;position:absolute;bottom:0;left:0;right:0;z-index:10;max-height:50%}}.diagnosis-display{padding:1rem}.no-issues{text-align:center;padding:2rem;background:#f0f9ff;border-radius:8px;border:1px solid #22c55e}.no-issues .check-icon{font-size:3rem;display:block;margin-bottom:1rem}.no-issues p{color:#059669;font-weight:500;margin:0}.issues-header{margin-bottom:1.5rem}.issues-header h3{margin:0;color:#1f2937}.issue-card{background:#fff;border:1px solid #e5e7eb;border-radius:8px;margin-bottom:1rem;overflow:hidden}.issue-header{display:flex;align-items:center;padding:1rem;background:#f9fafb;border-bottom:1px solid #e5e7eb}.issue-icon{font-size:1.5rem;margin-right:1rem}.issue-title{flex:1}.issue-title h4{margin:0;color:#1f2937;font-size:1rem}.issue-id{color:#6b7280;font-size:.875rem;font-family:monospace}.issue-body{padding:1rem}.affected-nodes{margin-bottom:.75rem;color:#4b5563}.affected-nodes strong{color:#1f2937}.issue-description{margin:.75rem 0;color:#4b5563;font-size:.95rem}.issue-description p{margin:0}.evidence-details{margin-top:1rem}.evidence-details summary{cursor:pointer;color:#3b82f6;font-weight:500;padding:.5rem;background:#f0f9ff;border-radius:4px;margin-bottom:.5rem}.evidence-content{padding:.75rem;background:#f9fafb;border-radius:4px;margin-top:.5rem}.evidence-content ul{margin:.5rem 0;padding-left:1.5rem}.repairs-section{margin-top:1.5rem;padding-top:1rem;border-top:1px solid #e5e7eb}.repairs-section h5{margin:0 0 1rem;color:#059669}.repair-card{background:#f0fdf4;border:1px solid #86efac;border-radius:6px;padding:.75rem;margin-bottom:.75rem}.repair-header{display:flex;justify-content:space-between;margin-bottom:.5rem}.repair-type{background:#059669;color:#fff;padding:.25rem .5rem;border-radius:4px;font-size:.75rem;font-weight:500}.repair-cost{color:#6b7280;font-size:.875rem}.repair-actions{margin:.75rem 0}.repair-actions .action{margin-bottom:.5rem}.repair-actions strong{color:#047857;font-size:.875rem}.repair-actions ul{margin:.25rem 0;padding-left:1.5rem;font-size:.875rem;color:#4b5563}.verification{margin-top:.75rem;padding-top:.75rem;border-top:1px solid #d1fae5}.verification strong{color:#065f46;margin-right:.5rem}.verified{color:#059669;font-weight:500}.not-verified{color:#dc2626;font-weight:500}.fol-status{margin-left:.5rem;color:#6b7280}.no-repairs{margin-top:1rem;padding:.75rem;background:#fef2f2;border-left:3px solid #ef4444;border-radius:4px;color:#991b1b;font-size:.875rem}.expandable-node-list{margin-bottom:1rem}.node-list{margin-top:.75rem}.diagnosis-node{border:1px solid #e2e8f0;border-radius:6px;margin-bottom:.5rem;overflow:hidden}.diagnosis-node-header{display:flex;align-items:center;gap:.75rem;padding:.75rem;background:#f8fafc;transition:background-color .2s}.diagnosis-node-header:hover{background:#f1f5f9}.diagnosis-node-id{font-weight:600;color:#3b82f6;font-family:Courier New,monospace;min-width:3rem}.diagnosis-node-summary{flex:1;color:#4b5563;font-size:.875rem}.diagnosis-node-error{flex:1;color:#ef4444;font-size:.875rem;font-style:italic}.diagnosis-node-details{border-top:1px solid #e2e8f0;background:#fff}.expand-indicator{font-size:.875rem;color:#6b7280;-webkit-user-select:none;user-select:none}@media (max-width: 768px){.diagnosis-node-header{flex-direction:column;align-items:flex-start;gap:.5rem}.diagnosis-node-summary,.diagnosis-node-error{font-size:.8125rem}.expand-indicator{align-self:flex-end;font-size:.8125rem}}:root{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;line-height:1.5;font-weight:400;color-scheme:light;color:#213547;background-color:#fff;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;-webkit-text-size-adjust:100%}*{margin:0;padding:0;box-sizing:border-box}body{margin:0;display:flex;place-items:center;min-width:320px;min-height:100vh}#root{width:100%;min-height:100vh}h1{font-size:2.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#2563eb;color:#fff;cursor:pointer;transition:all .25s}button:hover{background-color:#1d4ed8}button:disabled{opacity:.5;cursor:not-allowed}input,textarea,select{font-family:inherit;font-size:1em;padding:.5em;border:1px solid #e5e7eb;border-radius:6px;background-color:#fff;transition:border-color .25s}input:focus,textarea:focus,select:focus{outline:none;border-color:#2563eb}textarea{resize:vertical;min-height:120px}.container{max-width:1280px;margin:0 auto;padding:2rem}.card{background:#fff;border:1px solid #e5e7eb;border-radius:12px;padding:1.5rem;margin-bottom:1.5rem;box-shadow:0 1px 3px #0000001a}.error{color:#dc2626;background-color:#fee2e2;border:1px solid #fecaca;border-radius:6px;padding:.75rem;margin:.5rem 0}.warning{color:#d97706;background-color:#fef3c7;border:1px solid #fde68a;border-radius:6px;padding:.75rem;margin:.5rem 0}.info{color:#0369a1;background-color:#dbeafe;border:1px solid #bfdbfe;border-radius:6px;padding:.75rem;margin:.5rem 0}pre{background-color:#f8f9fa;border:1px solid #e5e7eb;border-radius:6px;padding:1rem;overflow-x:auto;font-family:Monaco,Menlo,Ubuntu Mono,monospace;font-size:.9rem}details{margin:1rem 0}summary{cursor:pointer;font-weight:500;padding:.75rem;background:#f3f4f6;border-radius:6px;-webkit-user-select:none;user-select:none;transition:background-color .25s}summary:hover{background:#e5e7eb}.tabs{display:flex;gap:.5rem;border-bottom:2px solid #e5e7eb;margin-bottom:1rem}.tab{padding:.75rem 1.5rem;background:none;border:none;border-bottom:2px solid transparent;color:#6b7280;cursor:pointer;transition:all .25s;font-weight:500}.tab:hover:not(:disabled):not(.active){color:#111827;background-color:#f9fafb}.tab.active{color:#2563eb;border-bottom-color:#2563eb;background-color:transparent}.tab.active:hover{color:#2563eb;background-color:#eff6ff}.tab:disabled{opacity:.5;cursor:not-allowed}