:root {
  color-scheme: light dark;
  --bg: #f6f6f1;
  --surface: #ffffff;
  --surface-2: #f0f0ea;
  --ink: #171717;
  --muted: #66665f;
  --line: #e2e2da;
  --brand: #171717;
  --lime: #c7ff3d;
  --hit: #f4ffd6;
  --hit-edge: #8fbf12;
  --error: #c62828;
  --warning: #a35f00;
  --info: #2a62c9;
  --focus: #5b8a00;
  --mono: ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;
  --radius: 8px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0f0f0e;
    --surface: #171716;
    --surface-2: #1f1f1d;
    --ink: #ecece6;
    --muted: #9b9b93;
    --line: #2c2c29;
    --hit: #26301a;
    --hit-edge: #c7ff3d;
    --error: #ff7a6e;
    --warning: #f2b440;
    --info: #79a8ff;
    --focus: #c7ff3d;
  }
}

* { box-sizing: border-box; }

html { scroll-padding-top: 16px; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 15px/1.5 var(--sans);
  -webkit-font-smoothing: antialiased;
}

a { color: inherit; }
code, kbd, pre { font-family: var(--mono); }

button { font: inherit; color: inherit; cursor: pointer; }

:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; }

.sprite { position: absolute; width: 0; height: 0; overflow: hidden; }
.icon {
  width: 1em; height: 1em; flex: none; vertical-align: -0.125em;
  fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round;
}

.visually-hidden {
  position: absolute; width: 1px; height: 1px; overflow: hidden;
  clip: rect(0 0 0 0); white-space: nowrap;
}

/* Masthead */

.masthead { background: var(--brand); color: #f6f6f1; }
.masthead-inner {
  max-width: 1280px; margin: 0 auto; padding: 10px 16px;
  display: flex; align-items: center; justify-content: space-between;
}
.brand { display: flex; align-items: center; gap: 10px; text-decoration: none; font-weight: 700; font-size: 17px; letter-spacing: -0.01em; }
.logo { width: 28px; height: 28px; }
.masthead-links { display: flex; gap: 20px; font-size: 14px; }
.masthead-links a { display: inline-flex; align-items: center; gap: 6px; text-decoration: none; opacity: 0.8; }
.masthead-links a:hover { opacity: 1; color: var(--lime); }

main { max-width: 1280px; margin: 0 auto; padding: 0 16px; }

/* Intro and scan form */

.intro { padding: 56px 0 32px; }
.hero { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 56px; align-items: center; }
.hero-copy { max-width: 640px; }
.eyebrow {
  display: inline-flex; align-items: center; gap: 8px; margin: 0 0 16px; padding: 4px 12px 4px 10px;
  font: 600 12px var(--mono); letter-spacing: 0.02em; color: var(--muted);
  background: var(--surface); border: 1px solid var(--line); border-radius: 999px;
}
.eyebrow::before { content: ""; width: 8px; height: 8px; border-radius: 50%; background: var(--lime); box-shadow: 0 0 0 1px #171717; }
.intro h1 { font-size: clamp(36px, 6.5vw, 64px); line-height: 1.02; letter-spacing: -0.035em; margin: 0 0 14px; }
.lede { color: var(--muted); font-size: 17px; margin: 0 0 28px; }

.specimen {
  position: relative; margin: 0; background: var(--surface); border: 1px solid var(--line); border-radius: 12px;
  padding: 0 0 14px; overflow: hidden;
  box-shadow: 0 1px 2px rgb(0 0 0 / 0.04), 0 24px 48px -24px rgb(0 0 0 / 0.25);
}
.specimen::before {
  content: ""; position: absolute; inset: -40% -30% auto auto; width: 70%; aspect-ratio: 1; z-index: 0; pointer-events: none;
  background: radial-gradient(circle, color-mix(in srgb, var(--lime) 35%, transparent), transparent 65%);
}
.specimen > * { position: relative; z-index: 1; }
.specimen figcaption {
  display: flex; align-items: center; gap: 12px; padding: 10px 14px; border-bottom: 1px solid var(--line);
  font: 600 13px var(--mono); color: var(--muted);
}
.specimen-dots { width: 44px; height: 10px; background: radial-gradient(circle, var(--line) 4px, transparent 5px) 0 0 / 15px 10px repeat-x; }
.specimen .code { margin: 0; border: 0; border-radius: 0; background: transparent; padding: 10px 0; }
.specimen .finding { margin: 4px 14px 0; box-shadow: 0 8px 20px -12px rgb(0 0 0 / 0.3); }
.specimen-slides { display: grid; grid-template-columns: minmax(0, 1fr); }
.specimen-slide { grid-area: 1 / 1; visibility: hidden; opacity: 0; transition: opacity 0.35s ease, visibility 0s 0.35s; }
.specimen-slide.active { visibility: visible; opacity: 1; transition: opacity 0.35s ease; }
.specimen-nav { display: flex; align-items: center; justify-content: center; gap: 8px; padding: 12px 14px 0; }
.specimen-pause {
  display: grid; place-items: center; width: 26px; height: 26px; padding: 0;
  color: var(--muted); background: var(--surface); border: 1px solid var(--line); border-radius: 50%;
}
.specimen-pause:hover { color: var(--ink); border-color: var(--muted); }
.specimen-pause .icon { width: 11px; height: 11px; }
.specimen-tabs { display: flex; align-items: center; }
.specimen-tabs button { display: grid; place-items: center; padding: 8px 4px; background: none; border: 0; }
.specimen-tabs button::before {
  content: ""; width: 8px; height: 8px; border-radius: 4px;
  background: color-mix(in srgb, var(--muted) 35%, transparent); transition: width 0.25s ease, background-color 0.25s ease;
}
.specimen-tabs button:hover::before { background: var(--muted); }
.specimen-tabs button[aria-selected="true"]::before { width: 22px; background: var(--hit-edge); }

@media (prefers-reduced-motion: reduce) {
  .specimen-slide, .specimen-slide.active, .specimen-tabs button::before { transition: none; }
}

.has-results .intro { padding: 20px 0 16px; }
.has-results .hero { display: block; }
.has-results .hero-copy { max-width: none; }
.has-results .intro h1, .has-results .lede, .has-results .eyebrow, .has-results .specimen, .has-results .landing { display: none; }

.scan-form { display: flex; gap: 8px; flex-wrap: wrap; }
.scan-form input {
  font: 15px var(--mono); color: var(--ink); background: var(--surface);
  border: 1px solid var(--line); border-radius: var(--radius); padding: 11px 14px; min-width: 0;
}
#repo { flex: 3 1 260px; }
#ref { flex: 1 1 140px; }
.scan-form input:focus { border-color: var(--focus); outline: none; box-shadow: 0 0 0 3px color-mix(in srgb, var(--focus) 25%, transparent); }

#scan-button {
  display: inline-flex; align-items: center; gap: 8px;
  background: var(--lime); color: #171717; border: 1px solid #171717; border-radius: var(--radius);
  padding: 11px 24px; font-weight: 700; flex: 0 0 auto; box-shadow: 0 2px 0 #171717;
}
#scan-button:active:not(:disabled) { transform: translateY(2px); box-shadow: none; }
#scan-button:hover { filter: brightness(0.95); }
#scan-button:disabled { opacity: 0.55; cursor: progress; }

.examples { color: var(--muted); font-size: 14px; margin: 12px 0 0; display: flex; flex-wrap: wrap; gap: 6px; align-items: center; }
.examples button {
  font: 13px var(--mono); background: transparent; border: 1px dashed var(--line);
  border-radius: 999px; padding: 2px 10px; color: var(--ink);
}
.examples button:hover { border-style: solid; border-color: var(--ink); }

.token-panel { margin-top: 12px; font-size: 14px; color: var(--muted); }
.token-panel summary { cursor: pointer; width: fit-content; }
.token-panel summary .icon { margin: 0 4px 0 2px; }
.token-panel summary:hover { color: var(--ink); }
.token-panel p { margin: 8px 0; }
.token-row { display: flex; gap: 8px; }
#token {
  flex: 1 1 auto; min-width: 0; font: 14px var(--mono); color: var(--ink); background: var(--surface);
  border: 1px solid var(--line); border-radius: var(--radius); padding: 7px 12px;
}
#token:focus { border-color: var(--focus); outline: none; box-shadow: 0 0 0 3px color-mix(in srgb, var(--focus) 25%, transparent); }

.status { margin-top: 24px; }
.status-row { display: flex; justify-content: space-between; font-size: 14px; color: var(--muted); margin-bottom: 6px; font-variant-numeric: tabular-nums; }
.progress { height: 6px; background: var(--surface-2); border-radius: 999px; overflow: hidden; }
#progress-bar { height: 100%; width: 0; background: var(--lime); border-right: 1px solid #171717; transition: width 0.15s ease-out; }
#progress-bar.indeterminate { width: 30%; animation: slide 1.1s ease-in-out infinite; }
@keyframes slide { from { transform: translateX(-100%); } to { transform: translateX(340%); } }

.error {
  margin-top: 20px; padding: 12px 14px; border-radius: var(--radius);
  border: 1px solid color-mix(in srgb, var(--error) 45%, transparent);
  background: color-mix(in srgb, var(--error) 8%, var(--surface)); color: var(--ink);
}

/* Summary */

.results { padding-bottom: 48px; }

.summary {
  display: flex; flex-wrap: wrap; align-items: center; gap: 16px 28px;
  background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px;
}
.summary-target { display: flex; flex-direction: column; min-width: 0; }
.summary-repo { font-weight: 700; font-size: 18px; text-decoration: none; overflow-wrap: anywhere; }
.summary-repo:hover { text-decoration: underline; }
.summary-ref { font: 13px var(--mono); color: var(--muted); }
.summary-stats { display: flex; flex-wrap: wrap; gap: 6px 22px; margin: 0; flex: 1; }
.stat { display: flex; align-items: baseline; gap: 6px; }
.stat dt { font-weight: 700; font-size: 18px; font-variant-numeric: tabular-nums; }
.stat dd { margin: 0; color: var(--muted); font-size: 13px; white-space: nowrap; }
.stat-error dt { color: var(--error); }
.stat-warning dt { color: var(--warning); }
.stat-info dt { color: var(--info); }

.secondary {
  background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius);
  padding: 7px 14px; font-size: 14px;
}
.secondary:hover { border-color: var(--ink); }
a.secondary, button.secondary { display: inline-flex; align-items: center; gap: 6px; text-decoration: none; }
.summary-actions { display: flex; flex-wrap: wrap; gap: 8px; }

.notices { list-style: none; padding: 0; margin: 12px 0 0; font-size: 14px; color: var(--muted); }
.notices li::before { content: "› "; color: var(--hit-edge); font-weight: 700; }

/* Workspace */

.workspace { display: grid; grid-template-columns: 280px minmax(0, 1fr); gap: 24px; margin-top: 20px; align-items: start; }

.sidebar {
  position: sticky; top: 16px; max-height: calc(100vh - 32px); overflow-y: auto;
  display: flex; flex-direction: column; gap: 18px; padding-right: 4px;
}
#query {
  width: 100%; font: 14px var(--sans); color: var(--ink); background: var(--surface);
  border: 1px solid var(--line); border-radius: var(--radius); padding: 9px 12px;
}
.facet h2 { font-size: 11px; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 0 0 8px; }

.collapsible summary { cursor: pointer; list-style: none; display: flex; align-items: center; gap: 6px; }
.collapsible summary::-webkit-details-marker { display: none; }
.collapsible summary::after { content: "▸"; color: var(--muted); font-size: 11px; margin-bottom: 8px; }
.collapsible[open] summary::after { content: "▾"; }

.chips { display: flex; flex-wrap: wrap; gap: 6px; }
.chip {
  display: inline-flex; align-items: center; gap: 6px; font-size: 13px;
  background: var(--surface); border: 1px solid var(--line); border-radius: 999px; padding: 3px 10px;
}
.chip[aria-pressed="false"] { opacity: 0.45; text-decoration: line-through; }
.chip.sev-error[aria-pressed="true"] { border-color: var(--error); }
.chip.sev-warning[aria-pressed="true"] { border-color: var(--warning); }
.chip.sev-info[aria-pressed="true"] { border-color: var(--info); }

.count { font: 12px var(--mono); color: var(--muted); font-variant-numeric: tabular-nums; }

.facet-list { list-style: none; margin: 0; padding: 0; max-height: 280px; overflow-y: auto; }
.facet-item {
  width: 100%; display: flex; justify-content: space-between; gap: 8px; align-items: baseline;
  background: none; border: 0; border-radius: 6px; padding: 4px 8px; text-align: left; font-size: 13px;
}
.facet-item:hover { background: var(--surface-2); }
.facet-item[aria-pressed="true"] { background: var(--lime); color: #171717; }
.facet-item[aria-pressed="true"] .count { color: #171717; }
.facet-label { font-family: var(--mono); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; direction: rtl; text-align: left; }
#facet-rule .facet-label { direction: ltr; }

/* Findings */

.findings-toolbar { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; font-size: 14px; color: var(--muted); margin-bottom: 12px; }
.link-button { background: none; border: 0; padding: 0; text-decoration: underline; color: var(--ink); font-size: 14px; }
.keys { margin-left: auto; font-size: 12px; }
kbd {
  font-size: 11px; border: 1px solid var(--line); border-bottom-width: 2px; border-radius: 4px;
  padding: 0 4px; background: var(--surface); color: var(--ink);
}

.file-group { margin-bottom: 20px; }
.file-header {
  display: flex; align-items: center; gap: 10px; padding: 8px 0; position: sticky; top: 0; z-index: 1;
  background: var(--bg); border-bottom: 1px solid var(--line);
}
.file-path { background: none; border: 0; padding: 0; font: 600 14px var(--mono); text-align: left; overflow-wrap: anywhere; }
.file-path:hover { text-decoration: underline; }
.file-header a { display: inline-flex; align-items: center; gap: 4px; margin-left: auto; font-size: 13px; color: var(--muted); text-decoration: none; white-space: nowrap; }
.file-header a:hover { color: var(--ink); }

.finding {
  background: var(--surface); border: 1px solid var(--line); border-left: 3px solid var(--line);
  border-radius: var(--radius); padding: 12px 14px; margin-top: 10px; outline: none;
}
.finding.sev-error { border-left-color: var(--error); }
.finding.sev-warning { border-left-color: var(--warning); }
.finding.sev-info { border-left-color: var(--info); }
.finding.selected { box-shadow: 0 0 0 2px var(--focus); }

.finding-head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.badge { font: 600 11px var(--mono); text-transform: uppercase; letter-spacing: 0.04em; }
.badge.sev-error { color: var(--error); }
.badge.sev-warning { color: var(--warning); }
.badge.sev-info { color: var(--info); }
.rule-id {
  font: 600 13px var(--mono); background: var(--surface-2); border: 1px solid var(--line);
  border-radius: 4px; padding: 0 6px;
}
.rule-id:hover { background: var(--lime); color: #171717; border-color: #171717; }
.finding-message { flex: 1 1 260px; font-weight: 500; }
.location { font: 13px var(--mono); color: var(--muted); text-decoration: none; }
.location:hover { color: var(--ink); text-decoration: underline; }

.observation { margin: 6px 0 0; color: var(--muted); font-size: 14px; }

.code {
  margin: 10px 0 0; border: 1px solid var(--line); border-radius: 6px; overflow-x: auto;
  background: var(--surface-2); font: 12.5px/1.55 var(--mono);
}
.code-line { display: flex; min-width: max-content; }
.code-line.hit { background: var(--hit); box-shadow: inset 3px 0 0 var(--hit-edge); }
.gutter {
  flex: 0 0 auto; width: 52px; padding: 0 10px 0 0; text-align: right; color: var(--muted);
  user-select: none; font-variant-numeric: tabular-nums;
}
.text { white-space: pre; padding-right: 14px; tab-size: 4; }

.evidence { margin: 10px 0 0; padding: 8px 10px; background: var(--surface-2); border-radius: 6px; white-space: pre-wrap; font-size: 12.5px; }

.finding-foot { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 16px; }
.suggestion { margin: 10px 0 0; font-size: 14px; flex: 1 1 260px; }
.finding-actions { display: inline-flex; flex-wrap: wrap; gap: 4px 16px; margin: 10px 0 0 auto; }
.finding-actions a { display: inline-flex; align-items: center; gap: 5px; font-size: 13px; color: var(--muted); white-space: nowrap; }
.finding-actions a:hover { color: var(--ink); }
.suggestion span { font-weight: 700; }

.explanation { margin-top: 12px; padding: 12px 14px; border-radius: 6px; background: var(--surface-2); font-size: 14px; }
.explanation p { margin: 0 0 8px; }
.explanation h3 { font-size: 11px; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 12px 0 4px; }
.explanation pre { margin: 0 0 8px; padding: 8px 10px; background: var(--surface); border-radius: 6px; overflow-x: auto; font-size: 12.5px; }
.explanation-title { color: var(--muted); }
.explanation-title strong { color: var(--ink); font-family: var(--mono); }
.explanation-hint { color: var(--muted); }

.empty { padding: 40px 20px; text-align: center; color: var(--muted); background: var(--surface); border: 1px dashed var(--line); border-radius: var(--radius); }
.empty strong { color: var(--ink); }
.more { display: block; margin: 16px auto 0; }

/* Landing */

.landing { display: flex; flex-direction: column; gap: 56px; padding: 24px 0 64px; }
.landing h2 { letter-spacing: -0.02em; }

.steps { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.step { padding: 20px; border-radius: 12px; background: var(--surface); border: 1px solid var(--line); }
.step h2 { font-size: 17px; margin: 14px 0 6px; }
.step p { margin: 0; color: var(--muted); font-size: 14px; }
.step-icon {
  width: 40px; height: 40px; padding: 9px; border-radius: 10px; stroke-width: 1.75;
  background: var(--lime); color: #171717; border: 1px solid #171717;
}

.section-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 16px; margin-bottom: 18px; }
.section-head h2 { font-size: 28px; margin: 0; }
.section-head p { margin: 0; color: var(--muted); }

.modules { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.module {
  display: flex; flex-direction: column; padding: 20px; border-radius: 12px;
  background: var(--surface); border: 1px solid var(--line); transition: border-color 0.15s, transform 0.15s;
}
.module:hover { border-color: var(--ink); transform: translateY(-2px); }
.module header { display: flex; align-items: center; gap: 10px; }
.module header .icon { width: 34px; height: 34px; padding: 8px; border-radius: 50%; background: #171717; color: var(--lime); box-shadow: 0 0 0 1px var(--line); }
.module h3 { margin: 0; font: 700 17px var(--mono); }
.module-count {
  margin-left: auto; font: 600 12px var(--mono); padding: 2px 8px; border-radius: 999px;
  background: var(--surface-2); border: 1px solid var(--line); color: var(--muted); white-space: nowrap;
}
.module-count:empty { display: none; }
.module > p { color: var(--muted); font-size: 14px; margin: 14px 0; }
.module-rules { list-style: none; margin: auto 0 0; padding: 12px 0 0; border-top: 1px dashed var(--line); display: flex; flex-direction: column; gap: 6px; font-size: 13px; }
.module-rules:empty { display: none; }
.module-rules li { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.module-rules code { font-size: 12px; font-weight: 600; background: var(--surface-2); border: 1px solid var(--line); border-radius: 4px; padding: 0 5px; }
.module-more a { display: inline-flex; align-items: center; gap: 4px; font-weight: 600; text-decoration: none; }
.module-more a:hover { text-decoration: underline; }

.cli {
  display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 32px; align-items: center;
  padding: 32px; border-radius: 16px; background: var(--surface-2); border: 1px solid var(--line);
}
.cli h2 { display: flex; align-items: center; gap: 10px; font-size: 28px; margin: 0 0 10px; }
.cli p { margin: 0; color: var(--muted); }
.cli-links { display: flex; flex-wrap: wrap; gap: 8px 20px; margin-top: 16px !important; }
.cli-links a { display: inline-flex; align-items: center; gap: 4px; color: var(--ink); font-weight: 600; text-decoration: none; }
.cli-links a:hover { text-decoration: underline; }
.terminal { position: relative; background: #171717; color: #ecece6; border-radius: 12px; border: 1px solid #2c2c29; }
.terminal pre { margin: 0; padding: 22px; font-size: 14px; line-height: 1.8; overflow-x: auto; }
.terminal-tabs { display: flex; gap: 4px; padding: 10px 56px 0 12px; border-bottom: 1px solid #2c2c29; overflow-x: auto; }
.terminal-tabs button {
  font: 600 13px var(--mono); color: #9b9b93; background: transparent; white-space: nowrap;
  border: 0; border-bottom: 2px solid transparent; padding: 6px 10px 8px; margin-bottom: -1px;
}
.terminal-tabs button:hover { color: #ecece6; }
.terminal-tabs button[aria-selected="true"] { color: var(--lime); border-bottom-color: var(--lime); }
.prompt { color: var(--lime); user-select: none; }
.copy {
  position: absolute; top: 12px; right: 12px; display: grid; place-items: center; width: 32px; height: 32px;
  background: transparent; color: #9b9b93; border: 1px solid #2c2c29; border-radius: 6px;
}
.copy:hover { color: var(--lime); border-color: var(--lime); }

.footer { max-width: 1280px; margin: 0 auto; padding: 24px 16px 40px; color: var(--muted); font-size: 13px; border-top: 1px solid var(--line); }
.feedback { display: flex; flex-wrap: wrap; gap: 8px; }
.feedback a { color: var(--ink); font-size: 13px; padding: 5px 12px; }
.feedback a .icon { color: var(--muted); }
.feedback a:hover .icon { color: var(--ink); }

@media (max-width: 1000px) {
  .hero { grid-template-columns: minmax(0, 1fr); gap: 32px; }
  .hero-copy { max-width: none; }
  .specimen { max-width: 640px; }
  .cli { grid-template-columns: minmax(0, 1fr); }
}

@media (max-width: 860px) {
  .steps, .modules { grid-template-columns: minmax(0, 1fr); }
  .landing { gap: 40px; }
  .cli { padding: 20px; }
  .cli h2, .section-head h2 { font-size: 22px; }
}

@media (max-width: 520px) {
  .masthead-links { gap: 16px; font-size: 16px; }
  .terminal-tabs { gap: 0; padding-left: 6px; }
  .terminal-tabs button { font-size: 12px; padding: 6px 7px 8px; }
  .nav-label { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
  .workspace { grid-template-columns: minmax(0, 1fr); }
  .sidebar { position: static; max-height: none; overflow: visible; }
  .facet-list { max-height: 180px; }
  .keys { display: none; }
  .summary-target { flex-basis: 100%; }
  .summary-stats { gap: 4px 16px; }
  .intro { padding-top: 32px; }
}
