*{box-sizing:border-box}body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;margin:0;padding:20px;background:#1a1a2e;color:#eee}.app nav{display:flex;align-items:center;justify-content:space-between;margin-bottom:20px;padding-bottom:12px;border-bottom:1px solid #3a3a5e}.app nav .nav-title{font-size:1.5rem;font-weight:700;color:#8be9fd;text-decoration:none}.app nav .nav-links{display:flex;gap:16px}.app nav .nav-links a{color:#bd93f9;text-decoration:none}.app nav .nav-links a:hover{color:#ff79c6}.run-list,.doc-list{display:flex;flex-direction:column;gap:8px}.run-list h2,.doc-list h2{color:#8be9fd;margin-bottom:12px}.run-item,.doc-item{display:flex;align-items:center;gap:12px;padding:12px;background:#2a2a4e;border-radius:6px;text-decoration:none;color:inherit}.run-item:hover,.doc-item:hover{background:#3a3a5e}.run-id{color:#8be9fd}.run-meta{flex:1;color:#888}.run-meta .link-inline{color:#bd93f9;text-decoration:none}.run-date{color:#666;font-size:12px}.kb-link{color:#f687b3}.run-view,.doc-view{max-width:1000px}.run-header,.doc-header{display:flex;align-items:center;justify-content:space-between;margin-bottom:16px}.run-header h2,.doc-header h2{margin:0;color:#8be9fd}.run-header code,.doc-header code{color:#50fa7b}.run-links{display:flex;gap:8px}.link-button{padding:6px 12px;background:#3a3a5e;border-radius:4px;color:#bd93f9;text-decoration:none;font-size:13px}.link-button:hover{background:#4a4a6e}.link-button.disabled{color:#f687b3;cursor:default}.run-meta-bar,.doc-meta-bar{background:#2a2a4e;padding:12px;border-radius:6px;margin-bottom:20px}.doc-text{color:#999}.run-layers-status{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:20px}.layer-badge{padding:4px 10px;border-radius:12px;font-size:12px;font-weight:500}.layer-badge.done{background:#2d4a3e;color:#50fa7b}.layer-badge.pending{background:#4a4a3e;color:#f1fa8c}.layer-badge.error{background:#4a2d3e;color:#f55}.sentences{display:flex;flex-direction:column;gap:12px}.sentence{display:flex;align-items:flex-start;gap:12px;padding:12px;background:#2a2a4e;border-radius:6px}.sentence-idx{color:#6272a4;font-size:12px;min-width:20px}.tokens{display:flex;flex-wrap:wrap;gap:6px}.token{padding:4px 8px;background:#3a3a5e;border-radius:4px;cursor:default}.token.clause-antecedent{background:#4a5568;border-left:3px solid #f6ad55}.token.clause-consequent{background:#4a5568;border-left:3px solid #68d391}.token.clause-main_clause{background:#4a5568;border-left:3px solid #63b3ed}.token.verb{font-weight:700;text-decoration:underline}.token.skip{opacity:.5}.token.entity{border-bottom:2px solid #f687b3}.token.quantifier{border-bottom:2px dashed #b794f4}.layer-section{margin-top:20px;padding:12px;background:#2a2a4e;border-radius:6px}.layer-section h3{margin:0 0 12px;color:#8be9fd;font-size:14px}.coref-list{display:flex;flex-wrap:wrap;gap:12px}.coref-pair{font-family:monospace;color:#bd93f9}.entity-list{display:flex;flex-wrap:wrap;gap:8px}.entity-tag{padding:4px 8px;background:#3a3a5e;border-radius:4px;color:#f687b3}.layer-raw{background:#1a1a2e;padding:12px;border-radius:4px;overflow-x:auto;font-size:12px;color:#8be9fd}.no-layers,.empty{color:#666;font-style:italic}.token.linked{border-bottom:2px solid #50fa7b}.link-summary{color:#888;margin-bottom:8px}.link-list{display:flex;flex-wrap:wrap;gap:8px}.link-tag{padding:4px 8px;background:#3a3a5e;border-radius:4px;color:#50fa7b;font-family:monospace}.type-tag{padding:4px 8px;background:#3a3a5e;border-radius:4px;color:#f1fa8c}.layer-section h4{color:#6272a4;font-size:12px;margin:12px 0 8px}.tree-node-row{display:flex;align-items:center;gap:8px;padding:4px 0}.node-type{font-size:12px;padding:2px 6px;border-radius:4px;color:#000;font-weight:500}.node-name{flex:1}.node-link{color:inherit;text-decoration:none}.node-link:hover{text-decoration:underline}.node-id{font-family:monospace;font-size:12px;opacity:.5}.expand-btn{background:none;border:none;color:inherit;cursor:pointer;padding:0;width:20px}.expand-spacer{width:20px}.detail-view{max-width:900px;margin:0 auto;padding:20px}.detail-header{display:flex;align-items:center;gap:12px;margin-bottom:24px}.detail-header h2{margin:0;flex:1}.type-badge{font-size:12px;padding:4px 8px;border-radius:4px;font-weight:500}.type-badge.document{background:#40a0f0;color:#000}.type-badge.query{background:#40f0a0;color:#000}.type-badge.kb{background:#f040a0;color:#000}.type-badge.syntax_run{background:#a040f0;color:#fff}.type-badge.semantics_run{background:#f0a040;color:#000}.detail-section{margin-bottom:24px}.detail-section h3{font-size:14px;text-transform:uppercase;opacity:.6;margin-bottom:8px}.section-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:12px}.section-header h3{margin:0}.content-body{background:#ffffff0d;padding:16px;border-radius:8px;white-space:pre-wrap;word-wrap:break-word;font-family:inherit;font-size:14px;line-height:1.6;margin:0}.content-body.system{border-left:3px solid #f0c040}.content-body.doc-preview{max-height:120px;overflow:hidden;position:relative}.content-body.doc-preview:after{content:"";position:absolute;bottom:0;left:0;right:0;height:40px;background:linear-gradient(transparent,#1a1a2ee6)}.meta-list{display:grid;grid-template-columns:auto 1fr;gap:8px 16px}.meta-list dt{opacity:.6}.meta-list dd{margin:0}.btn-primary{background:#40a0f0;color:#000;border:none;padding:8px 16px;border-radius:6px;cursor:pointer;font-weight:500}.btn-primary:hover{background:#60b0ff}.btn-primary:disabled{opacity:.5;cursor:not-allowed}.run-list{display:flex;flex-direction:column;gap:8px}.run-item{display:flex;align-items:center;gap:12px;padding:12px;background:#ffffff0d;border-radius:6px;text-decoration:none;color:inherit}.run-item:hover{background:#ffffff1a}.status-badge{font-size:12px;padding:2px 8px;border-radius:4px}.status-badge.pending{background:#888}.status-badge.running{background:#f0c040;color:#000}.status-badge.complete{background:#40f080;color:#000}.status-badge.error{background:#f04040}.run-id{font-family:monospace;opacity:.6}.run-date{margin-left:auto;font-size:12px;opacity:.5}.empty{opacity:.5;font-style:italic}.related-link{color:#40a0f0}.back-link{display:inline-block;margin-bottom:16px;color:#40a0f0}.folder-contents{display:flex;flex-direction:column;gap:8px}.folder-item{display:flex;align-items:center;gap:12px;padding:12px;background:#ffffff0d;border-radius:6px;text-decoration:none;color:inherit}.folder-item:hover{background:#ffffff1a}.item-name{flex:1}.kb-stats{display:flex;gap:24px;margin-bottom:24px}.stat{display:flex;flex-direction:column;align-items:center;padding:16px 24px;background:#ffffff0d;border-radius:8px}.stat-value{font-size:32px;font-weight:600}.stat-label{font-size:12px;text-transform:uppercase;opacity:.6}.entity-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:8px}.entity-card{display:flex;flex-direction:column;padding:12px;background:#ffffff0d;border-radius:6px}.entity-id{font-weight:500}.entity-type{font-size:12px;opacity:.6}.facts-list,.rules-list{display:flex;flex-direction:column;gap:8px}.fact-item,.rule-item{padding:8px 12px;background:#ffffff0d;border-radius:4px;font-family:monospace;font-size:13px}.fact-predicate,.rule-premise,.rule-conclusion{color:#40f0a0}.rule-vars{color:#f0c040;margin-right:8px}.rule-arrow{margin:0 8px;opacity:.5}.btn-secondary{background:#ffffff1a;color:inherit;border:none;padding:6px 12px;border-radius:4px;cursor:pointer}.btn-secondary:hover{background:#fff3}.content-body.dsl{font-family:monospace;font-size:13px}.ref-links{display:flex;gap:16px;flex-wrap:wrap}.ref-link{padding:8px 16px;background:#ffffff0d;border-radius:6px;color:#40a0f0;text-decoration:none}.ref-link:hover{background:#ffffff1a}.layers-status{display:flex;gap:8px}.link-list{display:flex;flex-direction:column;gap:4px}.link-item{display:flex;align-items:center;gap:8px;padding:8px;background:#ffffff08;border-radius:4px;font-family:monospace;font-size:13px}.link-discourse{color:#40a0f0}.link-arrow{opacity:.5}.link-kb{color:#f040a0}.link-status{margin-left:auto;font-size:11px;padding:2px 6px;border-radius:3px;background:#ffffff1a}.link-status.matched{background:#40f080;color:#000}.layer-tabs{display:flex;gap:4px;margin-bottom:16px;border-bottom:1px solid rgba(255,255,255,.1);padding-bottom:8px}.layer-tab{padding:8px 16px;background:#ffffff0d;border:none;border-radius:6px 6px 0 0;color:#888;cursor:pointer;font-size:13px;transition:all .15s}.layer-tab:hover:not(:disabled){background:#ffffff1a;color:#ccc}.layer-tab.active{background:#ffffff26;color:#fff}.layer-tab.done{color:#40f080}.layer-tab.done.active{color:#fff;background:#40f080}.layer-tab.pending{color:#666}.layer-tab:disabled{cursor:not-allowed;opacity:.4}.layer-content{background:#ffffff08;border-radius:8px;overflow:hidden}.layer-content.empty,.layer-content.loading{padding:24px;text-align:center;color:#666}.layer-header{display:flex;align-items:center;justify-content:space-between;padding:12px 16px;background:#ffffff0d;border-bottom:1px solid rgba(255,255,255,.05)}.layer-name{font-family:monospace;font-size:13px;color:#8be9fd}.layer-dsl{margin:0;padding:16px;font-family:monospace;font-size:13px;line-height:1.6;white-space:pre-wrap;overflow-x:auto;max-height:400px;overflow-y:auto}.semantics-form{display:flex;gap:12px;align-items:center}.kb-select{flex:1;padding:8px 12px;background:#ffffff0d;border:1px solid rgba(255,255,255,.1);border-radius:6px;color:#eee;font-size:14px}.kb-select:focus{outline:none;border-color:#40a0f0}.kb-select option{background:#1a1a2e}.chart-container{background:#ffffff08;border-radius:8px;padding:16px;overflow-x:auto}.convergence-chart{display:block}.loading-screen{display:flex;align-items:center;justify-content:center;height:100vh;color:#888}.login-page{min-height:100vh;display:flex;align-items:center;justify-content:center;background:linear-gradient(135deg,#1a1a2e,#16213e)}.login-container{width:100%;max-width:400px;padding:40px}.login-header{text-align:center;margin-bottom:40px}.login-header h1{font-size:48px;margin:0;background:linear-gradient(135deg,#8be9fd,#bd93f9);-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text}.login-header p{color:#888;margin-top:8px}.login-form{background:#ffffff0d;padding:32px;border-radius:12px;border:1px solid rgba(255,255,255,.1)}.login-error{background:#f040401a;border:1px solid rgba(240,64,64,.3);color:#f04040;padding:12px;border-radius:6px;margin-bottom:20px;font-size:14px}.form-group{margin-bottom:20px}.form-group label{display:block;margin-bottom:6px;font-size:13px;color:#888;text-transform:uppercase}.form-group input{width:100%;padding:12px;background:#0000004d;border:1px solid rgba(255,255,255,.1);border-radius:6px;color:#fff;font-size:16px}.form-group input:focus{outline:none;border-color:#8be9fd}.form-group input::placeholder{color:#555}.login-button{width:100%;padding:14px;background:linear-gradient(135deg,#8be9fd,#bd93f9);border:none;border-radius:6px;color:#000;font-size:16px;font-weight:600;cursor:pointer;transition:opacity .2s}.login-button:hover{opacity:.9}.login-button:disabled{opacity:.5;cursor:not-allowed}.login-footer{text-align:center;margin-top:32px;color:#555;font-size:12px}.nav-signout{background:none;border:none;color:#bd93f9;cursor:pointer;font-size:inherit;padding:0}.nav-signout:hover{color:#ff79c6}.user-info{display:flex;align-items:center;gap:12px}.user-email{color:#888;font-size:13px}.graph-container{margin-top:1rem}.graph-container svg{display:block;width:100%;max-width:800px}.node-details code{background:var(--bg-tertiary);padding:.2rem .4rem;border-radius:4px}.props-list{display:flex;flex-direction:column;gap:.5rem}.kind-dot.derived{background:#6b7280}.type-badge.graph{background:#7c3aed}.graph-legend{display:flex;gap:1.5rem;margin-bottom:1rem;flex-wrap:wrap}.legend-item{display:flex;align-items:center;gap:.5rem;font-size:.85rem;color:var(--text-secondary)}.legend-shape{width:16px;height:16px;display:inline-block}.legend-shape.circle{border-radius:50%;border:2px solid}.legend-shape.circle.fact{border-color:#22c55e;background:#22c55e33}.legend-shape.circle.goal{border-color:#ef4444;background:#ef444433}.legend-shape.circle.derived{border-color:#9ca3af;background:#9ca3af33}.legend-shape.square.and{background:#fef3c7;border:2px solid #f59e0b;border-radius:2px}.legend-shape.diamond.or{width:14px;height:14px;background:#ede9fe;border:2px solid #8b5cf6;transform:rotate(45deg)}.graph-container{background:#111827;border-radius:8px;overflow:auto;max-width:100%}.graph-container svg{display:block;min-width:1200px}.clauses-list{display:flex;flex-direction:column;gap:.5rem}.clause-item{display:flex;align-items:center;gap:.75rem;padding:.5rem .75rem;background:var(--bg-secondary);border-radius:6px}.clause-id{font-weight:600;color:var(--accent);min-width:2.5rem}.clause-formula{flex:1;font-size:.85rem}.clause-weight{color:var(--text-muted);font-size:.85rem}.node-details{background:var(--bg-secondary);padding:1rem;border-radius:8px;font-size:.9rem}.node-details>div{margin-bottom:.5rem}.node-details code{background:var(--bg-tertiary);padding:.2rem .4rem;border-radius:4px;font-size:.85rem}.kind-badge{padding:.2rem .5rem;border-radius:4px;font-size:.75rem;font-weight:600}.kind-badge.goal{background:#fee2e2;color:#991b1b}.kind-badge.fact{background:#dcfce7;color:#166534}.kind-badge.evidence{background:#dbeafe;color:#1e40af}.kind-badge.derived{background:#f3f4f6;color:#374151}.props-list{display:flex;flex-direction:column;gap:.5rem;max-height:400px;overflow-y:auto}.prop-item{display:flex;align-items:center;gap:.75rem;padding:.5rem .75rem;background:var(--bg-secondary);border-radius:6px;cursor:pointer;transition:background .15s}.prop-item:hover{background:var(--bg-tertiary)}.prop-item.selected{background:var(--bg-tertiary);outline:2px solid var(--accent)}.kind-dot{width:10px;height:10px;border-radius:50%;flex-shrink:0}.kind-dot.goal{background:#ef4444}.kind-dot.fact{background:#22c55e}.kind-dot.evidence{background:#3b82f6}.kind-dot.derived{background:#9ca3af}.prop-formula{flex:1;font-size:.85rem;color:var(--text-secondary)}.prop-prob{font-family:monospace;font-size:.85rem;color:var(--text-muted)}.view-toggle{display:flex;gap:.5rem;margin-bottom:1rem}.view-toggle button{padding:.5rem 1rem;border:1px solid #374151;background:#1f2937;color:#9ca3af;border-radius:4px;cursor:pointer;font-size:.875rem}.view-toggle button.active{background:#3b82f6;border-color:#3b82f6;color:#fff}.view-toggle button:hover:not(.active){background:#374151}.query-badge{background:#f59e0b;color:#000;padding:.125rem .375rem;border-radius:3px;font-size:.625rem;font-weight:700;margin-left:.5rem}.evidence-badge{background:#22c55e;color:#000;padding:.125rem .375rem;border-radius:3px;font-size:.625rem;font-weight:700;margin-left:.5rem}.legend-shape.query{background:#f59e0b}.legend-shape.evidence{background:#22c55e}.legend-shape.high-prob{background:#86efac}.legend-shape.low-prob{background:#fca5a5}