:root{--bg-primary:#060a0e;--bg-secondary:#0c1218;--bg-card:#ffffff09;--bg-card-hover:#ffffff0f;--border:#ffffff14;--border-glow:#10b98159;--text-primary:#e8eff5;--text-secondary:#7b8fa0;--text-muted:#4a5b6b;--accent:#10b981;--accent-light:#34d399;--accent-dim:#10b9811f;--gradient-start:#10b981;--gradient-mid:#06b6d4;--gradient-end:#8b5cf6;--success:#10b981;--warning:#f59e0b;--error:#ef4444;--code-bg:#00000080;--font-body:"Inter",-apple-system,BlinkMacSystemFont,sans-serif;--font-mono:"JetBrains Mono","Fira Code",monospace;--radius:12px;--radius-lg:16px}*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}body{font-family:var(--font-body);-webkit-font-smoothing:antialiased;min-height:100vh;line-height:1.6}.landing{color:#111827;background:#fff radial-gradient(circle,#e5e7eb 1px,#0000 1px) 0 0/24px 24px;min-height:100vh;font-family:Inter,-apple-system,BlinkMacSystemFont,sans-serif}.l-hero{text-align:center;background:linear-gradient(#f0fdf899 0%,#fff0 100%);padding:72px 24px 24px}.l-hero-inner{max-width:600px;margin:0 auto}.l-logo{align-items:center;gap:10px;margin-bottom:16px;display:inline-flex}.l-logo-symbol{color:#059669;font-size:3rem;font-weight:800;line-height:1}.l-logo-text{letter-spacing:-.03em;color:#111827;font-family:Inter,sans-serif;font-size:clamp(2.2rem,5vw,3rem);font-weight:800}.l-tagline{color:#4b5563;margin-bottom:12px;font-size:1.1rem;font-weight:400}.l-stats-line{color:#9ca3af;font-size:.85rem}.l-stats-accent{color:#059669;font-weight:600}.l-bento{grid-template-rows:auto auto;grid-template-columns:1.3fr 1fr;gap:16px;max-width:860px;margin:36px auto 0;padding:0 24px;display:grid}.l-bento-large{grid-row:1/3}.l-bento-card{background:#fff;border:1px solid #e5e7eb;border-radius:12px;padding:24px}.l-card-header{align-items:center;gap:10px;margin-bottom:8px;display:flex}.l-card-header h3{color:#111827;font-size:.95rem;font-weight:700}.l-badge-live{text-transform:uppercase;letter-spacing:.05em;color:#059669;background:#ecfdf5;border-radius:999px;padding:2px 8px;font-size:.65rem;font-weight:600}.l-card-desc{color:#6b7280;margin-bottom:14px;font-size:.82rem;line-height:1.5}.l-terminal{background:#f3f4f6;border:1px solid #e5e7eb;border-radius:8px;overflow:hidden}.l-terminal-bar{background:#e5e7eb;align-items:center;gap:6px;padding:8px 12px;display:flex}.l-terminal-dot{border-radius:50%;width:10px;height:10px}.l-dot-red{background:#ef4444}.l-dot-yellow{background:#f59e0b}.l-dot-green{background:#10b981}.l-terminal-title{color:#6b7280;margin-left:8px;font-size:.7rem;font-weight:500}.l-terminal-body{color:#374151;white-space:pre;margin:0;padding:14px 16px;font-family:JetBrains Mono,Fira Code,monospace;font-size:.7rem;line-height:1.6;overflow-x:auto}.l-vote-list{flex-direction:column;gap:6px;display:flex}.l-vote-row{color:#6b7280;background:#f9fafb;border:1px solid #f3f4f6;border-radius:6px;align-items:center;gap:8px;padding:6px 10px;font-size:.75rem;display:flex}.l-vote-row svg{color:#059669;flex-shrink:0}.l-vote-name{color:#374151;text-overflow:ellipsis;white-space:nowrap;flex:1;font-family:JetBrains Mono,monospace;font-size:.7rem;overflow:hidden}.l-vote-count{color:#059669;font-size:.72rem;font-weight:600}.l-tree{justify-content:center;padding:4px 0;display:flex}.l-cta{text-align:center;padding:36px 24px 0}.l-cta-btn{color:#fff;letter-spacing:.08em;background:#111827;border:none;border-radius:8px;padding:12px 36px;font-size:.85rem;font-weight:600;text-decoration:none;transition:background .2s;display:inline-block}.l-cta-btn:hover{background:#059669}.l-feed{max-width:860px;margin:48px auto 0;padding:0 24px}.l-feed-title{color:#111827;margin-bottom:16px;font-size:1.1rem;font-weight:700}.l-feed-table{border:1px solid #e5e7eb;border-radius:10px;flex-direction:column;display:flex;overflow:hidden}.l-feed-row{background:#fff;border-bottom:1px solid #f3f4f6;justify-content:space-between;align-items:center;gap:16px;padding:12px 16px;display:flex}.l-feed-row:last-child{border-bottom:none}.l-feed-row:hover{background:#f9fafb}.l-feed-left{flex-direction:column;flex:1;gap:2px;min-width:0;display:flex}.l-feed-solver{color:#9ca3af;font-size:.72rem;font-weight:500}.l-feed-name{color:#111827;text-overflow:ellipsis;white-space:nowrap;background:0 0;font-family:JetBrains Mono,monospace;font-size:.78rem;font-weight:600;overflow:hidden}.l-feed-desc{color:#9ca3af;text-overflow:ellipsis;white-space:nowrap;font-size:.75rem;overflow:hidden}.l-feed-right{flex-shrink:0;align-items:center;gap:12px;display:flex}.l-badge{border-radius:999px;padding:2px 10px;font-size:.68rem;font-weight:600}.l-badge-proved{color:#059669;background:#ecfdf5}.l-badge-disproved{color:#b45309;background:#fffbeb}.l-feed-date{color:#9ca3af;white-space:nowrap;font-size:.75rem}.l-feed-empty{text-align:center;color:#9ca3af;padding:32px 0}.l-footer{text-align:center;color:#9ca3af;margin-top:48px;padding:48px 24px 32px;font-size:.82rem}@media (max-width:768px){.l-hero{padding:48px 16px 20px}.l-bento{grid-template-rows:auto;grid-template-columns:1fr}.l-bento-large{grid-row:auto}.l-feed-row{flex-direction:column;align-items:flex-start;gap:8px}.l-feed-right{width:100%}}