/* ═══ BUTTONS ═══ */
.btn {
  font-family: var(--sans);
  font-size: 12px;
  font-weight: 600;
  padding: 6px 14px;
  border-radius: var(--radius-sm);
  border: none;
  cursor: pointer;
  transition: all .18s var(--ease);
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 5px;
  white-space: nowrap;
  line-height: 1.4;
  text-align: center;
}
.btn-primary {
  background: var(--brand-gradient);
  color: #fff;
  box-shadow: 0 0 0 1px rgba(45,123,181,.3), 0 1px 6px rgba(0,0,0,.3);
}
.btn-primary:hover {
  box-shadow: 0 0 0 1px rgba(45,123,181,.5), 0 4px 16px rgba(45,123,181,.3);
  transform: translateY(-1px);
  filter: brightness(1.1);
}
.btn-primary:active { transform: translateY(0); }
.btn-ghost {
  background: transparent;
  color: var(--text-secondary);
  border: 1px solid var(--border);
}
.btn-ghost:hover {
  color: var(--text);
  border-color: var(--border-hover);
  background: rgba(255,255,255,.03);
}
.btn-risk {
  background: var(--warn-dim);
  color: var(--warn);
  border: 1px solid rgba(251,191,36,.2);
}
.btn-risk:hover { background: rgba(251,191,36,.18); }
.btn-risk.active {
  background: var(--danger-dim);
  color: var(--danger);
  border-color: rgba(248,113,113,.3);
}

/* ═══ EXPORT MENU ═══ */
.export-menu { position: relative; }
.export-dropdown {
  position: absolute;
  top: calc(100% + 8px);
  right: 0;
  background: var(--panel);
  border: 1px solid var(--border-hover);
  border-radius: var(--radius-md);
  padding: 4px;
  min-width: 200px;
  z-index: 50;
  display: none;
  box-shadow: var(--shadow-lg);
  backdrop-filter: blur(16px);
}
.export-menu:hover .export-dropdown,
.export-menu:focus-within .export-dropdown { display: block; }
.export-item {
  padding: 8px 12px;
  border-radius: var(--radius-xs);
  font-size: 12px;
  font-family: var(--mono);
  cursor: pointer;
  color: var(--text-secondary);
  display: flex;
  align-items: center;
  gap: 8px;
  transition: all .15s var(--ease);
}
.export-item:hover { background: var(--accent-dim); color: var(--accent); }

/* ═══ TABS ═══ */
.tab {
  padding: 8px 10px;
  font-size: 10px;
  font-weight: 600;
  color: var(--muted);
  cursor: pointer;
  border-bottom: 2px solid transparent;
  transition: all .18s var(--ease);
  font-family: var(--mono);
  letter-spacing: .3px;
  text-transform: uppercase;
  white-space: nowrap;
  flex-shrink: 0;
}
.tab.active {
  color: var(--accent);
  border-bottom-color: var(--accent);
}
.tab:hover:not(.active) { color: var(--text-secondary); }
.tab-content { display: none; flex: 1; flex-direction: column; overflow: hidden; }
.tab-content.active { display: flex; }

/* ═══ KPI STRIP ═══ */
.kpi-strip {
  padding: 10px 12px;
  border-bottom: 1px solid var(--border);
  display: none;
  gap: 6px;
  flex-shrink: 0;
}
.kpi-strip.show { display: flex; }
.kpi {
  flex: 1;
  padding: 8px 6px;
  border-radius: var(--radius-sm);
  border: 1px solid var(--border);
  text-align: center;
  transition: border-color .2s var(--ease);
}
.kpi:hover { border-color: var(--border-hover); }
.kpi-n { font-size: 20px; font-weight: 800; line-height: 1; margin-bottom: 3px; }
.kpi-l { font-size: 9px; font-family: var(--mono); color: var(--muted); line-height: 1.3; }
.kpi-all .kpi-n { color: var(--accent); }
.kpi-all { background: var(--accent-dim); }
.kpi-crit .kpi-n { color: var(--danger); }
.kpi-crit { background: var(--danger-dim); }
.kpi-warn .kpi-n { color: var(--warn); }
.kpi-warn { background: var(--warn-dim); }
.kpi-st .kpi-n { color: var(--success); }
.kpi-st { background: var(--success-dim); }

/* ═══ COMPLEXITY CHIP ═══ */
.complexity-chip {
  padding: 8px 12px;
  border-bottom: 1px solid var(--border);
  display: none;
  align-items: center;
  justify-content: space-between;
  font-family: var(--mono);
  font-size: 11px;
  flex-shrink: 0;
}
.complexity-chip.show { display: flex; }
.cx-label { color: var(--muted); }
.cx-value { font-weight: 700; color: var(--accent2); }
.cx-desc { font-size: 10px; margin-top: 1px; color: var(--muted); }
.cx-badge { padding: 2px 8px; border-radius: var(--radius-full); font-size: 10px; font-weight: 700; }
.cx-low { background: var(--success-dim); color: var(--success); border: 1px solid rgba(52,211,153,.2); }
.cx-mid { background: var(--warn-dim); color: var(--warn); border: 1px solid rgba(251,191,36,.2); }
.cx-high { background: var(--danger-dim); color: var(--danger); border: 1px solid rgba(248,113,113,.2); }

/* ═══ EDITOR ═══ */
.editor-wrap { flex: 1; position: relative; overflow: hidden; }
.line-numbers {
  position: absolute;
  top: 0; left: 0;
  width: 42px; height: 100%;
  padding: 16px 6px 16px 0;
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.6;
  text-align: right;
  color: rgba(255,255,255,.14);
  pointer-events: none;
  overflow: hidden;
  z-index: 3;
  user-select: none;
  white-space: pre;
  border-right: 1px solid var(--border-subtle);
}
#editor {
  color: transparent !important;
  caret-color: var(--accent);
  background: transparent !important;
  position: absolute;
  top: 0; left: 0;
  width: 100%; height: 100%;
  z-index: 2;
  resize: none;
  border: none;
  outline: none;
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.6;
  padding: 16px 16px 16px 52px;
  tab-size: 2;
}
#editor::placeholder { color: var(--muted); }
#highlight-layer {
  position: absolute;
  top: 0; left: 0;
  width: 100%; height: 100%;
  padding: 16px 16px 16px 52px;
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.6;
  pointer-events: none;
  white-space: pre-wrap;
  word-break: break-all;
  overflow: hidden;
  tab-size: 2;
  z-index: 1;
}

/* ═══ BUILDER ═══ */
.builder-wrap { display: flex; flex-direction: column; gap: 0; flex: 1; overflow: hidden; }
.builder-bar {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 8px 14px;
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  flex-wrap: wrap;
  background: var(--surface);
  min-height: 40px;
}
.builder-bar-group { display: flex; align-items: center; gap: 5px; }
.builder-label { font-size: 10px; font-family: var(--mono); color: var(--muted); text-transform: uppercase; letter-spacing: .3px; }
.builder-input, .builder-select {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: var(--radius-xs);
  padding: 4px 8px;
  font-size: 11px;
  color: var(--text);
  font-family: var(--mono);
  transition: border-color .15s var(--ease);
}
.builder-input:focus, .builder-select:focus {
  outline: none;
  border-color: var(--accent);
  box-shadow: 0 0 0 2px var(--accent-dim);
}
.builder-input.b-name { width: 140px; }
.builder-select.b-entry { width: 120px; }
.builder-status-pill {
  display: inline-flex;
  align-items: center;
  gap: 4px;
  border-radius: var(--radius-full);
  padding: 2px 10px;
  font-size: 10px;
  font-family: var(--mono);
  font-weight: 600;
  border: 1px solid var(--border);
  letter-spacing: .3px;
}
.builder-status-pill.draft { color: var(--muted); border-color: var(--border); }
.builder-status-pill.errors { color: var(--danger); border-color: rgba(248,113,113,.4); background: var(--danger-dim); }
.builder-status-pill.ready { color: var(--success); border-color: rgba(52,211,153,.4); background: var(--success-dim); }
.builder-status-pill.synced { color: var(--accent); border-color: rgba(45,123,181,.4); background: var(--accent-dim); }
.builder-cols {
  display: grid;
  grid-template-columns: 1fr 2fr;
  flex: 1;
  min-height: 0;
  overflow: hidden;
}
.builder-col {
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border-right: 1px solid var(--border);
}
.builder-col:last-child { border-right: none; }
.builder-col-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 6px 10px;
  border-bottom: 1px solid var(--border);
  font-size: 10px;
  font-family: var(--mono);
  color: var(--muted);
  flex-shrink: 0;
  text-transform: uppercase;
  letter-spacing: .3px;
}
.builder-mini-btn {
  border: none;
  background: rgba(255,255,255,.05);
  color: var(--text-secondary);
  border-radius: var(--radius-xs);
  padding: 3px 7px;
  font-size: 10px;
  cursor: pointer;
  transition: all .15s var(--ease);
}
.builder-mini-btn:hover { background: var(--accent-dim); color: var(--accent); }
.builder-list { flex: 1; overflow-y: auto; padding: 4px 6px; }
.b-state-row {
  display: flex;
  align-items: center;
  gap: 5px;
  padding: 4px 6px;
  border-radius: var(--radius-xs);
  font-size: 11px;
  font-family: var(--mono);
  transition: background .1s var(--ease);
}
.b-state-row:hover { background: rgba(255,255,255,.02); }
.b-state-row:nth-child(odd) { background: rgba(255,255,255,.015); }
.b-state-row.b-is-entry { border-left: 2px solid var(--accent); }
.b-state-name {
  flex: 1;
  min-width: 0;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: var(--radius-xs);
  padding: 3px 6px;
  font-size: 11px;
  color: var(--text);
  font-family: var(--mono);
  transition: border-color .15s var(--ease);
}
.b-state-name:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 2px var(--accent-dim); }
.b-term-toggle { display: flex; align-items: center; gap: 3px; font-size: 9px; color: var(--muted); white-space: nowrap; }
/* ── Multi-tag cloud in builder state rows ─────────────────── */
.b-tags-cloud {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 4px;
  flex: 1;
  min-width: 0;
}
/* Individual tag chip */
.b-tag-chip {
  display: inline-flex;
  align-items: center;
  gap: 3px;
  padding: 2px 6px 2px 7px;
  background: rgba(167,139,250,.12);
  border: 1px solid rgba(167,139,250,.35);
  border-radius: 10px;
  font-size: 10px;
  color: #a78bfa;
  white-space: nowrap;
  max-width: 120px;
  overflow: hidden;
}
.b-tag-chip span {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.b-tag-chip-rm {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 12px;
  height: 12px;
  padding: 0;
  background: none;
  border: none;
  color: rgba(167,139,250,.6);
  cursor: pointer;
  font-size: 11px;
  line-height: 1;
  border-radius: 50%;
  flex-shrink: 0;
}
.b-tag-chip-rm:hover { color: #f87171; background: rgba(248,113,113,.15); }
/* Add-tag dropdown */
.b-tag-add-select {
  background: transparent;
  border: 1px dashed rgba(167,139,250,.3);
  border-radius: 10px;
  padding: 2px 6px;
  font-size: 10px;
  color: rgba(167,139,250,.6);
  cursor: pointer;
  outline: none;
  max-width: 90px;
}
.b-tag-add-select:hover, .b-tag-add-select:focus { border-color: #a78bfa; color: #a78bfa; }
.b-tag-add-select option { background: var(--bg); color: var(--text); }
/* Rows with tags get subtle highlight */
.b-state-row.b-has-tags { background: rgba(167,139,250,.04); }
.b-entry-badge { font-size: 9px; color: var(--accent); white-space: nowrap; }
.b-actions { display: flex; align-items: center; gap: 2px; }
.b-icon-btn {
  border: none;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  padding: 3px 4px;
  border-radius: var(--radius-xs);
  font-size: 11px;
  transition: all .12s var(--ease);
}
.b-icon-btn:hover { background: rgba(255,255,255,.06); color: var(--text); }
.b-icon-btn.disabled { opacity: .3; pointer-events: none; }
.b-trans-row {
  display: flex;
  flex-direction: column;
  gap: 5px;
  padding: 8px 10px;
  border-radius: var(--radius-sm);
  font-size: 11px;
  font-family: var(--mono);
  margin-bottom: 5px;
  border: 1px solid var(--border);
  background: rgba(255,255,255,.015);
  transition: border-color .15s var(--ease), background .15s var(--ease);
}
.b-trans-row:hover { border-color: var(--border-hover); background: rgba(255,255,255,.025); }
.b-trans-top { display: flex; align-items: center; gap: 4px; }
.b-trans-extras {
  display: flex;
  align-items: center;
  gap: 5px;
  flex-wrap: wrap;
  padding-top: 3px;
  border-top: 1px solid rgba(255,255,255,.03);
}
.b-trans-outcomes { padding: 4px 0 0 10px; border-left: 2px solid rgba(45,123,181,.2); }
.b-trans-oc-row { display: flex; align-items: center; gap: 4px; margin-bottom: 2px; font-size: 10px; }
.b-trans-select {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: var(--radius-xs);
  padding: 2px 5px;
  font-size: 10px;
  color: var(--text);
  font-family: var(--mono);
  width: 100px;
  transition: border-color .15s var(--ease);
}
.b-trans-input {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: var(--radius-xs);
  padding: 2px 6px;
  font-size: 10px;
  color: var(--text);
  font-family: var(--mono);
  transition: border-color .15s var(--ease);
}
.b-trans-input:focus, .b-trans-select:focus {
  outline: none;
  border-color: var(--accent);
  box-shadow: 0 0 0 2px var(--accent-dim);
}
.b-trans-input.b-via { flex: 1; min-width: 100px; }
.b-trans-input.b-timeout { width: 52px; }
.b-trans-input.b-irrev { width: 80px; }
.b-trans-input.b-comp { width: 130px; }
.b-trans-input.b-oc-key { width: 65px; }
.builder-footer {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 6px 10px;
  border-top: 1px solid var(--border);
  flex-shrink: 0;
  font-size: 10px;
  font-family: var(--mono);
}
.builder-ghost-btn {
  border: 1px solid var(--border);
  background: transparent;
  color: var(--muted);
  border-radius: var(--radius-xs);
  padding: 4px 8px;
  font-size: 10px;
  font-family: var(--mono);
  cursor: pointer;
  transition: all .15s var(--ease);
}
.builder-ghost-btn:hover { border-color: var(--accent); color: var(--accent); }
.builder-hint { color: var(--muted); flex: 1; }
.builder-err-list {
  max-height: 120px;
  overflow-y: auto;
  padding: 6px 10px;
  border-top: 1px solid var(--border);
  flex-shrink: 0;
  font-size: 11px;
  font-family: var(--mono);
  background: rgba(248,113,113,0.03);
}
.builder-err { padding: 2px 0; color: var(--danger); }
.builder-err.warn { color: var(--warn); }
.builder-err.info { color: var(--accent); }

/* ═══ DIFF PANEL ═══ */
.diff-wrap { display: flex; flex-direction: column; flex: 1; overflow: hidden; }
.diff-bar {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 8px 10px;
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  background: var(--surface);
}
.diff-bar .btn { font-size: 10px; padding: 4px 10px; }
.diff-sources {
  display: grid;
  grid-template-columns: 1fr 1fr;
  flex-shrink: 0;
  border-bottom: 1px solid var(--border);
  min-height: 100px;
  max-height: 35%;
}
.diff-src { display: flex; flex-direction: column; overflow: hidden; }
.diff-src:first-child { border-right: 1px solid var(--border); }
.diff-src-label {
  font-size: 9px;
  font-family: var(--mono);
  color: var(--muted);
  padding: 5px 10px;
  border-bottom: 1px solid var(--border);
  text-transform: uppercase;
  letter-spacing: .5px;
  flex-shrink: 0;
  font-weight: 500;
}
.diff-src textarea {
  flex: 1;
  background: transparent;
  border: none;
  outline: none;
  resize: none;
  font-family: var(--mono);
  font-size: 11px;
  color: var(--text);
  padding: 8px 10px;
  line-height: 1.5;
}
.diff-results { flex: 1; overflow-y: auto; padding: 10px 12px; }
.diff-section { margin-bottom: 14px; }
.diff-section-title {
  font-size: 10px;
  font-family: var(--mono);
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: .5px;
  margin-bottom: 6px;
  padding-bottom: 4px;
  border-bottom: 1px solid var(--border);
  font-weight: 500;
}
.diff-row {
  display: flex;
  align-items: center;
  gap: 6px;
  padding: 4px 8px;
  border-radius: var(--radius-xs);
  font-size: 11px;
  font-family: var(--mono);
  margin-bottom: 3px;
}
.diff-row.added { background: var(--success-dim); border-left: 3px solid var(--success); color: var(--success); }
.diff-row.removed { background: var(--danger-dim); border-left: 3px solid var(--danger); color: var(--danger); }
.diff-row.changed { background: var(--warn-dim); border-left: 3px solid var(--warn); color: var(--warn); }
.diff-row.unchanged { color: var(--muted); opacity: .5; }
.diff-badge {
  font-size: 9px;
  font-weight: 700;
  padding: 1px 6px;
  border-radius: var(--radius-xs);
  text-transform: uppercase;
  letter-spacing: .3px;
  flex-shrink: 0;
}
.diff-badge.add { background: var(--success); color: #000; }
.diff-badge.rem { background: var(--danger); color: #fff; }
.diff-badge.chg { background: var(--warn); color: #000; }
.diff-empty {
  flex: 1;
  display: flex;
  align-items: center;
  justify-content: center;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 12px;
  padding: 20px;
}
.diff-summary {
  padding: 6px 10px;
  border-top: 1px solid var(--border);
  flex-shrink: 0;
  font-size: 10px;
  font-family: var(--mono);
  color: var(--muted);
  display: flex;
  gap: 12px;
}
.diff-summary .ds-add { color: var(--success); }
.diff-summary .ds-rem { color: var(--danger); }
.diff-summary .ds-chg { color: var(--warn); }

/* ═══ SYNTAX HIGHLIGHTING ═══ */
.hl-kw { color: var(--accent-bright); }
.hl-arrow { color: var(--accent2); }
.hl-star { color: var(--warn); }
.hl-str { color: var(--success); }
.hl-dur { color: var(--warn); }
.hl-call { color: #5eeaaa; }
.hl-comment { color: var(--muted); font-style: italic; }
.hl-id { color: var(--text); }
.hl-irrev { color: var(--danger); }
.hl-entry { color: var(--accent2); font-weight: 600; }
.hl-desc { color: var(--text-secondary); font-style: italic; }

/* ═══ STATUS BAR ═══ */
.status-bar {
  padding: 6px 16px;
  background: var(--panel);
  border-top: 1px solid var(--border);
  display: flex;
  align-items: center;
  gap: 8px;
  font-size: 11px;
  font-family: var(--mono);
  flex-shrink: 0;
}
.sdot { width: 6px; height: 6px; border-radius: 50%; flex-shrink: 0; transition: all .3s var(--ease); }
.sdot.ok { background: var(--success); box-shadow: 0 0 8px var(--success); }
.sdot.err { background: var(--danger); box-shadow: 0 0 8px var(--danger); }
.sdot.idle { background: var(--muted); }

/* ═══ ERROR LIST ═══ */
.errors-list { flex: 1; overflow-y: auto; padding: 8px; }
.ei {
  display: flex;
  flex-direction: column;
  gap: 5px;
  padding: 10px 12px;
  border-radius: var(--radius-sm);
  margin-bottom: 5px;
  font-family: var(--mono);
  font-size: 11px;
  cursor: pointer;
  transition: all .15s var(--ease);
  border-left: 3px solid transparent;
}
.ei.sc { background: var(--danger-dim); border: 1px solid rgba(248,113,113,.15); border-left-color: var(--danger); }
.ei.sc:hover { background: rgba(248,113,113,.14); }
.ei.sw { background: var(--warn-dim); border: 1px solid rgba(251,191,36,.12); border-left-color: var(--warn); }
.ei.sw:hover { background: rgba(251,191,36,.14); }
.ei.si { background: var(--accent-dim); border: 1px solid rgba(45,123,181,.1); border-left-color: var(--accent); }
.ei.si:hover { background: rgba(45,123,181,.14); }
.ei-header { display: flex; align-items: center; gap: 8px; }
.ebadge {
  font-size: 9px;
  font-weight: 700;
  padding: 2px 6px;
  border-radius: var(--radius-xs);
  text-transform: uppercase;
  letter-spacing: .4px;
  flex-shrink: 0;
}
.bc { background: var(--danger); color: #fff; }
.bw { background: var(--warn); color: #000; }
.bi { background: var(--accent); color: #fff; }
.ecode { font-weight: 600; flex: 1; }
.eline { color: var(--muted); white-space: nowrap; font-size: 10px; }
.ei-what { color: var(--text); line-height: 1.5; font-size: 11px; }
.ei-why {
  color: var(--text-secondary);
  line-height: 1.5;
  font-size: 10.5px;
  border-left: 2px solid rgba(255,255,255,.06);
  padding-left: 8px;
  margin-top: 2px;
}
.ei-fix {
  color: var(--success);
  line-height: 1.5;
  font-size: 10.5px;
  border-left: 2px solid rgba(52,211,153,.25);
  padding-left: 8px;
}
.no-err {
  flex: 1;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 12px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 13px;
}
.no-err-icon { font-size: 32px; opacity: .3; }

/* ═══ EXAMPLES ═══ */
.examples-list { flex: 1; overflow-y: auto; padding: 8px; }
.exitem {
  padding: 12px 14px;
  border-radius: var(--radius-sm);
  margin-bottom: 5px;
  background: var(--panel);
  border: 1px solid var(--border);
  cursor: pointer;
  transition: all .18s var(--ease);
}
.exitem:hover {
  border-color: var(--accent);
  background: var(--accent-dim);
  transform: translateY(-1px);
  box-shadow: 0 2px 8px rgba(0,0,0,.3);
}
.exname { font-size: 13px; font-weight: 700; margin-bottom: 3px; }
.exdesc { font-size: 11px; color: var(--muted); font-family: var(--mono); line-height: 1.5; }

/* Иконка в карточке примера */
.ex-panel-header {
  display: flex; align-items: flex-start; gap: 10px;
}
.ex-panel-icon-wrap {
  flex-shrink: 0; margin-top: 1px; opacity: .85; transition: opacity .15s;
}
.exitem:hover .ex-panel-icon-wrap { opacity: 1; }

/* ═══ HISTORY ═══ */
.history-list { flex: 1; overflow-y: auto; padding: 8px; }
.hist-empty {
  flex: 1;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 10px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 12px;
  opacity: .6;
}
.hist-item {
  padding: 10px 12px;
  border-radius: var(--radius-sm);
  margin-bottom: 5px;
  background: var(--panel);
  border: 1px solid var(--border);
  cursor: pointer;
  transition: all .18s var(--ease);
  position: relative;
}
.hist-item:hover {
  border-color: var(--accent);
  background: var(--accent-dim);
}
.hist-item:hover .hist-del { opacity: 1; }
.hist-name { font-size: 12px; font-weight: 700; margin-bottom: 3px; }
.hist-meta { font-size: 10px; color: var(--muted); font-family: var(--mono); display: flex; gap: 8px; align-items: center; }
.hist-badge { padding: 1px 7px; border-radius: var(--radius-full); font-size: 9px; font-weight: 700; }
.hist-ok { background: var(--success-dim); color: var(--success); }
.hist-err { background: var(--danger-dim); color: var(--danger); }
.hist-del {
  position: absolute;
  top: 8px; right: 8px;
  font-size: 14px;
  color: var(--muted);
  opacity: 0;
  transition: opacity .15s var(--ease);
  padding: 2px 6px;
  border-radius: var(--radius-xs);
  line-height: 1;
}
.hist-del:hover { color: var(--danger); background: var(--danger-dim); }
.hist-actions { display: flex; gap: 6px; padding: 8px; border-top: 1px solid var(--border); flex-shrink: 0; }
.hist-clear {
  font-size: 11px;
  color: var(--muted);
  cursor: pointer;
  font-family: var(--mono);
  padding: 5px 10px;
  border-radius: var(--radius-xs);
  border: 1px solid var(--border);
  background: transparent;
  transition: all .15s var(--ease);
}
.hist-clear:hover { color: var(--danger); border-color: rgba(248,113,113,.3); }

/* ═══ MACHINE DESCRIPTION ═══ */
.machine-desc {
  font-size: 10px;
  color: var(--muted);
  font-family: var(--mono);
  padding: 0 16px 6px;
  flex-shrink: 0;
  display: none;
}
.machine-desc.show { display: block; }

/* ═══ SHORTCUTS OVERLAY ═══ */
.shortcuts-overlay {
  position: fixed;
  inset: 0;
  z-index: 300;
  display: none;
  align-items: center;
  justify-content: center;
  background: rgba(0,0,0,.6);
  backdrop-filter: blur(8px);
}
.shortcuts-overlay.visible { display: flex; }
.shortcuts-card {
  background: var(--panel);
  border: 1px solid var(--border-hover);
  border-radius: var(--radius-lg);
  padding: 24px 28px;
  min-width: 340px;
  max-width: 460px;
  box-shadow: var(--shadow-lg);
}
.shortcuts-title {
  font-size: 14px;
  font-weight: 700;
  margin-bottom: 16px;
  display: flex;
  align-items: center;
  justify-content: space-between;
}
.shortcuts-title .tb-icon-btn { width: 24px; height: 24px; font-size: 12px; }
.shortcut-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 6px 0;
  border-bottom: 1px solid var(--border-subtle);
  font-size: 12px;
}
.shortcut-row:last-child { border-bottom: none; }
.shortcut-label { color: var(--text-secondary); }
.shortcut-keys { display: flex; gap: 4px; }
.kbd {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 24px;
  height: 22px;
  padding: 0 6px;
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius-xs);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 600;
  color: var(--text);
  box-shadow: 0 1px 0 rgba(0,0,0,.4);
}

/* ═══ TEST PANEL ═══ */
.test-overlay {
  position: fixed; inset: 0; z-index: 400;
  background: rgba(0,0,0,.6); backdrop-filter: blur(8px);
  display: flex; align-items: center; justify-content: center;
}
.test-card {
  background: var(--panel); border: 1px solid var(--border-hover);
  border-radius: var(--radius-lg); width: 640px; max-height: 80vh;
  display: flex; flex-direction: column; overflow: hidden;
  box-shadow: var(--shadow-lg);
}
.test-header {
  display: flex; align-items: center; justify-content: space-between;
  padding: 14px 18px; border-bottom: 1px solid var(--border);
  font-family: var(--mono); font-size: 13px; font-weight: 700;
  flex-shrink: 0;
}
.test-list { overflow-y: auto; padding: 8px; }
.test-row {
  display: flex; flex-direction: column; gap: 2px;
  padding: 7px 10px; border-radius: var(--radius-xs);
  font-family: var(--mono); font-size: 11px; margin-bottom: 2px;
}
.test-ok { color: var(--success); background: var(--success-dim); }
.test-fail { color: var(--danger); background: var(--danger-dim); }
.test-err { color: var(--warn); font-size: 10px; padding-left: 14px; }

/* ═══ ACTOR MATRIX ═══ */
#actor-matrix { padding: 16px; overflow-y: auto; }
.actor-summary {
  display: flex; align-items: center; gap: 20px;
  padding: 14px 16px; margin-bottom: 16px;
  background: var(--card); border: 1px solid var(--border);
  border-radius: var(--radius-md);
}
.actor-coverage { display: flex; flex-direction: column; gap: 4px; min-width: 120px; }
.actor-cov-num { font-size: 28px; font-weight: 800; color: var(--accent); line-height: 1; }
.actor-cov-label { font-size: 10px; color: var(--muted); font-family: var(--mono); }
.actor-cov-bar { height: 4px; background: var(--border); border-radius: 2px; width: 100px; }
.actor-cov-fill { height: 100%; background: var(--accent); border-radius: 2px; transition: width .3s; }
.actor-stats { display: flex; flex-wrap: wrap; gap: 8px; }
.actor-stat-chip {
  display: flex; align-items: center; gap: 6px;
  padding: 5px 12px; border-radius: var(--radius-full);
  background: var(--accent-dim); border: 1px solid rgba(45,123,181,.2);
}
.actor-name { font-family: var(--mono); font-size: 12px; color: var(--accent); font-weight: 600; }
.actor-count {
  font-family: var(--mono); font-size: 11px;
  background: var(--accent); color: #fff;
  border-radius: 10px; padding: 0 6px; min-width: 20px; text-align: center;
}
.actor-section { margin-bottom: 16px; }
.actor-section-title {
  font-family: var(--mono); font-size: 12px; font-weight: 700;
  color: var(--text); padding: 8px 0; margin-bottom: 6px;
  border-bottom: 1px solid var(--border);
  display: flex; align-items: center; gap: 8px;
}
.actor-section-count { color: var(--muted); font-weight: 400; font-size: 11px; }
.actor-section-warn .actor-section-title { color: var(--warn); }
.actor-table {
  width: 100%; border-collapse: collapse;
  font-family: var(--mono); font-size: 11px;
}
.actor-table th {
  text-align: left; padding: 5px 10px;
  color: var(--muted); font-size: 10px; text-transform: uppercase;
  border-bottom: 1px solid var(--border); font-weight: 600;
}
.actor-table td { padding: 6px 10px; border-bottom: 1px solid var(--border-subtle); }
.actor-table tr:last-child td { border-bottom: none; }
.actor-via { color: var(--accent2); }
.actor-desc { color: var(--text-secondary); font-family: var(--sans); font-size: 11px; }
.actor-row-warn td { color: var(--warn); opacity: .8; }

/* ═══ HELP OVERLAY ═══ */
.help-overlay {
  position: fixed; inset: 0; z-index: 500;
  background: rgba(0,0,0,.65); backdrop-filter: blur(10px);
  display: flex; align-items: center; justify-content: center;
}
.help-card {
  background: var(--panel); border: 1px solid var(--border-hover);
  border-radius: var(--radius-lg); width: 780px; max-height: 88vh;
  display: flex; flex-direction: column; overflow: hidden;
  box-shadow: var(--shadow-lg);
}
.help-header {
  display: flex; align-items: center; justify-content: space-between;
  padding: 16px 22px; border-bottom: 1px solid var(--border);
  font-family: var(--mono); font-size: 14px; font-weight: 700;
  flex-shrink: 0;
}
.help-nav {
  display: flex; gap: 0; border-bottom: 1px solid var(--border);
  flex-shrink: 0; padding: 0 12px;
}
.help-nav-btn {
  background: none; border: none; border-bottom: 2px solid transparent;
  padding: 10px 14px; font-family: var(--mono); font-size: 11px;
  font-weight: 600; color: var(--muted); cursor: pointer;
  transition: all .15s var(--ease); letter-spacing: .3px;
}
.help-nav-btn:hover { color: var(--text-secondary); }
.help-nav-btn.active { color: var(--accent); border-bottom-color: var(--accent); }
.help-body { flex: 1; overflow-y: auto; padding: 20px 24px; }
.help-section { display: none; }
.help-section.active { display: block; }
.help-section h3 {
  font-size: 13px; font-weight: 700; color: var(--text);
  margin: 22px 0 10px; padding-bottom: 6px;
  border-bottom: 1px solid var(--border);
}
.help-section h3:first-child { margin-top: 0; }
.help-code {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: var(--radius-sm); padding: 14px 16px;
  font-family: var(--mono); font-size: 11.5px; line-height: 1.7;
  color: var(--text-secondary); overflow-x: auto;
  margin-bottom: 14px;
}
.help-code em { color: var(--accent); font-style: normal; font-weight: 600; }
.help-inline {
  background: transparent; border: none; padding: 0; margin: 0;
  font-family: var(--mono); font-size: 11px; line-height: 1.6;
  color: var(--text-secondary); white-space: pre;
}
.help-tbl {
  width: 100%; border-collapse: collapse;
  font-family: var(--mono); font-size: 11px; margin-bottom: 14px;
}
.help-tbl th {
  text-align: left; padding: 7px 10px; font-size: 10px;
  color: var(--muted); text-transform: uppercase;
  border-bottom: 1px solid var(--border); font-weight: 600;
  letter-spacing: .3px;
}
.help-tbl td {
  padding: 8px 10px; border-bottom: 1px solid var(--border-subtle);
  line-height: 1.6; color: var(--text-secondary); vertical-align: top;
}
.help-tbl td:first-child { white-space: nowrap; }
.help-tbl td code {
  background: rgba(45,123,181,.1); color: var(--accent);
  padding: 1px 5px; border-radius: 3px; font-size: 10.5px;
}
.help-tbl td strong { color: var(--text); font-weight: 700; }
.help-tbl td em { color: var(--text-secondary); font-style: italic; }
.help-note {
  font-size: 11px; color: var(--muted); line-height: 1.6;
  margin: 4px 0 12px; font-family: var(--mono);
}
.help-note code {
  background: rgba(45,123,181,.1); color: var(--accent);
  padding: 1px 4px; border-radius: 3px; font-size: 10px;
}
.help-rule {
  padding: 8px 12px; border-radius: var(--radius-sm);
  margin-bottom: 6px; border-left: 3px solid transparent;
}
.help-rule-crit { background: var(--danger-dim); border-left-color: var(--danger); }
.help-rule-warn { background: var(--warn-dim); border-left-color: var(--warn); }
.help-rule-info { background: var(--accent-dim); border-left-color: var(--accent); }
.help-rule-code {
  font-family: var(--mono); font-size: 10.5px; font-weight: 700;
  margin-bottom: 3px;
}
.help-rule-crit .help-rule-code { color: var(--danger); }
.help-rule-warn .help-rule-code { color: var(--warn); }
.help-rule-info .help-rule-code { color: var(--accent); }
.help-rule-desc {
  font-family: var(--mono); font-size: 11px; color: var(--text-secondary);
  line-height: 1.5;
}
.help-rule-desc code {
  background: rgba(255,255,255,.06); padding: 1px 4px;
  border-radius: 3px; font-size: 10px;
}
/* ═══ Language switcher ═══ */
.lang-switch {
  display: flex; gap: 2px; margin-left: 6px;
  background: var(--surface); border-radius: var(--radius-sm);
  padding: 2px;
}
.lang-btn {
  font-size: 10px; font-weight: 700; font-family: var(--mono);
  padding: 3px 7px; border: none; border-radius: 3px;
  background: transparent; color: var(--muted); cursor: pointer;
  transition: all .15s;
}
.lang-btn:hover { color: var(--text-primary); }
.lang-btn.active {
  background: var(--accent); color: #fff;
}
/* ═══════════════ ASSERTIONS TAB ═══════════════ */
.assert-summary {
  display: flex; gap: 16px; padding: 12px 16px;
  border-bottom: 1px solid var(--border);
  font-family: var(--mono); font-size: 12px; font-weight: 700;
}
.assert-pass { color: var(--success); }
.assert-fail { color: var(--danger); }
.assert-list {
  display: flex; flex-direction: column; gap: 8px;
  padding: 12px; overflow-y: auto;
}
.assert-item {
  border-radius: 8px; border: 1px solid var(--border);
  padding: 12px 14px; cursor: pointer;
  transition: border-color .15s, background .15s;
}
.assert-item:hover { border-color: var(--accent); }
.assert-ok { border-left: 3px solid var(--success); }
.assert-fail-item { border-left: 3px solid var(--danger); }
.assert-item-header {
  display: flex; align-items: center; gap: 10px; margin-bottom: 6px;
}
.assert-badge {
  font-family: var(--mono); font-size: 10px; font-weight: 700;
  padding: 2px 8px; border-radius: 4px; white-space: nowrap;
}
.abadge-ok { background: rgba(52,211,153,.15); color: var(--success); }
.abadge-fail { background: rgba(248,113,113,.15); color: var(--danger); }
.assert-label {
  font-family: var(--mono); font-size: 12px; color: var(--fg);
}
.assert-meta {
  font-size: 10px; color: var(--muted); margin-bottom: 4px;
}
.assert-counter {
  margin-top: 8px; font-size: 11px; color: var(--danger);
}
.assert-counter-label { font-weight: 600; margin-right: 6px; }
.assert-counter code {
  background: rgba(248,113,113,.1); padding: 2px 6px;
  border-radius: 4px; font-family: var(--mono);
}
.assert-actions { margin-top: 8px; }
.assert-btn {
  font-size: 10px; font-family: var(--mono);
  background: var(--surface2); border: 1px solid var(--border);
  color: var(--fg); padding: 3px 10px; border-radius: 5px; cursor: pointer;
}
.assert-btn:hover { border-color: var(--accent); }
.assert-export-bar {
  padding: 10px 12px; border-top: 1px solid var(--border);
}
.assert-empty {
  display: flex; flex-direction: column; align-items: center;
  justify-content: center; height: 200px; gap: 10px;
  color: var(--muted); text-align: center;
}
.assert-empty-icon { font-size: 36px; opacity: .3; }
.assert-empty-title { font-size: 14px; font-weight: 600; color: var(--fg); }
.assert-empty-hint { font-size: 11px; line-height: 1.7; }
.assert-empty-hint code {
  background: var(--surface2); padding: 1px 5px;
  border-radius: 3px; font-family: var(--mono);
}
g.node.assert-highlight circle,
g.node.assert-highlight rect { stroke: #a78bfa !important; stroke-width: 3px !important; }
g.node.assert-counter-node circle,
g.node.assert-counter-node rect { stroke: var(--danger) !important; stroke-width: 3px !important; }
path.assert-path { stroke: var(--danger) !important; stroke-width: 3px !important; stroke-opacity: 1 !important; }

/* ═══════════════ TOAST NOTIFICATIONS ═══════════════ */
.toast-container {
  position: fixed; top: 16px; right: 16px; z-index: 10000;
  display: flex; flex-direction: column; gap: 8px;
  pointer-events: none; max-width: 400px;
}
.toast {
  display: flex; align-items: flex-start; gap: 10px;
  padding: 12px 14px; border-radius: 10px;
  background: var(--surface-2, #1a1e26);
  border: 1px solid var(--border, #2a2a3e);
  box-shadow: 0 8px 24px rgba(0,0,0,.35), 0 0 1px rgba(255,255,255,.06);
  font-size: 13px; color: var(--text, #e0e0e0);
  pointer-events: auto; cursor: default;
  transform: translateX(110%); opacity: 0;
  transition: transform .3s cubic-bezier(.4,0,.2,1), opacity .3s;
}
.toast-visible { transform: translateX(0); opacity: 1; }
.toast-hiding  { transform: translateX(110%); opacity: 0; }

.toast-success { border-left: 3px solid var(--success, #34d399); }
.toast-error   { border-left: 3px solid var(--danger, #f87171); }
.toast-info    { border-left: 3px solid var(--accent, #2d7bb5); }
.toast-warn    { border-left: 3px solid #f59e0b; }

.toast-icon { flex-shrink: 0; width: 18px; height: 18px; margin-top: 1px; }
.toast-success .toast-icon { color: var(--success, #34d399); }
.toast-error   .toast-icon { color: var(--danger, #f87171); }
.toast-info    .toast-icon { color: var(--accent, #2d7bb5); }
.toast-warn    .toast-icon { color: #f59e0b; }

.toast-svg { width: 18px; height: 18px; }
.toast-msg { flex: 1; line-height: 1.4; word-break: break-word; }
.toast-dismiss {
  flex-shrink: 0; background: none; border: none;
  color: var(--text-secondary, #888); font-size: 18px;
  cursor: pointer; padding: 0 2px; line-height: 1;
}
.toast-dismiss:hover { color: var(--text, #e0e0e0); }