:root {
  --bg: #0f1420;
  --panel: #171e2e;
  --panel-2: #1e2740;
  --border: #2b3555;
  --text: #e6e9f2;
  --text-dim: #9aa4c0;
  --accent: #5b8cff;
  --good: #3ecf8e;
  --bad: #ff6161;
  --warn: #ffb545;
}

* { box-sizing: border-box; }

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

header {
  padding: 24px 32px 12px;
  border-bottom: 1px solid var(--border);
}
header h1 { margin: 0 0 6px; font-size: 22px; }
.subtitle { color: var(--text-dim); max-width: 900px; font-size: 14px; margin: 0; }
code {
  background: var(--panel-2);
  padding: 1px 5px;
  border-radius: 4px;
  font-size: 0.9em;
}

#context-bar {
  display: flex;
  align-items: flex-end;
  gap: 16px;
  padding: 14px 32px;
  background: var(--panel);
  border-bottom: 1px solid var(--border);
  flex-wrap: wrap;
}
.ctx-field { display: flex; flex-direction: column; gap: 4px; }
.ctx-field label { font-size: 12px; color: var(--text-dim); }
select, input, textarea, button {
  background: var(--panel-2);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 7px 10px;
  font-size: 14px;
  font-family: inherit;
}
button {
  background: var(--accent);
  color: #0b0f1a;
  font-weight: 600;
  cursor: pointer;
  border: none;
}
button:hover { filter: brightness(1.1); }
#ctxStatus { color: var(--text-dim); font-size: 13px; }

#tabs {
  display: flex;
  gap: 4px;
  padding: 12px 32px 0;
  border-bottom: 1px solid var(--border);
}
.tab-btn {
  background: transparent;
  color: var(--text-dim);
  border: none;
  border-bottom: 2px solid transparent;
  border-radius: 0;
  padding: 10px 14px;
  font-weight: 500;
}
.tab-btn.active { color: var(--text); border-bottom-color: var(--accent); }

main { padding: 24px 32px 60px; }
.tab-panel { display: none; }
.tab-panel.active { display: block; }

.panel-grid {
  display: grid;
  grid-template-columns: minmax(280px, 380px) 1fr;
  gap: 20px;
  align-items: start;
}

.card {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 18px;
}
.card.wide { max-width: 1100px; }
.card h2 { margin-top: 0; font-size: 16px; }
.card h3 { font-size: 13px; color: var(--text-dim); margin: 14px 0 6px; }
.card hr { border: none; border-top: 1px solid var(--border); margin: 16px 0; }

form label {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-size: 13px;
  color: var(--text-dim);
  margin-bottom: 10px;
}
form label.checkbox { flex-direction: row; align-items: center; gap: 8px; }
form label.checkbox input { width: auto; }
form button { margin-top: 6px; width: 100%; }
.hidden { display: none; }
.hint { color: var(--text-dim); font-size: 13px; }

.form-error {
  color: var(--bad);
  font-size: 12px;
  margin-top: 8px;
  white-space: pre-wrap;
}

table { width: 100%; border-collapse: collapse; font-size: 13px; }
th, td {
  text-align: left;
  padding: 6px 8px;
  border-bottom: 1px solid var(--border);
}
th { color: var(--text-dim); font-weight: 500; }
td.mono { font-family: ui-monospace, monospace; font-size: 12px; color: var(--text-dim); }

.proof-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 16px;
}
.proof-card {
  background: var(--panel-2);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 14px;
}
.proof-card h3 { color: var(--text); margin-top: 0; }
.proof-card p { font-size: 13px; color: var(--text-dim); }
.proof-result {
  margin-top: 10px;
  padding: 10px;
  border-radius: 6px;
  background: #0b0f1a;
  font-size: 12px;
  white-space: pre-wrap;
  min-height: 20px;
  border: 1px solid var(--border);
}
.proof-result.ok { border-color: var(--good); color: var(--good); }
.proof-result.fail { border-color: var(--bad); color: var(--bad); }