:root {
  --bg: #0b0f14;
  --panel: #11161d;
  --panel-2: #151c25;
  --border: #1f2733;
  --text: #dbe4ee;
  --muted: #8b98a9;
  --accent: #7aa2f7;
  --accent-strong: #4d7de0;
  --gold: #ffd60a;
  font-size: 15px;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  line-height: 1.6;
}

.topbar {
  display: flex; align-items: center; justify-content: space-between;
  gap: 16px; flex-wrap: wrap; padding: 14px 28px;
  border-bottom: 1px solid var(--border);
  background: linear-gradient(180deg, #10151c, var(--bg));
  position: sticky; top: 0; z-index: 10;
}

.brand { display: flex; align-items: center; gap: 14px; }
.logo7 {
  width: 40px; height: 40px; border-radius: 50%;
  border: 1.6px dashed var(--gold);
  display: flex; align-items: center; justify-content: center;
  font: 700 22px Georgia, serif; color: var(--accent);
}
.brand h1 { margin: 0; font-size: 1.15rem; }
.tagline { margin: 0; color: var(--muted); font-size: 0.8rem; }

.tabs { display: flex; gap: 4px; flex-wrap: wrap; }
.tabs a {
  color: var(--muted); text-decoration: none; padding: 7px 12px;
  border-radius: 7px; font-size: 0.9rem;
}
.tabs a:hover { color: var(--text); background: var(--panel-2); }

main { max-width: 880px; margin: 0 auto; padding: 20px 28px 40px; }

.card {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 14px; padding: 20px 24px; margin-bottom: 18px;
}
.card h2 { margin: 0 0 10px; font-size: 1.1rem; }
.card h3 { margin: 18px 0 8px; font-size: 0.98rem; }
.card p, .card li { color: #b9c4d2; }
.card ul { padding-left: 20px; }
a { color: var(--accent); }
code { background: var(--panel-2); border-radius: 5px; padding: 1px 6px; font-size: 0.85em; }

.hero { border-color: #2c3a52; }
.kicker {
  font-size: 0.75rem; letter-spacing: 0.12em; text-transform: uppercase;
  color: var(--gold); margin: 0 0 6px;
}
.hero-badges { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 14px; }
.badge {
  font-size: 0.78rem; padding: 4px 12px; border-radius: 999px;
  background: var(--panel-2); border: 1px solid var(--border); color: var(--muted);
}
.badge.ok { color: #4ade80; border-color: #2c4a3a; }

pre.def {
  background: #0a0d12; border: 1px solid var(--border); border-radius: 10px;
  padding: 14px 18px; font: 0.92em/1.7 ui-monospace, SFMono-Regular, Menlo, monospace;
  overflow-x: auto; color: var(--text);
}

.controls { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; margin: 10px 0; }
.controls label { display: flex; align-items: center; gap: 7px; color: var(--muted); font-size: 0.88rem; }
input[type="number"] {
  background: var(--panel-2); color: var(--text);
  border: 1px solid var(--border); border-radius: 8px;
  padding: 7px 10px; font: inherit; width: 130px;
}
input[type="range"] { accent-color: var(--accent); width: 180px; }
input:focus { outline: 1px solid var(--accent); }
output { color: var(--text); min-width: 1.6em; }

button {
  background: var(--panel-2); color: var(--text);
  border: 1px solid var(--border); border-radius: 8px;
  padding: 7px 14px; font: inherit; cursor: pointer;
}
button:hover { border-color: var(--accent); }
button.primary { background: var(--accent-strong); border-color: var(--accent-strong); color: #fff; font-weight: 600; }

.presets { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; font-size: 0.85rem; }
.presets button { padding: 5px 10px; font-size: 0.8rem; }
.presets small { color: var(--muted); }

.muted { color: var(--muted); }
.hint { color: var(--muted); font-size: 0.82rem; }
.status { color: var(--muted); font-size: 0.88rem; }

/* órbitas */
.orbit-chain {
  display: flex; align-items: center; flex-wrap: wrap; gap: 4px;
  background: #0a0d12; border: 1px solid var(--border); border-radius: 10px;
  padding: 14px 16px; margin-top: 8px; font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  min-height: 52px;
}
.orbit-chain.small { font-size: 0.8rem; }
.step {
  background: var(--panel-2); border: 1px solid var(--border); border-radius: 7px;
  padding: 3px 9px; animation: pop 260ms both;
}
.step.climb { border-color: #3a4a62; }
.step.seven { border-color: var(--gold); color: var(--gold); font-weight: 700; }
.arrow { color: var(--muted); margin: 0 2px; }
@keyframes pop { from { opacity: 0; transform: translateY(4px) scale(0.85); } to { opacity: 1; } }

dl.stats { display: grid; grid-template-columns: auto 1fr; gap: 7px 16px; margin: 12px 0 0; font-size: 0.9rem; }
dl.stats dt { color: var(--muted); }
dl.stats dd { margin: 0; text-align: right; font-variant-numeric: tabular-nums; }
dl.stats dd small { color: var(--muted); }

/* teoremas */
.theorem {
  border: 1px solid var(--border); border-radius: 12px;
  padding: 16px 18px; margin: 14px 0; background: var(--panel-2);
}
.theorem h3 { margin: 0 0 6px; color: var(--accent); font-size: 0.95rem; }
.claim { color: var(--text) !important; }
details { margin: 8px 0; }
summary { cursor: pointer; color: var(--gold); font-size: 0.85rem; }
details p { margin: 8px 0 2px; font-size: 0.92rem; }

.verify { margin-top: 10px; border-top: 1px dashed var(--border); padding-top: 10px; }

.progress { height: 8px; background: #0a0d12; border: 1px solid var(--border); border-radius: 6px; overflow: hidden; margin-top: 8px; }
.bar { height: 100%; width: 0; background: linear-gradient(90deg, var(--accent), #9d7af7); transition: width 0.15s; }

.canvas-box { position: relative; margin-top: 10px; border-radius: 10px; overflow: hidden; background: #0a0d12; border: 1px solid var(--border); }
.oct-box canvas { display: block; width: 100%; height: 360px; }

footer {
  text-align: center; color: var(--muted); font-size: 0.8rem;
  padding: 18px; border-top: 1px solid var(--border); margin-top: 30px;
}

@media (max-width: 720px) {
  main { padding: 12px; }
  .card { padding: 14px; }
}