/* ============================================================
   Plasma Burn Design System — explaincc
   ============================================================ */

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

/* === CSS Variables (Dark mode default) === */
:root {
  --bg:           #050507;
  --surface:      rgba(255,255,255,0.02);
  --surface-dim:  rgba(255,255,255,0.04);
  --tx1:          #e8e4ea;
  --tx2:          #5a5462;
  --tx3:          #757179;
  --border:       rgba(255,255,255,0.06);
  --border-strong:rgba(255,255,255,0.12);
  --plasma:       #ff2d78;
  --plasma-dim:   rgba(255,45,120,0.04);
  --plasma-soft:  rgba(255,45,120,0.08);
  --plasma-glow:  rgba(255,45,120,0.30);
  --plasma-mid:   #ff6ba0;
  --plasma-pale:  #ff9ec0;
  --danger:       #ff4040;
  --success:      #00c060;
  --shadow-glow:    0 0 10px rgba(255,45,120,0.28), 0 0 40px rgba(255,45,120,0.08);
  --shadow-glow-lg: 0 0 10px rgba(255,45,120,0.28), 0 0 40px rgba(255,45,120,0.08), 0 0 80px rgba(255,45,120,0.03);
  --shadow-glow-sm: 0 0 6px rgba(255,45,120,0.20);
  --font: 'Azeret Mono', monospace;
  --nav-h:  54px;
  --tabs-h: 42px;
}

/* === Light mode overrides === */
html.light {
  --bg:           #fcf6f8;
  --surface:      rgba(0,0,0,0.02);
  --surface-dim:  rgba(0,0,0,0.04);
  --tx1:          #1a141e;
  --tx2:          #8c8791;
  --tx3:          #b0a4b8;
  --border:       rgba(0,0,0,0.06);
  --border-strong:rgba(0,0,0,0.12);
  --plasma:       #c8185a;
  --plasma-dim:   rgba(200,24,90,0.04);
  --plasma-soft:  rgba(200,24,90,0.08);
  --plasma-glow:  rgba(200,24,90,0.15);
  --plasma-mid:   #d04878;
  --plasma-pale:  #d87898;
  --shadow-glow:    0 0 10px rgba(200,24,90,0.14), 0 0 40px rgba(200,24,90,0.04);
  --shadow-glow-sm: 0 0 6px rgba(200,24,90,0.10);
}

/* === Base === */
html, body {
  height: 100%;
  overflow: hidden;
}
body {
  display: flex;
  flex-direction: column;
  font-family: var(--font);
  background: var(--bg);
  color: var(--tx1);
  font-size: 12px;
  line-height: 1.6;
}

/* === Background floating lines === */
.bg-line {
  position: fixed;
  left: 0; right: 0;
  height: 1px;
  background: var(--plasma);
  opacity: 0.05;
  pointer-events: none;
  z-index: 0;
}
.bg-line::after {
  content: '';
  position: absolute;
  left: 0; right: 0;
  top: 4px;
  height: 1px;
  background: var(--plasma);
  opacity: 0.5;
}

/* ============================================================
   Navigation
   ============================================================ */
.nav {
  position: sticky;
  top: 0;
  z-index: 50;
  height: var(--nav-h);
  background: rgba(5,5,7,0.88);
  backdrop-filter: blur(20px);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
}
html.light .nav { background: rgba(252,246,248,0.88); }

.nav-inner {
  height: 100%;
  display: flex;
  align-items: center;
  gap: 1rem;
  padding: 0 1.25rem;
}

/* Logo */
.nav-logo {
  display: flex;
  align-items: center;
  gap: 9px;
  text-decoration: none;
  color: var(--plasma);
  flex-shrink: 0;
  transition: filter 0.25s cubic-bezier(0.34,1.56,0.64,1);
}
.nav-logo:hover { filter: drop-shadow(0 0 8px var(--plasma-glow)); }

.logo-svg {
  width: 40px;
  height: 19px;
  flex-shrink: 0;
}

.logo-text {
  font-size: 14px;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--tx1);
  text-shadow: 0 0 10px var(--plasma-glow);
}

/* Opt level group */
.opt-row {
  display: flex;
  align-items: center;
  gap: 8px;
}
.opt-label {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
}
.opt-group {
  display: flex;
  gap: 2px;
  border: 1px solid var(--border);
  padding: 2px;
}
.opt-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 4px 10px;
  border: none;
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  transition: color 0.15s, background 0.15s, box-shadow 0.15s;
}
.opt-btn:hover { color: var(--tx1); }
.opt-btn.active {
  background: var(--plasma-soft);
  color: var(--plasma);
  box-shadow: var(--shadow-glow-sm);
}

/* Nav right side */
.nav-right {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-left: auto;
}

/* Demo button */
.demo-btn {
  font-family: var(--font);
  font-size: 10px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  height: 30px;
  padding: 0 14px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--plasma);
  cursor: pointer;
  transition: all 0.15s;
  flex-shrink: 0;
}
.demo-btn:hover { border-color: var(--border-strong); }
.demo-btn:active { transform: scale(0.94); }

/* Compile button (outline plasma variant) */
.compile-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  height: 38px;
  padding: 0 22px;
  border: 1px solid var(--plasma);
  background: transparent;
  color: var(--plasma);
  cursor: pointer;
  transition: all 0.2s cubic-bezier(0.34,1.56,0.64,1);
  display: flex;
  align-items: center;
  gap: 6px;
  flex-shrink: 0;
  text-shadow: var(--shadow-glow-sm);
}
.compile-btn:hover {
  background: var(--plasma-soft);
  box-shadow: var(--shadow-glow);
  transform: translateY(-2px);
}
.compile-btn:active { transform: scale(0.94); }
.compile-btn:disabled { opacity: 0.35; cursor: not-allowed; transform: none; }

.compile-btn .spinner {
  width: 12px; height: 12px;
  border: 2px solid var(--border-strong);
  border-top-color: var(--plasma);
  border-radius: 50%;
  animation: spin 0.7s linear infinite;
  display: none;
}
.compile-btn.loading .spinner  { display: block; }
.compile-btn.loading .btn-icon { display: none; }

@keyframes spin { to { transform: rotate(360deg); } }

/* Stats chips */
.header-stats {
  display: flex;
  gap: 6px;
  flex-shrink: 0;
}
.stat-chip {
  font-family: var(--font);
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 3px 10px;
  border: 1px solid var(--border);
  color: var(--tx3);
}
.stat-chip.applied { border-color: rgba(0,192,96,0.3);  color: #00c060; }
.stat-chip.missed  { border-color: rgba(255,64,64,0.3); color: #ff4040; }

/* Theme toggle */
.theme-btn {
  width: 30px;
  height: 30px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--tx3);
  font-size: 14px;
  cursor: pointer;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: all 0.15s;
  flex-shrink: 0;
}
.theme-btn:hover { border-color: var(--border-strong); color: var(--tx1); transform: scale(1.08); }
.theme-btn:active { transform: scale(0.9); }

/* Error banner */
.error-banner {
  position: fixed;
  top: calc(var(--nav-h) + 8px);
  left: 50%;
  transform: translateX(-50%);
  background: rgba(255,64,64,0.04);
  border-left: 2px solid var(--danger);
  color: var(--danger);
  font-family: var(--font);
  font-size: 11px;
  padding: 12px 18px;
  z-index: 100;
  max-width: 80vw;
  white-space: pre-wrap;
  animation: fadeIn 0.2s ease;
  display: none;
}
.error-banner.visible { display: block; }

/* ============================================================
   Tab bar
   ============================================================ */
.tabs-bar {
  display: flex;
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  height: var(--tabs-h);
  background: var(--bg);
  padding: 0 1.25rem;
  position: relative;
  z-index: 1;
}

.tab-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 0 18px;
  height: 100%;
  border: none;
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  position: relative;
  display: flex;
  align-items: center;
  gap: 7px;
  transition: color 0.2s;
}
.tab-btn:hover { color: var(--tx1); }
.tab-btn.active { color: var(--plasma); }
.tab-btn.active::after {
  content: '';
  position: absolute;
  bottom: 0;
  left: 0; right: 0;
  height: 1px;
  background: var(--plasma);
  box-shadow: 0 0 6px var(--plasma-glow);
}

/* Badge on Optimizations tab */
.tab-count {
  font-size: 8px;
  letter-spacing: 0.08em;
  padding: 2px 6px;
  border: 1px solid var(--plasma);
  color: var(--plasma);
  background: var(--plasma-dim);
  text-shadow: var(--shadow-glow-sm);
}

/* ============================================================
   Tab panels
   ============================================================ */
.tab-panel {
  display: flex;
  flex-direction: column;
  flex: 1;
  min-height: 0;
  overflow: hidden;
}
.tab-panel.hidden { display: none; }

/* ============================================================
   Editor area  (PC: 2-column grid)
   ============================================================ */
.editor-area {
  display: grid;
  grid-template-columns: 1fr 1fr;
  flex: 1;
  min-height: 0;
  border-bottom: 1px solid var(--border);
  overflow: hidden;
}

.editor-pane {
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border-right: 1px solid var(--border);
}
.editor-pane:last-child { border-right: none; }

/* Pane header — label bar on PC, accordion trigger on mobile */
.pane-header {
  display: flex;
  align-items: center;
  gap: 0;
  padding: 7px 14px;
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  width: 100%;
  font-family: var(--font);
  border-top: none;
  border-left: none;
  border-right: none;
  color: var(--tx1);
  cursor: default;  /* not an accordion trigger on PC */
  text-align: left;
}

.pane-label-text {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
}

.pane-hint {
  font-size: 9px;
  color: var(--tx3);
  letter-spacing: 0;
  text-transform: none;
  margin-left: 10px;
  font-weight: 300;
}

/* Arrow hidden on PC */
.pane-arrow { display: none; }

.editor-container {
  flex: 1;
  overflow: hidden;
  min-height: 0;
}

/* ============================================================
   Details strip (current optimization)
   ============================================================ */
.details-strip {
  display: none;
  flex-direction: column;
  border-bottom: 1px solid var(--border);
  background: var(--surface);
  flex-shrink: 0;
  max-height: 200px;
}
.details-strip.visible { display: flex; }

.details-header {
  padding: 6px 14px;
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.details-body {
  display: grid;
  grid-template-columns: 1fr 1fr;
  overflow: hidden;
  flex: 1;
}

.details-col {
  overflow-y: auto;
  padding: 8px 14px;
}
.asm-col { border-right: 1px solid var(--border); }

.details-label {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--tx3);
  margin-bottom: 6px;
}

.details-asm {
  font-family: var(--font);
  font-size: 11px;
  line-height: 1.6;
  color: var(--tx1);
  margin: 0;
  white-space: pre;
}

.detail-opt {
  margin-bottom: 6px;
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 6px;
}
.detail-opt strong { font-size: 11px; color: var(--tx1); }
.detail-explain {
  width: 100%;
  font-size: 11px;
  line-height: 1.65;
  color: var(--tx2);
  margin: 2px 0 4px 0;
}
.detail-sep { border: none; border-top: 1px solid var(--border); margin: 6px 0; }
.no-opt { color: var(--tx3); font-size: 11px; margin: 0; }

/* ============================================================
   Optimizations tab — cards section
   ============================================================ */
.cards-section {
  flex: 1;
  overflow-y: auto;
  padding: 1rem 1.25rem 2rem;
}

/* Empty state */
.empty-state {
  text-align: center;
  padding: 5rem 2rem;
}
.empty-icon {
  font-size: 28px;
  letter-spacing: -2px;
  color: var(--tx3);
  margin-bottom: 12px;
  opacity: 0.4;
}
.empty-text {
  font-size: 11px;
  color: var(--tx3);
  letter-spacing: 0.04em;
  line-height: 1.8;
}

/* Filter row */
.filters-row {
  display: flex;
  gap: 4px;
  flex-wrap: wrap;
  margin-bottom: 14px;
}

.filter-btn {
  font-family: var(--font);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 3px 10px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  transition: all 0.15s;
}
.filter-btn:hover { border-color: var(--border-strong); color: var(--tx2); }
.filter-btn.active {
  border-color: var(--plasma);
  color: var(--plasma);
  background: var(--plasma-dim);
}
.filter-btn.active-miss {
  border-color: var(--danger);
  color: var(--danger);
  background: rgba(255,64,64,0.04);
}

/* Card list */
.card-list {
  display: flex;
  flex-direction: column;
  gap: 6px;
}

/* ============================================================
   Cards
   ============================================================ */
.card {
  border: 1px solid var(--border);
  overflow: hidden;
  transition: border-color 0.2s, box-shadow 0.2s;
  animation: cardIn 0.35s cubic-bezier(0.16,1,0.3,1) backwards;
}
.card:hover { border-color: var(--border-strong); }
.card.expanded {
  border-color: var(--plasma);
  box-shadow: var(--shadow-glow);
}

.card-header {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 10px 14px;
  cursor: pointer;
  user-select: none;
  background: var(--surface);
  transition: background 0.15s;
}
.card-header:hover { background: var(--surface-dim); }

.card-num {
  font-size: 9px;
  letter-spacing: 0.08em;
  color: var(--tx3);
  width: 24px;
  flex-shrink: 0;
  text-align: right;
}

.card-dot {
  width: 6px; height: 6px;
  border-radius: 50%;
  flex-shrink: 0;
}
.card-dot.applied { background: var(--success); box-shadow: 0 0 6px rgba(0,192,96,0.5); }
.card-dot.missed  { background: var(--danger);  box-shadow: 0 0 6px rgba(255,64,64,0.5); }

.card-title {
  font-size: 11px;
  font-weight: 500;
  color: var(--tx1);
  flex: 1;
  letter-spacing: 0.02em;
}

.card-pass {
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--tx3);
  padding: 2px 8px;
  border: 1px solid var(--border);
}

.card-fn {
  font-size: 9px;
  letter-spacing: 0.04em;
  color: var(--plasma-pale);
}

.card-line-ref {
  font-size: 9px;
  color: var(--plasma-mid);
  cursor: pointer;
  text-decoration: underline dotted;
}
.card-line-ref:hover { color: var(--plasma); text-shadow: var(--shadow-glow-sm); }

.card-chevron {
  color: var(--tx3);
  transition: transform 0.25s cubic-bezier(0.16,1,0.3,1), color 0.2s;
  font-size: 10px;
  flex-shrink: 0;
}
.card.expanded .card-chevron { transform: rotate(90deg); color: var(--plasma); }

.card-body {
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.35s cubic-bezier(0.16,1,0.3,1);
}
.card.expanded .card-body { max-height: 2400px; }

.card-content {
  padding: 10px 14px 14px;
  border-top: 1px solid var(--border);
}

.tag-row { display: flex; gap: 4px; flex-wrap: wrap; margin-bottom: 10px; }
.tag {
  font-size: 8px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 2px 8px;
  border: 1px solid var(--border);
  color: var(--tx3);
}

.explanation {
  font-size: 11px;
  line-height: 1.75;
  color: var(--tx2);
  margin-bottom: 10px;
  padding-left: 10px;
  border-left: 2px solid var(--plasma);
}

.code-section { margin-top: 10px; }

.code-label {
  font-size: 8px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  margin-bottom: 5px;
}
.code-label.before { color: var(--tx3); }
.code-label.after  { color: var(--success); text-shadow: 0 0 6px rgba(0,192,96,0.3); }

.code-block {
  background: var(--surface);
  border: 1px solid var(--border);
  padding: 10px 14px;
  overflow-x: auto;
  font-family: var(--font);
  font-size: 11px;
  line-height: 1.65;
  color: var(--tx1);
  white-space: pre;
}
.code-block.after-code {
  border-color: rgba(0,192,96,0.2);
  color: var(--success);
}

/* ============================================================
   Monaco editor — direct overrides for elements that ignore theme tokens
   ============================================================ */

/* Current line highlight in the gutter margin */
.monaco-editor .margin-view-overlays .current-line-margin {
  background: rgba(255,255,255,0.03) !important;
  border: none !important;
}
html.light .monaco-editor .margin-view-overlays .current-line-margin {
  background: rgba(0,0,0,0.04) !important;
  border: none !important;
}

/* Text selection */
.monaco-editor .selected-text {
  background: rgba(255,255,255,0.10) !important;
}
.monaco-editor.inactive-selection .selected-text,
.monaco-editor .view-overlays .selected-text {
  background: rgba(255,255,255,0.22) !important;
}
/* Secondary selection occurrences */
.monaco-editor .selectionHighlight {
  background: rgba(255,255,255,0.06) !important;
  border: none !important;
}
html.light .monaco-editor .selected-text {
  background: rgba(0,0,0,0.09) !important;
}
html.light .monaco-editor.inactive-selection .selected-text,
html.light .monaco-editor .view-overlays .selected-text {
  background: rgba(0,0,0,0.05) !important;
}
html.light .monaco-editor .selectionHighlight {
  background: rgba(0,0,0,0.05) !important;
  border: none !important;
}

/* Scrollbar slider */
.monaco-scrollable-element > .scrollbar > .slider {
  background: rgba(255,255,255,0.07) !important;
}
.monaco-scrollable-element > .scrollbar > .slider:hover,
.monaco-scrollable-element > .scrollbar > .slider.active {
  background: rgba(255,255,255,0.14) !important;
}
html.light .monaco-scrollable-element > .scrollbar > .slider {
  background: rgba(0,0,0,0.07) !important;
}
html.light .monaco-scrollable-element > .scrollbar > .slider:hover,
html.light .monaco-scrollable-element > .scrollbar > .slider.active {
  background: rgba(0,0,0,0.14) !important;
}

/* ============================================================
   Monaco editor decoration classes
   ============================================================ */
.asm-selected-bg    { background: rgba(255,45,120,0.10) !important; }
.asm-selected-glyph { background: var(--plasma); width: 3px !important; margin-left: 3px; }

.applied-line-bg    { background: rgba(0,192,96,0.05) !important; }
.missed-line-bg     { background: rgba(255,64,64,0.05) !important; }

.applied-line-glyph { background: var(--success); width: 3px !important; margin-left: 3px; }
.missed-line-glyph  { background: var(--danger);  width: 3px !important; margin-left: 3px; }

/* ============================================================
   Animations
   ============================================================ */
@keyframes fadeIn { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; transform: none; } }
@keyframes cardIn { from { opacity: 0; transform: translateY(10px); } to { opacity: 1; transform: none; } }

/* ============================================================
   Scrollbar
   ============================================================ */
::-webkit-scrollbar { width: 4px; height: 4px; }
::-webkit-scrollbar-track { background: transparent; }
::-webkit-scrollbar-thumb { background: var(--border-strong); }
::-webkit-scrollbar-thumb:hover { background: var(--tx3); }

/* ============================================================
   MOBILE  (≤ 700px) — Full-height single-pane layout
   ============================================================ */
@media (max-width: 700px) {

  /* Nav wraps on mobile — body flex handles remaining height automatically */
  .nav { height: auto; }
  .nav-inner {
    flex-wrap: wrap;
    height: auto;
    padding: 10px 14px;
    gap: 10px;
  }
  .opt-row { order: 2; }
  .nav-right {
    order: 3;
    width: 100%;
    justify-content: flex-end;
    margin-left: 0;
  }
  .compile-label { display: none; }

  /* Editor area fills the entire tab panel height */
  .editor-area {
    display: flex;
    flex-direction: column;
    flex: 1;
    min-height: 0;
    overflow: hidden;
    border-bottom: none;
  }

  /* Active pane fills all available space */
  .editor-pane:not(.collapsed) {
    flex: 1;
    min-height: 0;
  }

  /* Collapsed pane shows only its header — no space for editor */
  .editor-pane.collapsed {
    flex: 0 0 auto;
  }
  .editor-pane.collapsed .editor-container {
    display: none;
  }

  /* Editor container fills the active pane */
  .editor-container {
    flex: 1;
    min-height: 0;
    height: auto;
  }

  .editor-pane {
    border-right: none;
    border-bottom: 1px solid var(--border);
  }

  /* Pane header acts as a panel switcher on mobile */
  .pane-header { cursor: pointer; }
  .pane-header:hover .pane-label-text {
    text-shadow: 0 0 10px var(--plasma-glow);
  }

  /* Show arrow indicator on mobile */
  .pane-arrow {
    display: block;
    margin-left: auto;
    color: var(--tx3);
    font-size: 14px;
    transition: color 0.2s;
  }
  .editor-pane:not(.collapsed) .pane-arrow { color: var(--plasma); }
  .editor-pane.collapsed .pane-arrow { color: var(--tx3); }

  /* Details strip: single-column, no max-height limit */
  .details-strip { max-height: 45vh; }
  .details-body { grid-template-columns: 1fr; }
  .asm-col { border-right: none; border-bottom: 1px solid var(--border); }

  .pane-hint { display: none; }
  .cards-section { padding: 10px 12px 2rem; }
  .card-fn { display: none; }
}

@media (max-width: 480px) {
  .opt-btn { padding: 3px 7px; font-size: 9px; }
  .stat-chip { display: none; }
  .demo-btn { font-size: 9px; padding: 0 10px; }
}
/* ============================================================
   Plasma Burn Design System — explaincc
   ============================================================ */

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

/* === CSS Variables (Dark mode default) === */
:root {
  --bg:           #050507;
  --surface:      rgba(255,255,255,0.02);
  --surface-dim:  rgba(255,255,255,0.04);
  --tx1:          #e8e4ea;
  --tx2:          #5a5462;
  --tx3:          #757179;
  --border:       rgba(255,255,255,0.06);
  --border-strong:rgba(255,255,255,0.12);
  --plasma:       #ff2d78;
  --plasma-dim:   rgba(255,45,120,0.04);
  --plasma-soft:  rgba(255,45,120,0.08);
  --plasma-glow:  rgba(255,45,120,0.30);
  --plasma-mid:   #ff6ba0;
  --plasma-pale:  #ff9ec0;
  --danger:       #ff4040;
  --success:      #00c060;
  --shadow-glow:    0 0 10px rgba(255,45,120,0.28), 0 0 40px rgba(255,45,120,0.08);
  --shadow-glow-lg: 0 0 10px rgba(255,45,120,0.28), 0 0 40px rgba(255,45,120,0.08), 0 0 80px rgba(255,45,120,0.03);
  --shadow-glow-sm: 0 0 6px rgba(255,45,120,0.20);
  --font: 'Azeret Mono', monospace;
  --nav-h:  54px;
  --tabs-h: 42px;
}

/* === Light mode overrides === */
html.light {
  --bg:           #fcf6f8;
  --surface:      rgba(0,0,0,0.02);
  --surface-dim:  rgba(0,0,0,0.04);
  --tx1:          #1a141e;
  --tx2:          #8c8791;
  --tx3:          #b0a4b8;
  --border:       rgba(0,0,0,0.06);
  --border-strong:rgba(0,0,0,0.12);
  --plasma:       #c8185a;
  --plasma-dim:   rgba(200,24,90,0.04);
  --plasma-soft:  rgba(200,24,90,0.08);
  --plasma-glow:  rgba(200,24,90,0.15);
  --plasma-mid:   #d04878;
  --plasma-pale:  #d87898;
  --shadow-glow:    0 0 10px rgba(200,24,90,0.14), 0 0 40px rgba(200,24,90,0.04);
  --shadow-glow-sm: 0 0 6px rgba(200,24,90,0.10);
}

/* === Base === */
html, body {
  height: 100%;
  overflow: hidden;
}
body {
  display: flex;
  flex-direction: column;
  font-family: var(--font);
  background: var(--bg);
  color: var(--tx1);
  font-size: 12px;
  line-height: 1.6;
}

/* === Background floating lines === */
.bg-line {
  position: fixed;
  left: 0; right: 0;
  height: 1px;
  background: var(--plasma);
  opacity: 0.05;
  pointer-events: none;
  z-index: 0;
}
.bg-line::after {
  content: '';
  position: absolute;
  left: 0; right: 0;
  top: 4px;
  height: 1px;
  background: var(--plasma);
  opacity: 0.5;
}

/* ============================================================
   Navigation
   ============================================================ */
.nav {
  position: sticky;
  top: 0;
  z-index: 50;
  height: var(--nav-h);
  background: rgba(5,5,7,0.88);
  backdrop-filter: blur(20px);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
}
html.light .nav { background: rgba(252,246,248,0.88); }

.nav-inner {
  height: 100%;
  display: flex;
  align-items: center;
  gap: 1rem;
  padding: 0 1.25rem;
}

/* Logo */
.nav-logo {
  display: flex;
  align-items: center;
  gap: 9px;
  text-decoration: none;
  color: var(--plasma);
  flex-shrink: 0;
  transition: filter 0.25s cubic-bezier(0.34,1.56,0.64,1);
}
.nav-logo:hover { filter: drop-shadow(0 0 8px var(--plasma-glow)); }

.logo-svg {
  width: 40px;
  height: 19px;
  flex-shrink: 0;
}

.logo-text {
  font-size: 14px;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--tx1);
  text-shadow: 0 0 10px var(--plasma-glow);
}

/* Opt level group */
.opt-row {
  display: flex;
  align-items: center;
  gap: 8px;
}
.opt-label {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
}
.opt-group {
  display: flex;
  gap: 2px;
  border: 1px solid var(--border);
  padding: 2px;
}
.opt-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 4px 10px;
  border: none;
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  transition: color 0.15s, background 0.15s, box-shadow 0.15s;
}
.opt-btn:hover { color: var(--tx1); }
.opt-btn.active {
  background: var(--plasma-soft);
  color: var(--plasma);
  box-shadow: var(--shadow-glow-sm);
}

/* Nav right side */
.nav-right {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-left: auto;
}

/* Demo button */
.demo-btn {
  font-family: var(--font);
  font-size: 10px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  height: 30px;
  padding: 0 14px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--plasma);
  cursor: pointer;
  transition: all 0.15s;
  flex-shrink: 0;
}
.demo-btn:hover { border-color: var(--border-strong); }
.demo-btn:active { transform: scale(0.94); }

/* Compile button (outline plasma variant) */
.compile-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  height: 38px;
  padding: 0 22px;
  border: 1px solid var(--plasma);
  background: transparent;
  color: var(--plasma);
  cursor: pointer;
  transition: all 0.2s cubic-bezier(0.34,1.56,0.64,1);
  display: flex;
  align-items: center;
  gap: 6px;
  flex-shrink: 0;
  text-shadow: var(--shadow-glow-sm);
}
.compile-btn:hover {
  background: var(--plasma-soft);
  box-shadow: var(--shadow-glow);
  transform: translateY(-2px);
}
.compile-btn:active { transform: scale(0.94); }
.compile-btn:disabled { opacity: 0.35; cursor: not-allowed; transform: none; }

.compile-btn .spinner {
  width: 12px; height: 12px;
  border: 2px solid var(--border-strong);
  border-top-color: var(--plasma);
  border-radius: 50%;
  animation: spin 0.7s linear infinite;
  display: none;
}
.compile-btn.loading .spinner  { display: block; }
.compile-btn.loading .btn-icon { display: none; }

@keyframes spin { to { transform: rotate(360deg); } }

/* Stats chips */
.header-stats {
  display: flex;
  gap: 6px;
  flex-shrink: 0;
}
.stat-chip {
  font-family: var(--font);
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 3px 10px;
  border: 1px solid var(--border);
  color: var(--tx3);
}
.stat-chip.applied { border-color: rgba(0,192,96,0.3);  color: #00c060; }
.stat-chip.missed  { border-color: rgba(255,64,64,0.3); color: #ff4040; }

/* Theme toggle */
.theme-btn {
  width: 30px;
  height: 30px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--tx3);
  font-size: 14px;
  cursor: pointer;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: all 0.15s;
  flex-shrink: 0;
}
.theme-btn:hover { border-color: var(--border-strong); color: var(--tx1); transform: scale(1.08); }
.theme-btn:active { transform: scale(0.9); }

/* Error banner */
.error-banner {
  position: fixed;
  top: calc(var(--nav-h) + 8px);
  left: 50%;
  transform: translateX(-50%);
  background: rgba(255,64,64,0.04);
  border-left: 2px solid var(--danger);
  color: var(--danger);
  font-family: var(--font);
  font-size: 11px;
  padding: 12px 18px;
  z-index: 100;
  max-width: 80vw;
  white-space: pre-wrap;
  animation: fadeIn 0.2s ease;
  display: none;
}
.error-banner.visible { display: block; }

/* ============================================================
   Tab bar
   ============================================================ */
.tabs-bar {
  display: flex;
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  height: var(--tabs-h);
  background: var(--bg);
  padding: 0 1.25rem;
  position: relative;
  z-index: 1;
}

.tab-btn {
  font-family: var(--font);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding: 0 18px;
  height: 100%;
  border: none;
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  position: relative;
  display: flex;
  align-items: center;
  gap: 7px;
  transition: color 0.2s;
}
.tab-btn:hover { color: var(--tx1); }
.tab-btn.active { color: var(--plasma); }
.tab-btn.active::after {
  content: '';
  position: absolute;
  bottom: 0;
  left: 0; right: 0;
  height: 1px;
  background: var(--plasma);
  box-shadow: 0 0 6px var(--plasma-glow);
}

/* Badge on Optimizations tab */
.tab-count {
  font-size: 8px;
  letter-spacing: 0.08em;
  padding: 2px 6px;
  border: 1px solid var(--plasma);
  color: var(--plasma);
  background: var(--plasma-dim);
  text-shadow: var(--shadow-glow-sm);
}

/* ============================================================
   Tab panels
   ============================================================ */
.tab-panel {
  display: flex;
  flex-direction: column;
  flex: 1;
  min-height: 0;
  overflow: hidden;
}
.tab-panel.hidden { display: none; }

/* ============================================================
   Editor area  (PC: 2-column grid)
   ============================================================ */
.editor-area {
  display: grid;
  grid-template-columns: 1fr 1fr;
  flex: 1;
  min-height: 0;
  border-bottom: 1px solid var(--border);
  overflow: hidden;
}

.editor-pane {
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border-right: 1px solid var(--border);
}
.editor-pane:last-child { border-right: none; }

/* Pane header — label bar on PC, accordion trigger on mobile */
.pane-header {
  display: flex;
  align-items: center;
  gap: 0;
  padding: 7px 14px;
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  width: 100%;
  font-family: var(--font);
  border-top: none;
  border-left: none;
  border-right: none;
  color: var(--tx1);
  cursor: default;  /* not an accordion trigger on PC */
  text-align: left;
}

.pane-label-text {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
}

.pane-hint {
  font-size: 9px;
  color: var(--tx3);
  letter-spacing: 0;
  text-transform: none;
  margin-left: 10px;
  font-weight: 300;
}

/* Arrow hidden on PC */
.pane-arrow { display: none; }

.editor-container {
  flex: 1;
  overflow: hidden;
  min-height: 0;
}

/* ============================================================
   Details strip (current optimization)
   ============================================================ */
.details-strip {
  display: none;
  flex-direction: column;
  border-bottom: 1px solid var(--border);
  background: var(--surface);
  flex-shrink: 0;
  max-height: 200px;
}
.details-strip.visible { display: flex; }

.details-header {
  padding: 6px 14px;
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--plasma);
  text-shadow: 0 0 6px var(--plasma-glow);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

.details-body {
  display: grid;
  grid-template-columns: 1fr 1fr;
  overflow: hidden;
  flex: 1;
}

.details-col {
  overflow-y: auto;
  padding: 8px 14px;
}
.asm-col { border-right: 1px solid var(--border); }

.details-label {
  font-size: 9px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--tx3);
  margin-bottom: 6px;
}

.details-asm {
  font-family: var(--font);
  font-size: 11px;
  line-height: 1.6;
  color: var(--tx1);
  margin: 0;
  white-space: pre;
}

.detail-opt {
  margin-bottom: 6px;
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 6px;
}
.detail-opt strong { font-size: 11px; color: var(--tx1); }
.detail-explain {
  width: 100%;
  font-size: 11px;
  line-height: 1.65;
  color: var(--tx2);
  margin: 2px 0 4px 0;
}
.detail-sep { border: none; border-top: 1px solid var(--border); margin: 6px 0; }
.no-opt { color: var(--tx3); font-size: 11px; margin: 0; }

/* ============================================================
   Optimizations tab — cards section
   ============================================================ */
.cards-section {
  flex: 1;
  overflow-y: auto;
  padding: 1rem 1.25rem 2rem;
}

/* Empty state */
.empty-state {
  text-align: center;
  padding: 5rem 2rem;
}
.empty-icon {
  font-size: 28px;
  letter-spacing: -2px;
  color: var(--tx3);
  margin-bottom: 12px;
  opacity: 0.4;
}
.empty-text {
  font-size: 11px;
  color: var(--tx3);
  letter-spacing: 0.04em;
  line-height: 1.8;
}

/* Filter row */
.filters-row {
  display: flex;
  gap: 4px;
  flex-wrap: wrap;
  margin-bottom: 14px;
}

.filter-btn {
  font-family: var(--font);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 3px 10px;
  border: 1px solid var(--border);
  background: transparent;
  color: var(--tx3);
  cursor: pointer;
  transition: all 0.15s;
}
.filter-btn:hover { border-color: var(--border-strong); color: var(--tx2); }
.filter-btn.active {
  border-color: var(--plasma);
  color: var(--plasma);
  background: var(--plasma-dim);
}
.filter-btn.active-miss {
  border-color: var(--danger);
  color: var(--danger);
  background: rgba(255,64,64,0.04);
}

/* Card list */
.card-list {
  display: flex;
  flex-direction: column;
  gap: 6px;
}

/* ============================================================
   Cards
   ============================================================ */
.card {
  border: 1px solid var(--border);
  overflow: hidden;
  transition: border-color 0.2s, box-shadow 0.2s;
  animation: cardIn 0.35s cubic-bezier(0.16,1,0.3,1) backwards;
}
.card:hover { border-color: var(--border-strong); }
.card.expanded {
  border-color: var(--plasma);
  box-shadow: var(--shadow-glow);
}

.card-header {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 10px 14px;
  cursor: pointer;
  user-select: none;
  background: var(--surface);
  transition: background 0.15s;
}
.card-header:hover { background: var(--surface-dim); }

.card-num {
  font-size: 9px;
  letter-spacing: 0.08em;
  color: var(--tx3);
  width: 24px;
  flex-shrink: 0;
  text-align: right;
}

.card-dot {
  width: 6px; height: 6px;
  border-radius: 50%;
  flex-shrink: 0;
}
.card-dot.applied { background: var(--success); box-shadow: 0 0 6px rgba(0,192,96,0.5); }
.card-dot.missed  { background: var(--danger);  box-shadow: 0 0 6px rgba(255,64,64,0.5); }

.card-title {
  font-size: 11px;
  font-weight: 500;
  color: var(--tx1);
  flex: 1;
  letter-spacing: 0.02em;
}

.card-pass {
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--tx3);
  padding: 2px 8px;
  border: 1px solid var(--border);
}

.card-fn {
  font-size: 9px;
  letter-spacing: 0.04em;
  color: var(--plasma-pale);
}

.card-line-ref {
  font-size: 9px;
  color: var(--plasma-mid);
  cursor: pointer;
  text-decoration: underline dotted;
}
.card-line-ref:hover { color: var(--plasma); text-shadow: var(--shadow-glow-sm); }

.card-chevron {
  color: var(--tx3);
  transition: transform 0.25s cubic-bezier(0.16,1,0.3,1), color 0.2s;
  font-size: 10px;
  flex-shrink: 0;
}
.card.expanded .card-chevron { transform: rotate(90deg); color: var(--plasma); }

.card-body {
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.35s cubic-bezier(0.16,1,0.3,1);
}
.card.expanded .card-body { max-height: 2400px; }

.card-content {
  padding: 10px 14px 14px;
  border-top: 1px solid var(--border);
}

.tag-row { display: flex; gap: 4px; flex-wrap: wrap; margin-bottom: 10px; }
.tag {
  font-size: 8px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 2px 8px;
  border: 1px solid var(--border);
  color: var(--tx3);
}

.explanation {
  font-size: 11px;
  line-height: 1.75;
  color: var(--tx2);
  margin-bottom: 10px;
  padding-left: 10px;
  border-left: 2px solid var(--plasma);
}

.code-section { margin-top: 10px; }

.code-label {
  font-size: 8px;
  font-weight: 500;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  margin-bottom: 5px;
}
.code-label.before { color: var(--tx3); }
.code-label.after  { color: var(--success); text-shadow: 0 0 6px rgba(0,192,96,0.3); }

.code-block {
  background: var(--surface);
  border: 1px solid var(--border);
  padding: 10px 14px;
  overflow-x: auto;
  font-family: var(--font);
  font-size: 11px;
  line-height: 1.65;
  color: var(--tx1);
  white-space: pre;
}
.code-block.after-code {
  border-color: rgba(0,192,96,0.2);
  color: var(--success);
}

/* ============================================================
   Monaco editor — direct overrides for elements that ignore theme tokens
   ============================================================ */

/* Current line highlight in the gutter margin */
.monaco-editor .margin-view-overlays .current-line-margin {
  background: rgba(255,255,255,0.03) !important;
  border: none !important;
}
html.light .monaco-editor .margin-view-overlays .current-line-margin {
  background: rgba(0,0,0,0.04) !important;
  border: none !important;
}

/* Text selection */
.monaco-editor .selected-text {
  background: rgba(255,255,255,0.10) !important;
}
.monaco-editor.inactive-selection .selected-text,
.monaco-editor .view-overlays .selected-text {
  background: rgba(255,255,255,0.22) !important;
}
/* Secondary selection occurrences */
.monaco-editor .selectionHighlight {
  background: rgba(255,255,255,0.06) !important;
  border: none !important;
}
html.light .monaco-editor .selected-text {
  background: rgba(0,0,0,0.09) !important;
}
html.light .monaco-editor.inactive-selection .selected-text,
html.light .monaco-editor .view-overlays .selected-text {
  background: rgba(0,0,0,0.05) !important;
}
html.light .monaco-editor .selectionHighlight {
  background: rgba(0,0,0,0.05) !important;
  border: none !important;
}

/* Scrollbar slider */
.monaco-scrollable-element > .scrollbar > .slider {
  background: rgba(255,255,255,0.07) !important;
}
.monaco-scrollable-element > .scrollbar > .slider:hover,
.monaco-scrollable-element > .scrollbar > .slider.active {
  background: rgba(255,255,255,0.14) !important;
}
html.light .monaco-scrollable-element > .scrollbar > .slider {
  background: rgba(0,0,0,0.07) !important;
}
html.light .monaco-scrollable-element > .scrollbar > .slider:hover,
html.light .monaco-scrollable-element > .scrollbar > .slider.active {
  background: rgba(0,0,0,0.14) !important;
}

/* ============================================================
   Monaco editor decoration classes
   ============================================================ */
.asm-selected-bg    { background: rgba(255,45,120,0.10) !important; }
.asm-selected-glyph { background: var(--plasma); width: 3px !important; margin-left: 3px; }

.applied-line-bg    { background: rgba(0,192,96,0.05) !important; }
.missed-line-bg     { background: rgba(255,64,64,0.05) !important; }

.applied-line-glyph { background: var(--success); width: 3px !important; margin-left: 3px; }
.missed-line-glyph  { background: var(--danger);  width: 3px !important; margin-left: 3px; }

/* ============================================================
   Animations
   ============================================================ */
@keyframes fadeIn { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; transform: none; } }
@keyframes cardIn { from { opacity: 0; transform: translateY(10px); } to { opacity: 1; transform: none; } }

/* ============================================================
   Scrollbar
   ============================================================ */
::-webkit-scrollbar { width: 4px; height: 4px; }
::-webkit-scrollbar-track { background: transparent; }
::-webkit-scrollbar-thumb { background: var(--border-strong); }
::-webkit-scrollbar-thumb:hover { background: var(--tx3); }

/* ============================================================
   MOBILE  (≤ 700px) — Full-height single-pane layout
   ============================================================ */
@media (max-width: 700px) {

  /* Nav wraps on mobile — body flex handles remaining height automatically */
  .nav { height: auto; }
  .nav-inner {
    flex-wrap: wrap;
    height: auto;
    padding: 10px 14px;
    gap: 10px;
  }
  .opt-row { order: 2; }
  .nav-right {
    order: 3;
    width: 100%;
    justify-content: flex-end;
    margin-left: 0;
  }
  .compile-label { display: none; }

  /* Editor area fills the entire tab panel height */
  .editor-area {
    display: flex;
    flex-direction: column;
    flex: 1;
    min-height: 0;
    overflow: hidden;
    border-bottom: none;
  }

  /* Active pane fills all available space */
  .editor-pane:not(.collapsed) {
    flex: 1;
    min-height: 0;
  }

  /* Collapsed pane shows only its header — no space for editor */
  .editor-pane.collapsed {
    flex: 0 0 auto;
  }
  .editor-pane.collapsed .editor-container {
    display: none;
  }

  /* Editor container fills the active pane */
  .editor-container {
    flex: 1;
    min-height: 0;
    height: auto;
  }

  .editor-pane {
    border-right: none;
    border-bottom: 1px solid var(--border);
  }

  /* Pane header acts as a panel switcher on mobile */
  .pane-header { cursor: pointer; }
  .pane-header:hover .pane-label-text {
    text-shadow: 0 0 10px var(--plasma-glow);
  }

  /* Show arrow indicator on mobile */
  .pane-arrow {
    display: block;
    margin-left: auto;
    color: var(--tx3);
    font-size: 14px;
    transition: color 0.2s;
  }
  .editor-pane:not(.collapsed) .pane-arrow { color: var(--plasma); }
  .editor-pane.collapsed .pane-arrow { color: var(--tx3); }

  /* Details strip: single-column, no max-height limit */
  .details-strip { max-height: 45vh; }
  .details-body { grid-template-columns: 1fr; }
  .asm-col { border-right: none; border-bottom: 1px solid var(--border); }

  .pane-hint { display: none; }
  .cards-section { padding: 10px 12px 2rem; }
  .card-fn { display: none; }
}

@media (max-width: 480px) {
  .opt-btn { padding: 3px 7px; font-size: 9px; }
  .stat-chip { display: none; }
  .demo-btn { font-size: 9px; padding: 0 10px; }
}