:root {
  --bg: #f4f6f8;
  --surface: #fff;
  --text: #1a1d21;
  --muted: #5c6570;
  --accent: #1e4d8c;
  --accent-soft: #e8f0fa;
  --ok: #1a7f4b;
  --ok-bg: #e6f5ec;
  --bad: #b91c1c;
  --bad-bg: #fee2e2;
  --border: #d8dee6;
  --radius: 10px;
  font-family: "Segoe UI", system-ui, sans-serif;
}

* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); line-height: 1.5; min-height: 100vh; display: flex; flex-direction: column; }
main { flex: 1; }

.top {
  background: linear-gradient(135deg, #1e3a5f, #1e4d8c);
  color: #fff;
  padding: 1.25rem 1.5rem;
}
.top h1 { margin: 0 0 0.35rem; font-size: 1.35rem; }
.top p { margin: 0; opacity: 0.92; font-size: 0.95rem; max-width: 52rem; }

main { max-width: 52rem; margin: 0 auto; padding: 1.25rem; width: 100%; }

nav.topnav {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-top: 0.75rem;
}
nav.topnav a {
  color: #fff;
  text-decoration: none;
  padding: 0.4rem 0.9rem;
  border-radius: 6px;
  background: rgba(255,255,255,0.2);
  font-size: 0.9rem;
  font-weight: 600;
}
nav.topnav a:hover { background: rgba(255,255,255,0.28); }
nav.topnav a.active { background: #fff; color: var(--accent); }
.lang-corner {
  position: fixed;
  top: 0.7rem;
  right: 1rem;
  z-index: 2000;
  display: flex;
  align-items: center;
  gap: 0.4rem;
  font-size: 0.8rem;
  letter-spacing: 0.02em;
  user-select: none;
}
.lang-corner .lang-link {
  color: rgba(255, 255, 255, 0.75);
  text-decoration: none;
  font-weight: 500;
}
.lang-corner .lang-link:hover {
  color: #fff;
  text-decoration: underline;
}
.lang-corner .lang-link.active {
  color: #fff;
  font-weight: 700;
  text-decoration: underline;
  text-underline-offset: 3px;
}
.lang-corner .lang-sep {
  color: rgba(255, 255, 255, 0.45);
  font-size: 0.75rem;
}
.calibration-hint {
  margin: 0.75rem 0;
  padding: 0.65rem 0.85rem;
  border-radius: 8px;
  background: var(--bg);
  border-left: 3px solid var(--accent);
  font-size: 0.9rem;
}
.calibration-hint.ok-hint { border-left-color: var(--ok); }
.asr-chart-title { margin: 0 0 0.35rem; font-size: 0.95rem; }
.verify-badges { display: flex; flex-wrap: wrap; gap: 0.4rem; margin: 0.5rem 0; }

.nav-info {
  margin: 0.55rem 0 0;
  font-size: 0.84rem;
  opacity: 0.92;
}
.nav-info a {
  color: rgba(255,255,255,0.92);
  text-decoration: underline;
  text-underline-offset: 2px;
}
.nav-info a:hover { color: #fff; }
.nav-info a.active-info { font-weight: 600; text-decoration-thickness: 2px; }

.top h1 .title-link {
  color: inherit;
  text-decoration: none;
}
.top h1 .title-link:hover { text-decoration: underline; }

.help-line { font-size: 0.85rem; margin: 0.5rem 0 0.75rem; }
.server-runs { margin-bottom: 1rem; }
.server-runs label { font-weight: 600; display: block; }
.server-runs select {
  display: block;
  width: 100%;
  max-width: 100%;
  margin: 0.4rem 0 0.65rem;
  padding: 0.45rem 0.5rem;
  font-size: 0.9rem;
  border-radius: 6px;
  border: 1px solid var(--border);
}

.footer-dev { margin-top: 0.5rem; font-size: 0.82rem; }
.footer-dev summary { cursor: pointer; color: var(--muted); }

.lee-summary-card {
  background: var(--accent-soft);
  border: 1px solid #c5d9f0;
  border-radius: var(--radius);
  padding: 1rem 1.15rem;
  margin-bottom: 1rem;
}
.lee-summary-card h3 { margin: 0 0 0.5rem; font-size: 1rem; }
.lee-headline { font-size: 1.05rem; margin: 0 0 0.35rem; }
.calib-caution { margin: 0.5rem 0 0; font-size: 0.85rem; color: var(--bad); }
.lee-json { font-size: 0.78rem; max-height: 14rem; overflow: auto; }
.run-report-links { margin: 0.75rem 0 0; }
.secondary-link { font-size: 0.9rem; }

#setup-panel.setup-done .file-row,
#setup-panel.setup-done .help-line,
#setup-panel.setup-done #server-runs { display: none; }
#setup-panel.setup-done .sampling-advanced { margin-top: 0; }

.panel {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1.25rem;
  margin-bottom: 1rem;
}
.panel h2 { margin-top: 0; font-size: 1.1rem; }

.card-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(14rem, 1fr));
  gap: 1rem;
  margin: 1rem 0;
}
.card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1rem;
  text-decoration: none;
  color: inherit;
  background: var(--surface);
  transition: box-shadow 0.15s;
}
.card:hover { box-shadow: 0 4px 12px rgba(0,0,0,0.08); }
.card h3 { margin: 0 0 0.35rem; font-size: 1rem; color: var(--accent); }
.card p { margin: 0; font-size: 0.88rem; color: var(--muted); }

.ref-links-list {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  gap: 0.65rem;
}
.ref-links-list li {
  padding: 0.65rem 0.75rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--bg);
}
.ref-links-list a {
  color: var(--accent);
  text-decoration: none;
}
.ref-links-list a:hover { text-decoration: underline; }
.ref-links-list .ref-note {
  display: block;
  font-size: 0.82rem;
  margin-top: 0.15rem;
}
.landing-refs h2 { margin-top: 0; font-size: 1.05rem; }

.badge {
  display: inline-block;
  padding: 0.25rem 0.65rem;
  border-radius: 999px;
  font-size: 0.82rem;
  font-weight: 600;
  margin-bottom: 0.75rem;
}
.badge.ok { background: var(--ok-bg); color: var(--ok); }
.badge.bad { background: var(--bad-bg); color: var(--bad); }

.muted { color: var(--muted); font-size: 0.9rem; }
.hidden { display: none !important; }

button, .file-btn, .btn-link {
  cursor: pointer;
  border: none;
  border-radius: 8px;
  padding: 0.55rem 1rem;
  font-size: 0.9rem;
  background: var(--accent);
  color: #fff;
  text-decoration: none;
  display: inline-block;
}
.file-btn { display: inline-block; }
.file-btn input { display: none; }
.file-btn.secondary, .secondary-btn { background: #4b5563; }
button:disabled { opacity: 0.45; cursor: not-allowed; }

.load-panel { max-width: 36rem; }
.load-step {
  font-weight: 600;
  font-size: 0.9rem;
  margin: 0 0 0.5rem;
  color: var(--text, #1e293b);
}
.load-mode-tabs { display: none; }
.mode-hint { font-size: 0.82rem; margin: 0 0 0.65rem; }
.load-field-label {
  display: flex;
  flex-direction: column;
  gap: 0.35rem;
  font-size: 0.85rem;
  font-weight: 600;
}
.load-field-label select {
  font-weight: normal;
  padding: 0.45rem 0.5rem;
  border-radius: 6px;
  border: 1px solid #cbd5e1;
}
.load-preview {
  margin: 0.75rem 0 1rem;
  padding: 0.65rem 0.85rem;
  background: #eff6ff;
  border: 1px solid #93c5fd;
  border-radius: 8px;
  font-size: 0.9rem;
}
.load-preview-label { font-weight: 600; margin-right: 0.35rem; }
.load-preview-text { word-break: break-all; }
.btn-load {
  min-width: 100%;
  padding: 0.65rem 1.25rem;
  font-size: 1rem;
  font-weight: 600;
}
.btn-load:disabled { opacity: 0.4; cursor: not-allowed; }
.load-file-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
}
.load-open-row { display: none; }
.file-picked { display: none; }
.server-runs-load { display: none; }
.server-runs { display: flex; flex-wrap: wrap; gap: 0.5rem; align-items: flex-end; margin-bottom: 1rem; }
.server-runs label { flex: 1; min-width: 14rem; display: flex; flex-direction: column; gap: 0.25rem; font-size: 0.85rem; }

table.simple {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.88rem;
  margin-top: 0.75rem;
}
table.simple th, table.simple td {
  border: 1px solid var(--border);
  padding: 0.45rem 0.65rem;
  text-align: left;
  vertical-align: top;
}
table.simple th { background: var(--bg); }
.muted-row { opacity: 0.55; }

.run-dl {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.35rem 1rem;
  margin: 0.5rem 0 0;
  font-size: 0.92rem;
}
.run-dl dt { font-weight: 600; }
.run-dl dd { margin: 0; }

.flow-steps { line-height: 1.7; padding-left: 1.25rem; }
.code-block {
  background: #eee;
  padding: 0.75rem;
  border-radius: 8px;
  overflow: auto;
  font-size: 0.85rem;
}

.owasp-wrap { margin-top: 1rem; }

#site-footer, footer#site-footer {
  text-align: center;
  padding: 1.25rem 1rem;
  color: var(--muted);
  font-size: 0.82rem;
  border-top: 1px solid var(--border);
  background: var(--surface);
  margin-top: auto;
}
#site-footer p, footer#site-footer p { margin: 0.35rem 0; }
.footer-credit { font-size: 0.88rem; color: var(--muted); }
.footer-credit a { color: var(--accent); text-decoration: none; }
.footer-credit a:hover { text-decoration: underline; }
.footer-refs a { color: var(--accent); }
.footer-note { font-size: 0.78rem; margin-top: 0.5rem !important; }

.alert-banner {
  background: var(--warn-bg, #fef3c7);
  border: 1px solid #f59e0b;
  border-radius: var(--radius);
  padding: 0.75rem 1rem;
  margin-bottom: 1rem;
  font-size: 0.9rem;
}
.alert-banner a { color: var(--accent); font-weight: 600; }
.alert-banner.bad-banner { background: var(--bad-bg); border-color: var(--bad); }

.validation-banner {
  border-radius: var(--radius);
  padding: 0.75rem 1rem;
  margin-bottom: 1rem;
  font-size: 0.9rem;
}
.validation-banner.ok { background: var(--ok-bg); border: 1px solid var(--ok); color: var(--ok); }
.validation-banner.bad { background: var(--bad-bg); border: 1px solid var(--bad); color: var(--bad); }
.validation-banner ul { margin: 0.35rem 0 0; padding-left: 1.25rem; }
.validation-banner .warn-list { color: var(--muted); margin: 0.35rem 0 0; font-size: 0.85rem; }

.vuln-results-table td, .vuln-results-table th { font-size: 0.84rem; }

.btn-link.disabled, a.btn-link[aria-disabled="true"] {
  opacity: 0.45;
  pointer-events: none;
  cursor: not-allowed;
}

/* ASR bar chart */
.asr-bar-chart { margin: 1rem 0; }
.bar-row {
  display: grid;
  grid-template-columns: 9rem 1fr 4.5rem;
  gap: 0.5rem;
  align-items: center;
  margin-bottom: 0.45rem;
  font-size: 0.85rem;
}
.bar-label { display: flex; flex-direction: column; line-height: 1.25; }
.bar-track {
  background: var(--bg);
  border-radius: 4px;
  height: 1.25rem;
  overflow: hidden;
  border: 1px solid var(--border);
}
.bar-fill {
  height: 100%;
  border-radius: 3px;
  min-width: 2px;
  transition: width 0.3s ease;
}
.bar-fill.green { background: linear-gradient(90deg, #22c55e, #16a34a); }
.bar-fill.orange { background: linear-gradient(90deg, #fbbf24, #f59e0b); }
.bar-fill.red { background: linear-gradient(90deg, #f87171, #dc2626); }
.bar-fill.unknown { background: #94a3b8; }
.bar-value { text-align: right; font-variant-numeric: tabular-nums; }

.gate-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem 1.25rem;
  font-size: 0.82rem;
  margin: 0.75rem 0;
  color: var(--muted);
}
.gate-dot {
  display: inline-block;
  width: 0.65rem;
  height: 0.65rem;
  border-radius: 50%;
  margin-right: 0.25rem;
  vertical-align: middle;
}
.gate-dot.green { background: #16a34a; }
.gate-dot.orange { background: #f59e0b; }
.gate-dot.red { background: #dc2626; }
.gate-dot.unknown { background: #94a3b8; }

/* ASR compare (p̂ vs θ̂) */
.asr-compare-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.25rem 1.5rem;
  margin: 0.75rem 0 1rem;
  align-items: start;
}
.asr-compare-col {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 0.85rem 1rem;
}
.asr-compare-col-cal { border-style: dashed; }
.asr-compare-title { margin: 0 0 0.25rem; font-size: 0.95rem; }
.compare-sub { margin: 0 0 0.65rem; font-size: 0.82rem; }
.asr-compare-placeholder { padding: 1.5rem 0.5rem; text-align: center; font-size: 0.88rem; }
.asr-compare-summary { margin: 0 0 0.75rem; font-size: 0.92rem; }
.bar-delta {
  display: inline-block;
  margin-left: 0.35rem;
  font-size: 0.78rem;
  font-weight: 600;
  font-variant-numeric: tabular-nums;
}
.bar-delta.delta-good { color: var(--ok); }
.bar-delta.delta-bad { color: var(--bad); }
.bar-delta.delta-neutral { color: var(--muted); }
.bar-fill.muted-bar { background: #cbd5e1; opacity: 0.5; }
@media (max-width: 768px) {
  .asr-compare-grid { grid-template-columns: 1fr; }
}

.ok-text { color: var(--ok); font-weight: 600; }
.bad-text { color: var(--bad); font-weight: 600; }

/* Quality gate card */
.quality-gate-card {
  border-radius: var(--radius);
  padding: 1rem 1.25rem;
  margin: 1rem 0;
  border: 2px solid var(--border);
}
.quality-gate-card.green { background: var(--ok-bg); border-color: var(--ok); }
.quality-gate-card.orange { background: #fff7ed; border-color: #f59e0b; }
.quality-gate-card.red { background: var(--bad-bg); border-color: var(--bad); }
.quality-gate-card.unknown { background: var(--bg); }
.qg-header { display: flex; justify-content: space-between; align-items: baseline; flex-wrap: wrap; gap: 0.5rem; }
.qg-header h3 { margin: 0; font-size: 1rem; }
.qg-asr { font-size: 1.75rem; font-weight: 700; font-variant-numeric: tabular-nums; }
.qg-verdict { margin: 0.5rem 0; font-size: 0.95rem; }
.qg-dl { margin-top: 0.5rem; }
.stats-note { font-size: 0.82rem; margin-top: 0.75rem; }

/* ATLAS mitigation cards */
.atlas-cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(16rem, 1fr));
  gap: 0.75rem;
  margin-top: 0.75rem;
}
.atlas-card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 0.85rem;
  font-size: 0.85rem;
  background: var(--surface);
}
.atlas-card header { margin-bottom: 0.35rem; }
.atlas-card.gate-border-red { border-left: 4px solid var(--bad); }
.atlas-card.gate-border-orange { border-left: 4px solid #f59e0b; }
.atlas-card.gate-border-green { border-left: 4px solid var(--ok); }
.mitigation-list { margin: 0.35rem 0 0.5rem; padding-left: 1.1rem; }
.mitigation-list li { margin-bottom: 0.2rem; }
.atlas-card a { color: var(--accent); }

/* Calibración / bibliografía */
.calib-section { margin-bottom: 1.25rem; }
.calib-section h3 { margin: 0 0 0.5rem; font-size: 1rem; }
.calib-method-panel { background: var(--accent-soft); border-color: #c5d9f0; }
.symbol-table { font-size: 0.86rem; }
.bib-list { margin: 0.5rem 0 0; padding-left: 1.25rem; font-size: 0.88rem; line-height: 1.55; }
.bib-list li { margin-bottom: 0.65rem; }
.bib-role { display: block; font-size: 0.82rem; margin-top: 0.15rem; }

/* Layout compacto portal */
.run-summary-compact {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.5rem 0.85rem;
  font-size: 0.88rem;
  margin-bottom: 0.75rem;
}
.run-kpi { color: var(--muted); }
.run-kpi-main { color: var(--text); font-weight: 500; }

.dashboard-row {
  display: grid;
  grid-template-columns: minmax(10rem, 14rem) 1fr;
  gap: 0.85rem 1rem;
  align-items: start;
  margin: 0.5rem 0;
}
.dashboard-gate { min-width: 0; }
.dashboard-asr { min-width: 0; }

.quality-gate-card.compact {
  padding: 0.65rem 0.85rem;
  margin: 0;
}
.quality-gate-card.compact .qg-asr { font-size: 1.35rem; }
.quality-gate-card.compact .qg-verdict { margin: 0.25rem 0 0; font-size: 0.82rem; }
.qg-label { font-size: 0.82rem; font-weight: 600; color: var(--muted); }

.asr-compare-grid.compact { gap: 0.65rem; margin: 0; }
.asr-compare-grid.compact .asr-compare-col { padding: 0.55rem 0.65rem; }
.asr-compare-grid.compact .asr-compare-title { font-size: 0.82rem; margin: 0; }
.asr-compare-grid.compact .bar-row.compact { font-size: 0.82rem; }
.asr-compare-grid.compact .bar-label { min-width: 3.5rem; }

.compact-table { font-size: 0.82rem; }
.compact-table th, .compact-table td { padding: 0.35rem 0.5rem; }

.more-details, .sampling-advanced, .artifacts-details {
  margin-top: 0.75rem;
  font-size: 0.88rem;
}
.more-details summary, .sampling-advanced summary, .artifacts-details summary {
  cursor: pointer;
  font-weight: 600;
  color: var(--accent);
  margin-bottom: 0.5rem;
}
.artifacts-details .nested { margin-top: 0.5rem; }

@media (max-width: 768px) {
  .dashboard-row { grid-template-columns: 1fr; }
}