/* Theme palettes — kept here so CSS and the JS theme table stay in sync.
 * Each theme defines a small set of CSS variables; per-theme overrides live
 * under [data-theme="<name>"]. labctl/static/themes.js mirrors the same
 * names for the picker and for xterm.js terminal colors.
 *
 * Add a new theme:
 *   1. add a [data-theme="<name>"] block here,
 *   2. add a matching entry to THEMES in static/themes.js,
 *   3. add the <option> to #theme-picker in templates/base.html.
 */

:root,
[data-theme="light"] {
  --bg: #fafafa;
  --fg: #1a1a1a;
  --muted: #666;
  --border: #e0e0e0;
  --accent: #2563eb;
  --accent-fg: #ffffff;
  --pass: #16a34a;
  --fail: #dc2626;
  --error: #d97706;
  --code-bg: #f1f1f1;
  --card-bg: #ffffff;
  --card-bg-hover: #f9fafb;
  --soft-pass: #dcfce7;
  --soft-fail: #fee2e2;
  --soft-error: #fef3c7;
  --soft-neutral: #f3f4f6;
  --solved-bg: #f0fdf4;
  --me-bg: #eff6ff;
  --terminal-bg: #ffffff;
  --terminal-fg: #1a1a1a;
}

[data-theme="dark"] {
  --bg: #0f1115;
  --fg: #e4e4e7;
  --muted: #9ca3af;
  --border: #2a2f3a;
  --accent: #60a5fa;
  --accent-fg: #0f1115;
  --pass: #4ade80;
  --fail: #f87171;
  --error: #fbbf24;
  --code-bg: #1a1d23;
  --card-bg: #1a1d23;
  --card-bg-hover: #232730;
  --soft-pass: #052e16;
  --soft-fail: #450a0a;
  --soft-error: #451a03;
  --soft-neutral: #1f2937;
  --solved-bg: #052e16;
  --me-bg: #1e3a8a;
  --terminal-bg: #000000;
  --terminal-fg: #e4e4e7;
}

[data-theme="solarized"] {
  /* Solarized Dark — ethanschoonover.com/solarized */
  --bg: #002b36;
  --fg: #93a1a1;
  --muted: #586e75;
  --border: #073642;
  --accent: #268bd2;
  --accent-fg: #fdf6e3;
  --pass: #859900;
  --fail: #dc322f;
  --error: #b58900;
  --code-bg: #073642;
  --card-bg: #073642;
  --card-bg-hover: #0d4654;
  --soft-pass: #1c3b00;
  --soft-fail: #4a0c0c;
  --soft-error: #3c2903;
  --soft-neutral: #073642;
  --solved-bg: #1c3b00;
  --me-bg: #00445e;
  --terminal-bg: #002b36;
  --terminal-fg: #93a1a1;
}

[data-theme="nord"] {
  /* Nord — nordtheme.com (Polar Night + Frost + Aurora) */
  --bg: #2e3440;
  --fg: #d8dee9;
  --muted: #616e88;
  --border: #3b4252;
  --accent: #88c0d0;
  --accent-fg: #2e3440;
  --pass: #a3be8c;
  --fail: #bf616a;
  --error: #ebcb8b;
  --code-bg: #3b4252;
  --card-bg: #3b4252;
  --card-bg-hover: #434c5e;
  --soft-pass: #3b4252;
  --soft-fail: #414c58;
  --soft-error: #4a4553;
  --soft-neutral: #3b4252;
  --solved-bg: #3b4252;
  --me-bg: #4c566a;
  --terminal-bg: #2e3440;
  --terminal-fg: #d8dee9;
}

* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;
  color: var(--fg);
  background: var(--bg);
  line-height: 1.55;
}

.topbar {
  display: flex;
  align-items: baseline;
  gap: 1rem;
  padding: 1rem 1.5rem;
  border-bottom: 1px solid var(--border);
  background: var(--card-bg);
}
.brand { font-weight: 700; font-size: 1.1rem; text-decoration: none; color: var(--fg); }
.crumbs { color: var(--muted); font-size: 0.9rem; display: flex; gap: 0.5rem; align-items: baseline; }

.content {
  max-width: 880px;
  margin: 0 auto;
  padding: 1.5rem;
}

h1 { margin-top: 0; }
h2 { margin-top: 1.5rem; border-bottom: 1px solid var(--border); padding-bottom: 0.3rem; }

.lab-grid {
  list-style: none;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(240px, 1fr));
  gap: 1rem;
}
.lab-card {
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--card-bg);
  transition: border-color 0.15s;
}
.lab-card:hover { border-color: var(--accent); }
.lab-card a {
  display: block;
  padding: 1rem;
  text-decoration: none;
  color: inherit;
}
.lab-card h3 { margin: 0 0 0.4rem; font-size: 1rem; }
.lab-meta { color: var(--muted); font-size: 0.8rem; }

.lab-facts {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.2rem 0.8rem;
  font-size: 0.9rem;
  margin: 0.5rem 0;
}
.lab-facts dt { color: var(--muted); }
.lab-facts dd { margin: 0; }

.markdown :where(pre) {
  background: var(--code-bg);
  padding: 0.75rem 1rem;
  border-radius: 4px;
  overflow-x: auto;
}
.markdown :where(code) {
  font-family: "SFMono-Regular", Menlo, Consolas, monospace;
  font-size: 0.9em;
}
.markdown :where(code):not(pre code) {
  background: var(--code-bg);
  padding: 0.1rem 0.3rem;
  border-radius: 3px;
}

.hints {
  margin-top: 1.5rem;
  border: 1px dashed var(--border);
  border-radius: 4px;
  padding: 0.5rem 1rem;
  background: var(--card-bg);
}
.hints summary { cursor: pointer; font-weight: 600; }

.run { margin-top: 2rem; }
#run-btn {
  font: inherit;
  font-weight: 600;
  padding: 0.6rem 1.2rem;
  border: 1px solid var(--accent);
  background: var(--accent);
  color: var(--accent-fg);
  border-radius: 4px;
  cursor: pointer;
}
#run-btn:hover { filter: brightness(1.05); }
#run-btn:disabled { opacity: 0.6; cursor: progress; }

.session {
  margin-top: 1.5rem;
  padding: 1rem;
  background: var(--card-bg);
  border: 1px solid var(--border);
  border-radius: 6px;
}
.session-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.6rem;
}
.session-row button {
  font: inherit;
  padding: 0.45rem 0.9rem;
  border: 1px solid var(--border);
  background: var(--card-bg);
  color: var(--fg);
  border-radius: 4px;
  cursor: pointer;
}
.session-row button:hover:not(:disabled) { border-color: var(--accent); }
.session-row button:disabled { opacity: 0.5; cursor: not-allowed; }

.badge {
  display: inline-block;
  padding: 0.2rem 0.6rem;
  border-radius: 12px;
  font-size: 0.8rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  margin-right: 0.5rem;
}
.badge.up { background: var(--soft-pass); color: var(--pass); }
.badge.down { background: var(--soft-fail); color: var(--fail); }
.badge.unknown { background: var(--soft-neutral); color: var(--muted); }

.muted { color: var(--muted); font-size: 0.85rem; }

.terminal-section { margin-top: 2rem; }
#terminal {
  background: var(--terminal-bg);
  padding: 0.5rem;
  border-radius: 4px;
  min-height: 360px;
}

.user-box {
  margin-left: auto;
  display: flex;
  align-items: center;
  gap: 0.4rem;
}
#user-name {
  font: inherit;
  font-size: 0.9rem;
  padding: 0.25rem 0.5rem;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--card-bg);
  color: var(--fg);
  width: 11rem;
}
#user-saved { font-size: 0.75rem; }

#theme-picker {
  font: inherit;
  font-size: 0.85rem;
  padding: 0.2rem 0.4rem;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--card-bg);
  color: var(--fg);
  cursor: pointer;
}

.page-header { display: flex; align-items: baseline; gap: 1rem; flex-wrap: wrap; }
.page-header h1 { margin: 0; }

.lab-card.solved { border-color: var(--pass); background: var(--solved-bg); }
.lab-card .check {
  color: var(--pass);
  font-weight: 700;
  margin-left: 0.3rem;
}

.lab-card .difficulty {
  display: inline-block;
  width: 1.1rem;
  height: 1.1rem;
  line-height: 1.1rem;
  text-align: center;
  border-radius: 50%;
  font-size: 0.65rem;
  font-weight: 700;
  color: var(--accent-fg);
  vertical-align: middle;
  margin-left: 0.3rem;
}
.lab-card .difficulty.easy { background: var(--pass); }
.lab-card .difficulty.medium { background: var(--error); }
.lab-card .difficulty.hard { background: var(--fail); }

.lab-card .tags {
  display: block;
  color: var(--muted);
  font-size: 0.75rem;
  margin-top: 0.2rem;
}

.filters {
  margin-bottom: 1.5rem;
  padding: 0.75rem 1rem;
  background: var(--card-bg);
  border: 1px solid var(--border);
  border-radius: 6px;
}
.filter-group {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.4rem;
  margin-bottom: 0.4rem;
}
.filter-group:last-child { margin-bottom: 0; }
.filter-label {
  color: var(--muted);
  font-size: 0.8rem;
  min-width: 5rem;
}
.filter-btn {
  font: inherit;
  font-size: 0.8rem;
  padding: 0.2rem 0.6rem;
  border: 1px solid var(--border);
  background: var(--card-bg);
  color: var(--fg);
  border-radius: 12px;
  cursor: pointer;
}
.filter-btn:hover { border-color: var(--accent); }
.filter-btn.active {
  background: var(--accent);
  color: var(--accent-fg);
  border-color: var(--accent);
}
#filter-count { margin-top: 0.5rem; }
.lab-card.hidden-by-filter { display: none; }

.attempts-section { margin-top: 2rem; }
.attempts {
  list-style: none;
  padding: 0;
  margin: 0.5rem 0;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--card-bg);
  max-height: 280px;
  overflow-y: auto;
}
.attempts li {
  padding: 0.5rem 0.75rem;
  border-bottom: 1px solid var(--border);
  font-size: 0.88rem;
  display: flex;
  gap: 0.6rem;
  align-items: baseline;
}
.attempts li:last-child { border-bottom: none; }
.attempts .when { color: var(--muted); font-size: 0.8rem; min-width: 11rem; }
.attempts .pill {
  font-weight: 700;
  text-transform: uppercase;
  font-size: 0.7rem;
  letter-spacing: 0.04em;
  padding: 0.1rem 0.4rem;
  border-radius: 8px;
}
.attempts .pill.pass { background: var(--soft-pass); color: var(--pass); }
.attempts .pill.fail { background: var(--soft-fail); color: var(--fail); }
.attempts .pill.error { background: var(--soft-error); color: var(--error); }
.attempts .mode { color: var(--muted); font-size: 0.75rem; }

.nav-link {
  text-decoration: none;
  color: var(--accent);
  font-size: 0.9rem;
}
.nav-link:hover { text-decoration: underline; }

.leaderboard {
  width: 100%;
  border-collapse: collapse;
  background: var(--card-bg);
  border: 1px solid var(--border);
  border-radius: 6px;
  overflow: hidden;
  font-size: 0.92rem;
}
.leaderboard th, .leaderboard td {
  padding: 0.6rem 0.8rem;
  text-align: left;
  border-bottom: 1px solid var(--border);
}
.leaderboard th {
  background: var(--card-bg-hover);
  font-size: 0.8rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--muted);
}
.leaderboard tr.me { background: var(--me-bg); }
.leaderboard td.rank { font-variant-numeric: tabular-nums; font-weight: 700; width: 3rem; }
.leaderboard td.num { font-variant-numeric: tabular-nums; width: 6rem; }
.leaderboard td.when { color: var(--muted); font-size: 0.85rem; font-variant-numeric: tabular-nums; }
.leaderboard tr:hover:not(.me) { background: var(--card-bg-hover); }

.me-rank {
  margin-top: 1.5rem;
  padding: 1rem;
  background: var(--card-bg);
  border-left: 4px solid var(--accent);
  border-radius: 4px;
}

.result {
  margin-top: 1rem;
  padding: 1rem;
  border-radius: 4px;
  background: var(--card-bg);
  border: 1px solid var(--border);
}
.result.pass { border-left: 4px solid var(--pass); }
.result.fail { border-left: 4px solid var(--fail); }
.result.error { border-left: 4px solid var(--error); }
.result .status {
  font-weight: 700;
  text-transform: uppercase;
  font-size: 0.85rem;
  letter-spacing: 0.05em;
}
.result.pass .status { color: var(--pass); }
.result.fail .status { color: var(--fail); }
.result.error .status { color: var(--error); }
.result ul { margin: 0.5rem 0 0; padding-left: 1.2rem; }