:root {
  --bg: #04140e; --panel: #0a2018; --ink: #d7f5e9; --muted: #6f9486; --line: #16392c;
  --accent: #12e19a; --accent-ink: #04140e; --err: #ff6b6b; --ok: #12e19a;
  --crit: #ff4d4d; --high: #ff9f43; --med: #ffd93d; --low: #6fb3ff; --info: #8aa;
  --radius: 12px; --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --bg: #f3faf6; --panel: #fff; --ink: #0c241a; --muted: #5a7a6d; --line: #d4e7dd;
    --accent: #0bbd82; --accent-ink: #fff;
  }
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.6 system-ui, -apple-system, Segoe UI, Roboto, sans-serif; }
main { max-width: 860px; margin: 0 auto; padding: 24px 16px 48px; }
a { color: var(--accent); text-decoration: none; } a:hover { text-decoration: underline; }
code, pre { font-family: var(--mono); }
pre { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); padding: 14px 16px; overflow-x: auto; font-size: 13px; }
h1 { font-size: clamp(1.6rem, 4vw, 2.4rem); line-height: 1.15; }
h2 { margin-top: 2em; } h3 { margin-bottom: .3em; }
.muted { color: var(--muted); } .err { color: var(--err); } .ok { color: var(--ok); }
.top { display: flex; flex-wrap: wrap; gap: 12px 20px; align-items: center; justify-content: space-between; max-width: 860px; margin: 0 auto; padding: 14px 16px; border-bottom: 1px solid var(--line); }
.brand { font-family: var(--mono); font-weight: 700; font-size: 1.1rem; color: var(--ink); }
.brand-mark { color: var(--accent); } .brand .dot { color: var(--accent); }
.top nav { display: flex; flex-wrap: wrap; gap: 16px; align-items: center; }
.top nav a { color: var(--ink); } .inline { display: inline; }
.btn { display: inline-block; background: var(--accent); color: var(--accent-ink); font-weight: 700; padding: 10px 18px; border: 0; border-radius: 10px; cursor: pointer; font-size: 15px; }
.btn:hover { text-decoration: none; filter: brightness(1.06); }
.btn.ghost { background: transparent; color: var(--accent); border: 1px solid var(--line); }
.btn.sm { padding: 6px 12px; font-size: 13px; } .btn:disabled { opacity: .4; cursor: not-allowed; }
.link { background: none; border: 0; color: var(--accent); cursor: pointer; font: inherit; padding: 0; }
.hero { padding: 24px 0 8px; } .hero .lead { font-size: 1.15rem; color: var(--ink); }
.cta { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 18px; }
.steps { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 16px; margin: 32px 0; }
.step { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; }
.honest { background: var(--panel); border: 1px solid var(--line); border-left: 3px solid var(--accent); border-radius: var(--radius); padding: 14px 18px; }
.narrow { max-width: 460px; } .prose { max-width: 720px; }
form.grid { display: grid; gap: 12px; } label { display: grid; gap: 4px; font-size: 14px; color: var(--muted); }
input, select { font: inherit; padding: 10px 12px; background: var(--bg); color: var(--ink); border: 1px solid var(--line); border-radius: 10px; }
input[readonly] { opacity: .7; }
form.row, .row { display: flex; gap: 10px; flex-wrap: wrap; } form.row input { flex: 1; min-width: 200px; }
.targets, .runs { list-style: none; padding: 0; display: grid; gap: 10px; }
.target { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); padding: 14px 16px; display: flex; flex-wrap: wrap; gap: 10px; justify-content: space-between; align-items: center; }
.target-actions { display: flex; gap: 8px; }
.state, .rstatus, .sev { font-family: var(--mono); font-size: 12px; padding: 2px 8px; border-radius: 999px; border: 1px solid var(--line); }
.state-verified { color: var(--ok); border-color: var(--ok); } .state-unverified { color: var(--muted); } .state-lapsed { color: var(--high); border-color: var(--high); }
.rstatus-done { color: var(--ok); } .rstatus-refused, .rstatus-error { color: var(--err); border-color: var(--err); } .rstatus-running, .rstatus-queued { color: var(--med); }
.key { color: var(--accent); user-select: all; }
.proof pre { white-space: pre-wrap; word-break: break-all; }
.scanlog { font-family: var(--mono); font-size: 13px; background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); padding: 12px 14px; margin: 16px 0; min-height: 10px; }
.scanlog .step::before { content: "› "; color: var(--accent); } .scanlog .err { color: var(--err); } .scanlog .done { color: var(--ok); }
table.findings { width: 100%; border-collapse: collapse; margin-top: 12px; font-size: 14px; }
table.findings th, table.findings td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
td.loc { font-family: var(--mono); font-size: 12px; color: var(--muted); word-break: break-all; }
.sev-critical { color: var(--crit); border-color: var(--crit); } .sev-high { color: var(--high); border-color: var(--high); } .sev-medium { color: var(--med); border-color: var(--med); } .sev-low { color: var(--low); border-color: var(--low); } .sev-info { color: var(--info); }
.exports { display: flex; gap: 8px; margin: 12px 0; }
footer.ver { max-width: 860px; margin: 0 auto; padding: 24px 16px; color: var(--muted); font-size: 12px; font-family: var(--mono); }