:root {
  --bg: #0f1115;
  --panel: #181b22;
  --border: #2a2f3a;
  --fg: #e6e9ef;
  --muted: #8b93a3;
  --accent: #4f8cff;
  --ok: #2ea043;
  --warn: #d29922;
  --err: #f85149;
  --mono: ui-monospace, SFMono-Regular, Menlo, monospace;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  background: var(--bg);
  color: var(--fg);
  font-size: 14px;
}
header {
  padding: 16px 24px;
  border-bottom: 1px solid var(--border);
  display: flex;
  align-items: baseline;
  gap: 12px;
}
header h1 { font-size: 18px; margin: 0; }
header .sub { color: var(--muted); font-size: 12px; }

.statusbar {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  padding: 10px 24px;
  background: var(--panel);
  border-bottom: 1px solid var(--border);
}
.chip {
  background: #21262e;
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 3px 10px;
  font-size: 12px;
  color: var(--muted);
}
.chip.ok { color: var(--ok); border-color: var(--ok); }
.chip.err { color: var(--err); border-color: var(--err); }
.chip.mono { font-family: var(--mono); }

.tabs {
  display: flex;
  gap: 4px;
  padding: 12px 24px 0;
}
.tab {
  background: transparent;
  color: var(--muted);
  border: 1px solid transparent;
  border-bottom: none;
  padding: 8px 16px;
  cursor: pointer;
  border-radius: 6px 6px 0 0;
  font-size: 13px;
}
.tab.active {
  color: var(--fg);
  background: var(--panel);
  border-color: var(--border);
}

.panel { display: none; padding: 24px; margin: 0 24px; background: var(--panel);
  border: 1px solid var(--border); border-top: none; }
.panel.active { display: block; }

.mode-row { display: flex; gap: 24px; margin-bottom: 16px; }
.mode-row label { color: var(--fg); cursor: pointer; }

.grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 12px; margin-bottom: 12px; }
.grid label { display: flex; flex-direction: column; gap: 4px; font-size: 12px; color: var(--muted); }
.grid label.wide { grid-column: 1 / -1; }
input {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 5px;
  color: var(--fg);
  padding: 7px 9px;
  font-size: 13px;
}
input:focus { outline: 1px solid var(--accent); }
fieldset { border: 1px solid var(--border); border-radius: 6px; margin: 12px 0; padding: 12px; }
legend { color: var(--muted); font-size: 12px; padding: 0 6px; }

.actions { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 16px; }
button {
  background: #21262e;
  color: var(--fg);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 8px 16px;
  cursor: pointer;
  font-size: 13px;
}
button:hover { border-color: var(--accent); }
button:disabled { opacity: 0.4; cursor: not-allowed; }
button.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
button.danger { border-color: var(--err); color: var(--err); }

.hint { color: var(--muted); font-size: 12px; line-height: 1.5; }
.hint code { background: var(--bg); padding: 1px 5px; border-radius: 3px; font-family: var(--mono); }

.out, .claims {
  margin-top: 16px;
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 12px;
  font-family: var(--mono);
  font-size: 12px;
  white-space: pre-wrap;
  word-break: break-all;
  max-height: 420px;
  overflow: auto;
}
.out.err { border-color: var(--err); }
.claims { color: #9ecbff; }
.hidden { display: none; }

.events { margin-top: 16px; display: flex; flex-direction: column; gap: 8px; }
.event {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 10px 12px;
}
.event summary { cursor: pointer; display: flex; gap: 12px; align-items: center; font-size: 13px; }
.event .badge { font-size: 11px; padding: 2px 8px; border-radius: 10px; border: 1px solid var(--border); }
.event .badge.sig { color: var(--ok); border-color: var(--ok); }
.event .badge.nosig { color: var(--warn); border-color: var(--warn); }
.event pre { font-family: var(--mono); font-size: 11px; white-space: pre-wrap; word-break: break-all; margin: 8px 0 0; color: var(--muted); }

.wk-results { display: flex; flex-direction: column; gap: 16px; margin-top: 16px; }
.wk-block h3 { font-size: 14px; margin: 0 0 8px; display: flex; align-items: center; gap: 8px; }