:root {
  --bg: #f6f7fb; --surface: #ffffff; --surface-2: #f0f2f8; --border: #d9dde8; --text: #1b1f2a; --muted: #5b6477;
  --accent: #4f46e5; --accent-soft: rgba(79, 70, 229, .14); --danger: #c62828; --danger-soft: rgba(198, 40, 40, .12);
  --warn: #b26a00; --ok: #1b7f3b;
  --m0: rgba(79, 70, 229, .20); --m1: rgba(14, 165, 233, .22);
  --g0: #e11d48; --g1: #d97706; --g2: #059669; --g3: #0284c7; --g4: #9333ea; --g5: #db2777;
  --rail: #5b6477; --node-fill: #ffffff; --lit: #e8f0ff; --cls: #fff3d6; --assert: #ece6ff; --ref: #dcf5e6;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  color-scheme: light;
}
:root[data-theme="dark"] {
  --bg: #0f1220; --surface: #171b2d; --surface-2: #1f2438; --border: #2c3350; --text: #e6e9f5; --muted: #98a2c0;
  --accent: #8b87ff; --accent-soft: rgba(139, 135, 255, .22); --danger: #ff7b7b; --danger-soft: rgba(255, 123, 123, .16);
  --warn: #f5b84b; --ok: #5fd68a;
  --m0: rgba(139, 135, 255, .30); --m1: rgba(56, 189, 248, .26);
  --g0: #fb7185; --g1: #fbbf24; --g2: #34d399; --g3: #38bdf8; --g4: #c084fc; --g5: #f472b6;
  --rail: #98a2c0; --node-fill: #171b2d; --lit: #22305c; --cls: #4a3a14; --assert: #35295e; --ref: #1b4a31;
  color-scheme: dark;
}
* { box-sizing: border-box; }
html, body { margin: 0; background: var(--bg); color: var(--text); font: 14px/1.5 var(--sans); }
code, kbd, pre, textarea, input[type=text] { font-family: var(--mono); }
code { background: var(--surface-2); padding: 0 .3em; border-radius: 4px; }
kbd { background: var(--surface-2); border: 1px solid var(--border); border-bottom-width: 2px; border-radius: 4px; padding: 0 .4em; }
h2 { font-size: 12px; text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin: 0 0 8px; }

.top { display: flex; align-items: center; gap: 12px; padding: 10px 20px; background: var(--surface); border-bottom: 1px solid var(--border); flex-wrap: wrap; }
.brand { font-weight: 700; font-size: 18px; display: flex; align-items: center; gap: 8px; }
.logo { background: var(--accent); color: #fff; font-family: var(--mono); border-radius: 7px; padding: 0 8px; }
.spacer { flex: 1; }
.lib { display: flex; align-items: center; gap: 8px; color: var(--muted); }
select, .btn { font: inherit; color: var(--text); background: var(--surface-2); border: 1px solid var(--border); border-radius: 8px; padding: 5px 10px; }
.btn { cursor: pointer; }
.btn:hover, select:hover { border-color: var(--accent); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }

.pattern-bar { padding: 14px 20px 6px; }
.pattern-row { display: flex; align-items: center; gap: 8px; background: var(--surface); border: 1px solid var(--border); border-radius: 12px; padding: 8px 12px; }
.pattern-row:focus-within { border-color: var(--accent); box-shadow: 0 0 0 3px var(--accent-soft); }
.delim { font: 700 20px var(--mono); color: var(--muted); }
#pattern { flex: 1; min-width: 0; border: 0; background: transparent; color: var(--text); font-size: 17px; outline: none; }
.flags { display: flex; gap: 4px; }
.flags label { cursor: pointer; }
.flags input { position: absolute; opacity: 0; pointer-events: none; }
.flags span { display: inline-block; min-width: 26px; text-align: center; font: 600 14px var(--mono); padding: 2px 6px; border-radius: 6px; border: 1px solid var(--border); color: var(--muted); }
.flags input:checked + span { background: var(--accent); border-color: var(--accent); color: #fff; }
.flags input:focus-visible + span { outline: 2px solid var(--accent); outline-offset: 1px; }
.patview { font: 14px var(--mono); padding: 6px 14px; color: var(--muted); min-height: 28px; white-space: pre-wrap; word-break: break-all; }
.patview.big { font-size: 16px; padding: 4px 0; }
.patview span { border-radius: 2px; }
.patview span.on { background: var(--accent-soft); color: var(--text); box-shadow: 0 0 0 1px var(--accent); }
.patview span.dbg { background: var(--m1); color: var(--text); box-shadow: 0 0 0 1px var(--g3); }
.patview span.err { background: var(--danger-soft); color: var(--danger); text-decoration: underline wavy; }
.error { margin: 4px 0 0; padding: 8px 12px; border-radius: 8px; background: var(--danger-soft); color: var(--danger); font-family: var(--mono); font-size: 13px; }

.workspace { display: grid; grid-template-columns: minmax(300px, 4fr) minmax(0, 6fr); gap: 16px; padding: 8px 20px 24px; align-items: start; }
.panel { background: var(--surface); border: 1px solid var(--border); border-radius: 12px; padding: 14px; min-width: 0; }
.editor { display: grid; border: 1px solid var(--border); border-radius: 8px; background: var(--surface-2); }
.editor:focus-within { border-color: var(--accent); }
.editor > * { grid-area: 1 / 1; margin: 0; padding: 10px; font: 14px/1.55 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; border: 0; min-width: 0; letter-spacing: 0; tab-size: 4; }
.hl { color: transparent; pointer-events: none; }
#test { background: transparent; color: var(--text); resize: none; overflow: hidden; outline: none; min-height: 220px; }
.hl .m { border-radius: 3px; }
.hl .m0 { background: var(--m0); }
.hl .m1 { background: var(--m1); }
.hl .g { border-bottom: 2px solid; }
.hl .g0 { border-color: var(--g0); } .hl .g1 { border-color: var(--g1); } .hl .g2 { border-color: var(--g2); }
.hl .g3 { border-color: var(--g3); } .hl .g4 { border-color: var(--g4); } .hl .g5 { border-color: var(--g5); }
.status { margin-top: 8px; color: var(--muted); font-size: 13px; }
.status.bad { color: var(--warn); }

.tabs { display: flex; gap: 2px; flex-wrap: wrap; border-bottom: 1px solid var(--border); margin: -4px -4px 12px; }
.tabs button { font: inherit; background: none; border: 0; border-bottom: 2px solid transparent; color: var(--muted); padding: 8px 12px; cursor: pointer; }
.tabs button:hover { color: var(--text); }
.tabs button[aria-selected=true] { color: var(--accent); border-bottom-color: var(--accent); font-weight: 600; }
.badge { font-size: 11px; background: var(--surface-2); border-radius: 10px; padding: 0 7px; margin-left: 4px; color: var(--muted); }
.badge.high { background: var(--danger-soft); color: var(--danger); }
.badge.medium { background: rgba(245, 158, 11, .2); color: var(--warn); }
.badge.none { background: rgba(34, 197, 94, .18); color: var(--ok); }
[hidden] { display: none !important; }

.diagram { overflow: auto; padding: 6px 0; }
.diagram svg { max-width: none; display: block; }
.diagram.small { margin-top: 12px; border-top: 1px dashed var(--border); padding-top: 12px; }
.railroad path { fill: none; stroke: var(--rail); stroke-width: 1.6; }
.railroad .arrow { fill: var(--rail); stroke: none; }
.railroad .endpoint { fill: var(--rail); stroke: none; }
.railroad text { font: 13px var(--mono); fill: var(--text); }
.railroad .qlabel { font: 11px var(--sans); fill: var(--muted); }
.railroad .glabel { font: 11px var(--sans); fill: var(--muted); }
.railroad rect { stroke-width: 1.5; stroke: var(--rail); }
.railroad rect.lit { fill: var(--lit); }
.railroad rect.cls { fill: var(--cls); }
.railroad rect.assert { fill: var(--assert); }
.railroad rect.ref { fill: var(--ref); }
.railroad rect.group { fill: none; stroke-dasharray: 5 4; pointer-events: all; }
.railroad rect.look { fill: none; stroke-dasharray: 2 3; pointer-events: all; }
.railroad rect.look.pos { stroke: var(--g3); }
.railroad rect.look.neg { stroke: var(--g0); }
.railroad rect.grp-0 { stroke: var(--g0); } .railroad rect.grp-1 { stroke: var(--g1); } .railroad rect.grp-2 { stroke: var(--g2); }
.railroad rect.grp-3 { stroke: var(--g3); } .railroad rect.grp-4 { stroke: var(--g4); } .railroad rect.grp-5 { stroke: var(--g5); }
.rx-node.hl > rect:not(.group):not(.look) { stroke: var(--accent); stroke-width: 3; }
.rx-node.hl > rect.group, .rx-node.hl > rect.look { fill: var(--accent-soft); }
.rx-node.hl > path { stroke: var(--accent); stroke-width: 2.4; }
.rx-node.cur > rect:not(.group):not(.look) { stroke: var(--g3); stroke-width: 3.5; fill: var(--m1); }
.rx-node.cur > rect.group, .rx-node.cur > rect.look { fill: var(--m1); }
.rx-node.cur > path { stroke: var(--g3); stroke-width: 3; }
.rx-node { cursor: default; }

.explain ul { list-style: none; margin: 0; padding-left: 20px; border-left: 1px dashed var(--border); }
.explain > ul { padding-left: 0; border: 0; }
.explain li { padding: 2px 0; }
.explain .row { display: inline-block; padding: 3px 8px; border-radius: 6px; }
.explain .row:hover, .explain li.hl > .row { background: var(--accent-soft); }
.explain .span { font-family: var(--mono); font-size: 12px; color: var(--muted); margin-left: 8px; }
.flag-notes { margin: 12px 0 0; color: var(--muted); font-size: 13px; }

table.data { width: 100%; border-collapse: collapse; font-size: 13px; }
table.data th { text-align: left; font-size: 11px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); padding: 6px 8px; border-bottom: 1px solid var(--border); }
table.data td { padding: 5px 8px; border-bottom: 1px solid var(--border); vertical-align: top; font-family: var(--mono); overflow-wrap: anywhere; }
.chip { display: inline-block; padding: 0 6px; margin: 1px 4px 1px 0; border-radius: 5px; border-bottom: 2px solid; background: var(--surface-2); }
.chip.g0 { border-color: var(--g0); } .chip.g1 { border-color: var(--g1); } .chip.g2 { border-color: var(--g2); }
.chip.g3 { border-color: var(--g3); } .chip.g4 { border-color: var(--g4); } .chip.g5 { border-color: var(--g5); }
.muted { color: var(--muted); }
.empty { color: var(--muted); padding: 12px 0; }

.field { display: block; color: var(--muted); font-size: 12px; margin-bottom: 8px; }
.field input { display: block; width: 100%; margin-top: 4px; padding: 8px 10px; font-size: 14px; color: var(--text); background: var(--surface-2); border: 1px solid var(--border); border-radius: 8px; }
.hint { color: var(--muted); font-size: 12.5px; margin: 6px 0 10px; }
.result, .code { background: var(--surface-2); border: 1px solid var(--border); border-radius: 8px; padding: 10px; white-space: pre-wrap; overflow-wrap: anywhere; font-size: 13px; margin: 0; min-height: 60px; }

.dbg-controls { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; margin: 8px 0; }
.dbg-controls input[type=range] { flex: 1; min-width: 120px; accent-color: var(--accent); }
.count { font: 13px var(--mono); color: var(--muted); min-width: 90px; text-align: right; }
.dbg-msg { background: var(--surface-2); border-left: 3px solid var(--accent); padding: 8px 12px; border-radius: 6px; min-height: 40px; margin-bottom: 8px; }
.dbg-msg.fail { border-color: var(--danger); } .dbg-msg.ok { border-color: var(--ok); } .dbg-msg.back { border-color: var(--warn); }
.dbg-label { font-size: 11px; text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin-top: 8px; }
.dbg-input { font: 16px/1.4 var(--mono); display: flex; flex-wrap: wrap; padding: 6px 0; }
.dbg-input .c { min-width: 1ch; padding: 2px 1px; border-bottom: 2px solid transparent; text-align: center; position: relative; }
.dbg-input .c.consumed { background: var(--m0); border-bottom-color: var(--accent); }
.dbg-input .c.fail { background: var(--danger-soft); border-bottom-color: var(--danger); }
.dbg-input .c.final { background: rgba(34, 197, 94, .22); }
.dbg-input .c.cursor::before { content: ""; position: absolute; left: -1px; top: 0; bottom: 0; border-left: 2px solid var(--g0); }
.dbg-input .end-cursor { width: 0; border-left: 2px solid var(--g0); }

.redos-actions { display: flex; align-items: center; gap: 14px; margin-top: 10px; }
.check { color: var(--muted); }
.finding { border-left: 3px solid var(--warn); background: var(--surface-2); padding: 8px 12px; border-radius: 6px; margin-bottom: 8px; }
.finding.high { border-color: var(--danger); }
.finding .tag { font: 700 11px var(--sans); text-transform: uppercase; letter-spacing: .06em; margin-right: 6px; }
.finding.high .tag { color: var(--danger); } .finding.medium .tag { color: var(--warn); }
.safe { border-left: 3px solid var(--ok); background: var(--surface-2); padding: 8px 12px; border-radius: 6px; }
.verdict { font-size: 16px; font-weight: 600; margin: 8px 0; }
.verdict.exponential { color: var(--danger); } .verdict.polynomial { color: var(--warn); } .verdict.linear { color: var(--ok); }
.chart { width: 100%; height: auto; max-width: 640px; }
.chart text { font: 11px var(--sans); fill: var(--muted); }
.chart .axis { stroke: var(--border); fill: none; }
.chart .grid { stroke: var(--border); stroke-dasharray: 2 3; }
.chart .series { stroke: var(--accent); stroke-width: 2.4; fill: none; }
.chart circle { fill: var(--accent); }
.chart circle.cap { fill: var(--danger); }

.code-head { display: flex; justify-content: space-between; gap: 8px; margin-bottom: 8px; }
.seg { display: inline-flex; border: 1px solid var(--border); border-radius: 8px; overflow: hidden; }
.seg button { font: inherit; color: var(--muted); background: var(--surface-2); border: 0; padding: 5px 12px; cursor: pointer; }
.seg button[aria-pressed=true] { background: var(--accent); color: #fff; }
.warnings { padding-left: 18px; color: var(--warn); font-size: 13px; }

dialog { background: var(--surface); color: var(--text); border: 1px solid var(--border); border-radius: 12px; padding: 20px 24px; max-width: 460px; }
dialog::backdrop { background: rgba(0, 0, 0, .45); }
dialog td { padding: 4px 14px 4px 0; }
dialog form { margin-top: 12px; text-align: right; }
.toast { position: fixed; bottom: 20px; left: 50%; transform: translateX(-50%); background: var(--text); color: var(--bg); padding: 8px 16px; border-radius: 8px; z-index: 10; }

@media (max-width: 900px) {
  .workspace { grid-template-columns: 1fr; padding: 8px 12px 20px; }
  .pattern-bar { padding: 12px 12px 4px; }
  .pattern-row { flex-wrap: wrap; }
  #pattern { flex-basis: 60%; }
  .top { padding: 8px 12px; }
  .tabs button { padding: 8px; }
}