:root {
  --bg: #0d1117;
  --bg2: #131a24;
  --panel: #161d28;
  --panel2: #1c2533;
  --line: #243044;
  --ink: #e6edf3;
  --ink-dim: #9aa7b6;
  --ink-faint: #687283;
  --accent: #4cc2ff;
  --accent2: #7c5cff;
  --high: #ff5c6c;
  --medium: #ffb454;
  --low: #4cc2ff;
  --info: #6b7689;
  --ok: #3fd07f;
  --mono: ui-monospace, "SF Mono", "JetBrains Mono", "Cascadia Code", Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
}
* { box-sizing: border-box; }
/* The [hidden] attribute must always win, even over display:flex rules like
   .empty-state — otherwise toggling el.hidden has no visual effect and the empty
   state stays painted over the results. */
[hidden] { display: none !important; }
html, body { margin: 0; height: 100%; }
body {
  background: radial-gradient(1200px 600px at 70% -10%, #16202e 0%, var(--bg) 55%) fixed;
  color: var(--ink);
  font-family: var(--sans);
  font-size: 14px;
  line-height: 1.5;
}
a { color: var(--accent); }
button { font-family: inherit; cursor: pointer; }

header.top {
  display: flex; align-items: center; gap: 16px; flex-wrap: wrap;
  padding: 12px 22px; border-bottom: 1px solid var(--line);
  background: rgba(13,17,23,.7); backdrop-filter: blur(8px);
  position: sticky; top: 0; z-index: 20;
}
.brand { display: flex; align-items: center; gap: 9px; }
.brand .mk { flex: none; }
.brand .logo {
  font-family: var(--mono); font-weight: 700; letter-spacing: 1px; font-size: 18px;
  background: linear-gradient(90deg, var(--accent), #7dffc4);
  -webkit-background-clip: text; background-clip: text; color: transparent;
}
.brand .tag { color: var(--ink-faint); font-size: 12px; }
.top-right { margin-left: auto; display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.pill {
  font-size: 11.5px; color: #9fe9c4; background: rgba(63,208,127,.08);
  border: 1px solid rgba(63,208,127,.3); border-radius: 999px; padding: 4px 10px; white-space: nowrap;
}
.exp-badge { font-family: var(--mono); font-size: 10px; font-weight: 700; letter-spacing: .5px; text-transform: uppercase;
  color: #ffd9a0; background: rgba(255,180,84,.14); border: 1px solid rgba(255,180,84,.4); border-radius: 5px; padding: 2px 6px; }
.lang { display: inline-flex; border: 1px solid var(--line); border-radius: 8px; overflow: hidden; }
.lang-btn { background: var(--panel); color: var(--ink-dim); border: none; padding: 6px 10px; font-size: 12px; font-weight: 600; }
.lang-btn.active { background: var(--accent); color: #06121d; }
.btn {
  background: var(--panel2); color: var(--ink); border: 1px solid var(--line);
  border-radius: 8px; padding: 7px 13px; font-size: 13px; transition: .12s;
}
.btn:hover { border-color: var(--accent); color: #fff; }
.btn.primary { background: linear-gradient(90deg, var(--accent), var(--accent2)); border: none; color: #06121d; font-weight: 600; }
.btn.primary:hover { filter: brightness(1.08); }
.btn:disabled { opacity: .4; cursor: not-allowed; }

.layout { display: grid; grid-template-columns: 380px 1fr; gap: 0; height: calc(100dvh - 53px - 42px); }
@media (max-width: 920px) { .layout { grid-template-columns: 1fr; height: auto; } }

.foot {
  display: flex; align-items: center; gap: 14px; flex-wrap: wrap;
  padding: 11px 22px; border-top: 1px solid var(--line); font-size: 12.5px; color: var(--ink-dim);
  background: rgba(13,17,23,.6);
}
.foot .muted { color: var(--ink-faint); }
.foot a { margin-left: auto; color: var(--accent); text-decoration: none; }
.foot a:hover { text-decoration: underline; }

.left { border-right: 1px solid var(--line); display: flex; flex-direction: column; min-height: 0; }
.input-head { padding: 14px 16px 8px; }
.input-head h2 { margin: 0 0 4px; font-size: 13px; text-transform: uppercase; letter-spacing: .6px; color: var(--ink-dim); }
.input-head p { margin: 0; color: var(--ink-faint); font-size: 12px; }
#input {
  flex: 1; min-height: 240px; resize: none; margin: 8px 16px;
  background: var(--bg2); color: var(--ink); border: 1px solid var(--line);
  border-radius: 10px; padding: 12px; font-family: var(--mono); font-size: 12.5px; line-height: 1.55;
}
#input.drag { border-color: var(--accent); box-shadow: 0 0 0 3px rgba(76,194,255,.15); }
.input-actions { display: flex; gap: 8px; flex-wrap: wrap; padding: 0 16px 14px; }
.left .examples { padding: 6px 16px 16px; border-top: 1px solid var(--line); }
.left .examples h3 { font-size: 11px; text-transform: uppercase; letter-spacing: .6px; color: var(--ink-faint); margin: 12px 0 8px; }
.chip { display: inline-block; background: var(--panel); border: 1px solid var(--line); border-radius: 999px;
  padding: 4px 10px; font-size: 12px; margin: 0 6px 6px 0; color: var(--ink-dim); }
.chip:hover { border-color: var(--accent); color: #fff; }

.right { overflow: auto; min-height: 0; }
.empty-state { display: flex; flex-direction: column; align-items: center; justify-content: center; height: 100%; text-align: center; color: var(--ink-faint); padding: 40px; gap: 14px; }
.empty-state .big { font-size: 40px; }
.empty-state h2 { color: var(--ink); margin: 0; font-weight: 600; }
.empty-state ul { text-align: left; max-width: 460px; padding-left: 18px; }
.empty-state li { margin: 4px 0; }

.metrics { display: flex; flex-wrap: wrap; gap: 10px; padding: 16px 20px 6px; }
.metric { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 10px 14px; min-width: 96px; }
.metric .v { font-family: var(--mono); font-size: 20px; font-weight: 700; }
.metric .k { font-size: 11px; color: var(--ink-faint); text-transform: uppercase; letter-spacing: .5px; }
.metric.mode .v { font-size: 15px; }
.badge { display: inline-block; padding: 2px 8px; border-radius: 999px; font-size: 11px; font-weight: 600; }
.badge.plan { background: rgba(124,92,255,.18); color: #c3b4ff; border: 1px solid rgba(124,92,255,.4); }
.badge.document { background: rgba(76,194,255,.15); color: #a6e0ff; border: 1px solid rgba(76,194,255,.35); }

.tabs { display: flex; gap: 4px; padding: 10px 20px 0; border-bottom: 1px solid var(--line); }
.tab { background: none; border: none; color: var(--ink-dim); padding: 8px 12px; font-size: 13px; border-bottom: 2px solid transparent; }
.tab.active { color: #fff; border-bottom-color: var(--accent); }
.tab .count { font-family: var(--mono); font-size: 11px; color: var(--ink-faint); margin-left: 4px; }

.panel-body { padding: 18px 20px 60px; }
.hint { color: var(--ink-faint); font-size: 12px; margin: 0 0 14px; }
.hint.err { color: var(--high); }
.hint.warn { color: var(--medium); background: rgba(255,180,84,.07); border: 1px solid rgba(255,180,84,.25); border-radius: 8px; padding: 8px 11px; }

/* Source text with highlights */
.source {
  font-family: var(--mono); font-size: 13px; line-height: 1.85; white-space: pre-wrap; word-break: break-word;
  background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 16px;
}
.mark { border-radius: 3px; padding: 1px 1px; cursor: pointer; border-bottom: 2px solid transparent; }
.mark:hover { filter: brightness(1.25); outline: 1px solid currentColor; }
.mark.high { background: rgba(255,92,108,.16); border-bottom-color: var(--high); color: #ffd7db; }
.mark.medium { background: rgba(255,180,84,.15); border-bottom-color: var(--medium); color: #ffe6c4; }
.mark.low { background: rgba(76,194,255,.13); border-bottom-color: var(--low); color: #cfeeff; }
.mark.info { background: rgba(107,118,137,.16); border-bottom-color: var(--info); color: #d4dae3; }
.mark.flash { animation: flash 1.1s ease; }
@keyframes flash { 0%,100% { box-shadow: none; } 25% { box-shadow: 0 0 0 3px rgba(76,194,255,.5); } }

/* Findings list */
.finding { border: 1px solid var(--line); border-left-width: 3px; border-radius: 8px; padding: 11px 13px; margin: 0 0 10px; background: var(--panel); transition: .12s; }
.finding:hover { background: var(--panel2); }
.finding.sel { outline: 2px solid var(--accent); }
.finding.high { border-left-color: var(--high); }
.finding.medium { border-left-color: var(--medium); }
.finding.low { border-left-color: var(--low); }
.finding.info { border-left-color: var(--info); }
.finding .ftitle { font-weight: 600; cursor: pointer; }
.finding .fmeta { font-family: var(--mono); font-size: 11px; color: var(--ink-faint); margin-top: 4px; }
.sev-tag { font-family: var(--mono); font-size: 10px; font-weight: 700; text-transform: uppercase; padding: 1px 6px; border-radius: 4px; margin-right: 8px; }
.sev-tag.high { background: var(--high); color: #2a0007; }
.sev-tag.medium { background: var(--medium); color: #2a1800; }
.sev-tag.low { background: var(--low); color: #00202e; }
.sev-tag.info { background: var(--info); color: #0b0e14; }

.group-h { font-size: 11px; text-transform: uppercase; letter-spacing: .6px; color: var(--ink-faint); margin: 18px 0 8px; }

/* Drilldown drawer */
.drawer { position: fixed; top: 0; right: 0; width: 440px; max-width: 92vw; height: 100vh; background: var(--panel); border-left: 1px solid var(--line); z-index: 40; transform: translateX(100%); transition: transform .2s; overflow: auto; box-shadow: -20px 0 50px rgba(0,0,0,.4); }
.drawer.open { transform: translateX(0); }
.drawer .dh { display: flex; align-items: flex-start; gap: 10px; padding: 18px 18px 12px; border-bottom: 1px solid var(--line); position: sticky; top: 0; background: var(--panel); }
.drawer .dh h3 { margin: 0; font-size: 15px; }
.drawer .close { margin-left: auto; background: none; border: none; color: var(--ink-dim); font-size: 22px; line-height: 1; }
.dl-block { padding: 14px 18px; border-bottom: 1px solid var(--line); }
.dl-block .q { font-size: 11px; text-transform: uppercase; letter-spacing: .5px; color: var(--accent); margin: 0 0 5px; }
.dl-block .a { margin: 0; color: var(--ink); }
.evidence { background: var(--bg2); border: 1px solid var(--line); border-left: 3px solid var(--accent); border-radius: 6px; padding: 8px 10px; margin: 6px 0; font-family: var(--mono); font-size: 12px; cursor: pointer; }
.evidence:hover { border-color: var(--accent); }
.evidence .loc { color: var(--ink-faint); font-size: 11px; }
.rule-pill { font-family: var(--mono); font-size: 11px; background: var(--bg2); border: 1px solid var(--line); border-radius: 5px; padding: 2px 6px; color: #b8c4d4; }

/* Graph */
.graph-wrap { background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 6px; overflow: auto; }
.graph-legend { display: flex; gap: 16px; flex-wrap: wrap; margin: 0 0 12px; font-size: 12px; color: var(--ink-dim); }
.graph-legend span { display: inline-flex; align-items: center; gap: 6px; }
.lg-line { width: 22px; height: 0; border-top: 3px solid var(--line); }
.lg-line.crit { border-top-color: var(--accent); }
.lg-line.cycle { border-top: 3px dashed var(--high); }
svg .node rect { fill: var(--panel2); stroke: var(--line); stroke-width: 1.5; rx: 7; cursor: pointer; }
svg .node:hover rect { stroke: var(--accent); }
svg .node.crit rect { stroke: var(--accent); stroke-width: 2; }
svg .node.incycle rect { stroke: var(--high); stroke-width: 2; fill: rgba(255,92,108,.08); }
svg .node.goal rect { fill: rgba(124,92,255,.12); }
svg .node.sel rect { stroke: #fff; stroke-width: 2.5; }
svg .node text { fill: var(--ink); font-family: var(--mono); font-size: 11px; pointer-events: none; }
svg .edge { stroke: var(--line); stroke-width: 1.6; fill: none; marker-end: url(#arrow); }
svg .edge.crit { stroke: var(--accent); stroke-width: 2.4; marker-end: url(#arrowc); }
svg .edge.cycle { stroke: var(--high); stroke-dasharray: 5 4; marker-end: url(#arrowx); }
svg .edge.low { stroke-dasharray: 2 3; opacity: .75; }

.no-graph { color: var(--ink-faint); padding: 20px; text-align: center; }
.toast { position: fixed; bottom: 18px; left: 50%; transform: translateX(-50%); background: var(--panel2); border: 1px solid var(--line); padding: 9px 16px; border-radius: 8px; font-size: 13px; z-index: 60; }
.err { color: var(--high); }
code.k { font-family: var(--mono); background: var(--bg2); padding: 1px 5px; border-radius: 4px; font-size: 12px; }