/* reasoner.dev */
* { margin: 0; padding: 0; box-sizing: border-box; }
body { background: #0d1117; color: #c9d1d9; font-family: 'Inter', sans-serif; font-weight: 400; line-height: 1.6; }
.terminal { background: #161b22; border: 1px solid #30363d; border-radius: 6px; overflow: hidden; max-width: 600px; margin: 0 auto; }
.terminal-bar { display: flex; gap: 6px; padding: 10px 14px; background: #0d1117; }
.dot { width: 10px; height: 10px; border-radius: 50%; }
.dot.red { background: #ff5f57; }
.dot.yellow { background: #febc2e; }
.dot.green { background: #28c840; }
.terminal-body { padding: 1.2rem 1.5rem; font-family: 'Fira Code', monospace; font-size: 0.85rem; }
.boot { padding: 5rem 2rem 3rem; text-align: center; }
.brand { font-family: 'JetBrains Mono', monospace; font-weight: 700; font-size: 2rem; color: #3fb950; margin-bottom: 1rem; text-align: left; }
.prompt { color: #8b949e; }
.command { color: #c9d1d9; margin-bottom: 0.75rem; text-align: left; }
.muted { color: #8b949e; }
.chain { text-align: left; margin-bottom: 0.5rem; }
.premise { color: #d29922; }
.arrow { color: #8b949e; }
.conclusion { color: #3fb950; }
.cursor { display: inline-block; width: 8px; height: 18px; background: #3fb950; margin-left: 4px; vertical-align: text-bottom; animation: blink 1s step-end infinite; }
@keyframes blink { 0%, 100% { opacity: 1; } 50% { opacity: 0; } }
.confidence { text-align: left; font-size: 0.8rem; }
.green { color: #3fb950; }
.version-pill { display: inline-block; font-family: 'Fira Code', monospace; font-size: 0.7rem; color: #8b949e; border: 1px solid #30363d; border-radius: 9999px; padding: 0.2rem 0.6rem; margin-top: 1.5rem; }
.chains { max-width: 600px; margin: 0 auto; padding: 3rem 2rem; display: flex; flex-direction: column; gap: 1.5rem; }
.chain-panel { background: #161b22; border: 1px solid #30363d; border-radius: 6px; overflow: hidden; }
.panel-title { font-family: 'JetBrains Mono', monospace; font-weight: 500; font-size: 1rem; color: #58a6ff; margin-bottom: 1rem; }
.step { margin-bottom: 0.3rem; }
.step-num { color: #8b949e; }
.arrow-line { color: #8b949e; padding-left: 1.5rem; }
.models { max-width: 600px; margin: 0 auto; padding: 3rem 2rem; }
.section-title { font-family: 'JetBrains Mono', monospace; font-weight: 500; font-size: 1.2rem; color: #58a6ff; margin-bottom: 1.5rem; }
.model-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 1.5rem; }
.model-card { background: #161b22; border: 1px solid #30363d; border-radius: 6px; padding: 1.5rem; }
.model-name { font-family: 'JetBrains Mono', monospace; font-weight: 500; font-size: 0.9rem; color: #58a6ff; margin-bottom: 1rem; }
.bar-row { display: flex; align-items: center; gap: 0.5rem; margin-bottom: 0.5rem; }
.bar-label { font-family: 'Fira Code', monospace; font-size: 0.7rem; color: #8b949e; width: 70px; }
.bar-track { flex: 1; height: 6px; background: #21262d; border-radius: 3px; overflow: hidden; }
.bar-fill { height: 100%; background: #3fb950; border-radius: 3px; }
.bar-fill.fast { background: #58a6ff; }
.bar-val { font-family: 'Fira Code', monospace; font-size: 0.7rem; color: #c9d1d9; width: 45px; text-align: right; }
.install { max-width: 600px; margin: 0 auto; padding: 3rem 2rem 5rem; text-align: center; }
.install-panel { background: #161b22; border: 1px solid #30363d; border-radius: 6px; overflow: hidden; margin-bottom: 1.5rem; }
.install-cmd { font-size: 1rem; text-align: left; }
.install-close { font-family: 'JetBrains Mono', monospace; font-size: 0.9rem; color: #8b949e; }
@media (max-width: 480px) { .model-grid { grid-template-columns: 1fr; } }
.fade-in { opacity: 0; transform: translateY(12px); transition: opacity 0.5s ease, transform 0.5s ease; }
.fade-in.visible { opacity: 1; transform: translateY(0); }