@import "https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap";:root{--bg-base:#f5f7fa;--bg-card:#fff;--bg-surface:#f0f2f5;--bg-hover:#e8ecf1;--border:#e2e8f0;--border-bright:#cbd5e1;--text-primary:#1e293b;--text-secondary:#475569;--text-muted:#94a3b8;--accent:#2563eb;--accent-bright:#3b82f6;--accent-glow:#2563eb14;--accent-light:#2563eb0f;--success:#059669;--success-light:#05966914;--warning:#d97706;--warning-light:#d9770614;--danger:#dc2626;--danger-light:#dc262614;--exact-color:#059669;--unbound-color:#64748b;--shadow-sm:0 1px 2px #0000000d;--shadow-md:0 4px 12px #0000000f;--shadow-lg:0 8px 24px #00000014}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html{font-size:14px}body{background:var(--bg-base);color:var(--text-primary);-webkit-font-smoothing:antialiased;min-height:100vh;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;line-height:1.6}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-track{background:0 0}::-webkit-scrollbar-thumb{background:var(--border-bright);border-radius:3px}::-webkit-scrollbar-thumb:hover{background:var(--text-muted)}h1{letter-spacing:-.02em;color:var(--text-primary);font-size:1.5rem;font-weight:700}h2{color:var(--text-primary);font-size:1.2rem;font-weight:600}h3{color:var(--text-primary);font-size:.95rem;font-weight:600}code,pre{font-family:JetBrains Mono,monospace}.card{background:var(--bg-card);border:1px solid var(--border);box-shadow:var(--shadow-sm);border-radius:10px;padding:1.25rem;transition:box-shadow .2s,border-color .2s}.card:hover{box-shadow:var(--shadow-md);border-color:var(--border-bright)}.btn{cursor:pointer;border:none;border-radius:8px;align-items:center;gap:6px;padding:.5rem 1rem;font-size:.85rem;font-weight:500;transition:all .15s;display:inline-flex}.btn-primary{background:var(--accent);color:#fff}.btn-primary:hover{background:var(--accent-bright);box-shadow:0 2px 8px #2563eb40}.btn-ghost{color:var(--text-secondary);border:1px solid var(--border);background:0 0}.btn-ghost:hover{border-color:var(--accent);color:var(--accent);background:var(--accent-light)}.btn-danger{background:var(--danger);color:#fff}.btn-danger:hover{opacity:.85}.btn:disabled{opacity:.4;cursor:not-allowed}.badge{border-radius:20px;align-items:center;gap:4px;padding:2px 10px;font-size:.75rem;font-weight:500;display:inline-flex}.badge-exact{background:var(--success-light);color:var(--success)}.badge-approx{background:var(--warning-light);color:var(--warning)}.badge-unbound{color:var(--unbound-color);background:#f1f5f9}.badge-done{background:var(--success-light);color:var(--success)}.badge-running{background:var(--accent-glow);color:var(--accent)}.badge-error{background:var(--danger-light);color:var(--danger)}.badge-pending{color:var(--text-secondary);background:#f1f5f9}.data-table{border-collapse:collapse;width:100%;font-size:.85rem}.data-table th{text-align:left;color:var(--text-secondary);border-bottom:2px solid var(--border);white-space:nowrap;background:var(--bg-surface);padding:.6rem .75rem;font-weight:500}.data-table td{border-bottom:1px solid var(--border);color:var(--text-primary);padding:.55rem .75rem}.data-table tr:hover td{background:var(--accent-light)}.data-table tr.exact-row td{background:var(--success-light)}.data-table code{color:var(--accent);font-size:.8rem}.step-item{text-align:center;flex:1;position:relative}.step-dot{border:2px solid var(--border);background:var(--bg-card);border-radius:50%;justify-content:center;align-items:center;width:32px;height:32px;margin:0 auto 6px;transition:all .3s;display:flex}.step-dot.active{border-color:var(--accent);background:var(--accent-glow);color:var(--accent)}.step-dot.done{border-color:var(--success);background:var(--success-light);color:var(--success)}.step-label{color:var(--text-muted);font-size:.75rem}.step-label.active{color:var(--accent);font-weight:500}.step-label.done{color:var(--success)}.log-terminal{border:1px solid var(--border);max-height:300px;color:var(--text-secondary);background:#fafbfc;border-radius:8px;padding:1rem;font-family:JetBrains Mono,monospace;font-size:.78rem;line-height:1.7;overflow-y:auto}.log-terminal .log-error{color:var(--danger)}.log-terminal .log-ok{color:var(--success);font-weight:500}.log-terminal .log-warn{color:var(--warning)}.dropzone{border:2px dashed var(--border-bright);text-align:center;cursor:pointer;background:var(--bg-card);border-radius:12px;padding:2.5rem;transition:all .2s}.dropzone.dragover,.dropzone:hover{border-color:var(--accent);background:var(--accent-light)}.dropzone.has-file{border-color:var(--success);background:var(--success-light)}.page-wrapper{max-width:1400px;margin:0 auto;padding:1.5rem 2rem}.grid-2{grid-template-columns:1fr 1fr;gap:1.5rem;display:grid}.grid-3{grid-template-columns:1fr 1fr 1fr;gap:1rem;display:grid}@keyframes pulse-glow{0%,to{opacity:1}50%{opacity:.4}}@keyframes slide-up{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:translateY(0)}}.animate-pulse-glow{animation:2s infinite pulse-glow}.animate-slide-up{animation:.25s slide-up}.stat-card{background:var(--bg-card);border:1px solid var(--border);box-shadow:var(--shadow-sm);border-radius:10px;flex-direction:column;gap:4px;padding:1rem 1.25rem;display:flex;position:relative;overflow:hidden}.stat-card:before{content:"";background:var(--accent);border-radius:0 2px 2px 0;width:3px;position:absolute;top:0;bottom:0;left:0}.stat-value{color:var(--text-primary);font-size:1.4rem;font-weight:700}.stat-label{color:var(--text-muted);text-transform:uppercase;letter-spacing:.05em;font-size:.72rem}.navbar{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border-bottom:1px solid var(--border);z-index:100;height:56px;box-shadow:var(--shadow-sm);background:#ffffffeb;justify-content:space-between;align-items:center;padding:0 2rem;display:flex;position:sticky;top:0}.nav-brand{color:var(--accent);letter-spacing:-.01em;font-size:1rem;font-weight:700}.nav-links{gap:1.5rem;display:flex}.nav-link{color:var(--text-muted);border-bottom:2px solid #0000;padding:.25rem 0;font-size:.875rem;text-decoration:none;transition:color .15s}.nav-link:hover{color:var(--text-primary)}.nav-link.active{color:var(--accent);border-bottom-color:var(--accent);font-weight:500}.search-input{background:var(--bg-surface);border:1px solid var(--border);color:var(--text-primary);border-radius:8px;outline:none;width:200px;padding:.4rem .75rem;font-size:.85rem;transition:border-color .15s,box-shadow .15s}.search-input:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-glow)}.viewer-3d{border:1px solid var(--border);background:linear-gradient(135deg,#1e293b 0%,#0f172a 100%);border-radius:8px;width:100%;height:300px;overflow:hidden}.pdf-nav{background:var(--bg-surface);border-bottom:1px solid var(--border);border-radius:8px 8px 0 0;justify-content:center;align-items:center;gap:12px;padding:.5rem;display:flex}@keyframes spin{to{transform:rotate(360deg)}}@keyframes fadeSlideUp{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@media (width<=768px){.grid-2,.grid-3{grid-template-columns:1fr}.page-wrapper{padding:1rem}}