:root {
  --bg: #16161e;
  --panel: #1f2029;
  --panel2: #24252f;
  --border: #34364a;
  --text: #c8cbe0;
  --dim: #7d81a3;
  --accent: #7aa2f7;
  --green: #9ece6a;
  --amber: #e0af68;
  --red: #f7768e;
  --purple: #bb9af7;
  --cyan: #7dcfff;
  --mono: "Cascadia Mono", "Cascadia Code", Consolas, "JetBrains Mono", Menlo, monospace;
}

* { box-sizing: border-box; }

/* code must render exactly as typed: no ≠ / → / >= ligature glyphs
   (Cascadia Code and JetBrains Mono enable them by default; !important
   because the `font:` shorthand used throughout resets ligatures) */
* { font-variant-ligatures: none !important; }

[hidden] { display: none !important; }

html, body {
  height: 100%;
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 14px/1.45 "Segoe UI", system-ui, sans-serif;
}

body { display: flex; flex-direction: column; }

/* Dark is the original workspace. The alternate light palette keeps the same
   semantic colors while using the requested green canvas. */
body.light-theme {
  --bg: #E3EDCD;
  --panel: #f7f9f0;
  --panel2: #ffffff;
  --border: #b6c7a4;
  --text: #263329;
  --dim: #65735f;
  --accent: #3e6b57;
  --green: #4d7b3d;
  --amber: #986514;
  --red: #b34848;
  --purple: #71508b;
  --cyan: #236f73;
}

body:not(.light-theme) button.primary,
body:not(.light-theme) .mode-btn.active { color: #101019; }
body:not(.light-theme) #problemIndexPanel { background: rgba(10, 10, 16, .72); }
body:not(.light-theme) .problem-index-dialog { box-shadow: 0 20px 70px rgba(0, 0, 0, .48); }
body:not(.light-theme) .problem-results { background: #191a22; }
body:not(.light-theme) .problem-row { border-bottom-color: rgba(52, 54, 74, .72); }
body:not(.light-theme) .problem-row:hover { background: rgba(122, 162, 247, .08); }
body:not(.light-theme) .problem-row.selected { background: rgba(122, 162, 247, .16); }
body:not(.light-theme) .topic-tag { border-color: rgba(125, 207, 255, .3); }
body:not(.light-theme) #activeProblem { background: rgba(125, 207, 255, .06); }
body:not(.light-theme) #banner.err, body:not(.light-theme) #diagPanel { background: #3b1e2a; }
body:not(.light-theme) #banner.warn { background: #38301e; }
body:not(.light-theme) #banner.info { background: #1e2a3b; }
body:not(.light-theme) #watchBar { background: #181923; }
body:not(.light-theme) #consolePane { background: #14141b; }
body:not(.light-theme) .rec-tree-node { border-color: #3d4261; }
body:not(.light-theme) .rec-tree-body { border-top-color: rgba(61, 66, 97, .8); }
body:not(.light-theme) .rec-tree-node.rec-tree-stacked { background: #2a2440; }
body:not(.light-theme) .rec-tree-edge { stroke: #4a4f6e; }
body:not(.light-theme) .frame, body:not(.light-theme) .obj { box-shadow: 0 2px 8px rgba(0, 0, 0, .35); }
body:not(.light-theme) .frame { border-color: #3d4261; }
body:not(.light-theme) .frame.cur, body:not(.light-theme) .obj.graph-focus { box-shadow: 0 0 0 1px var(--accent), 0 2px 10px rgba(0, 0, 0, .4); }
body:not(.light-theme) .frame-head, body:not(.light-theme) .obj-head { background: rgba(255, 255, 255, .03); }
body:not(.light-theme) ::-webkit-scrollbar-thumb { background: #3a3d52; }
body:not(.light-theme) .code-line.harness .ln { color: #565a75; }

/* ---------- header ---------- */
header {
  min-height: 50px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 8px 16px;
  background: var(--panel);
  border-bottom: 1px solid var(--border);
  flex: 0 0 auto;
}
.brand { font-size: 17px; font-weight: 700; letter-spacing: .3px; }
.brand span { color: var(--accent); }
.brand small { margin-left: 10px; font-weight: 400; color: var(--dim); font-size: 12px; }
.toolbar { display: flex; align-items: center; gap: 8px; }
.toolbar-divider { width: 1px; height: 20px; background: var(--border); margin: 0 2px; }
.dim { color: var(--dim); font-size: 12px; }

button, select {
  background: var(--panel2);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 5px 10px;
  font-size: 13px;
  cursor: pointer;
}
button:hover, select:hover { border-color: var(--accent); }
button:disabled { opacity: .4; cursor: default; }
button.primary {
  background: var(--accent);
  border-color: var(--accent);
  color: #ffffff;
  font-weight: 600;
}
button.primary:hover { filter: brightness(1.1); }
.icon-btn { width: 28px; height: 28px; padding: 0; font: 600 15px/1 var(--mono); }

/* ---------- LeetCode catalog ---------- */
#problemIndexPanel {
  position: fixed;
  inset: 0;
  z-index: 10;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 30px;
  background: rgba(38, 51, 41, .42);
}
.problem-index-dialog {
  width: min(920px, 100%);
  height: min(760px, 100%);
  display: flex;
  flex-direction: column;
  min-height: 0;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  box-shadow: 0 20px 70px rgba(38, 51, 41, .28);
}
.problem-index-head {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  padding: 16px 18px 12px;
  border-bottom: 1px solid var(--border);
}
.problem-index-head .pane-title { margin-bottom: 1px; }
.problem-index-head h2 { margin: 0; font-size: 17px; font-weight: 650; }
.problem-index-tools {
  display: flex;
  gap: 8px;
  padding: 12px 18px 8px;
}
.problem-index-tools input {
  flex: 1;
  min-width: 0;
  background: var(--bg);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 6px 10px;
  outline: none;
  font: 13px var(--mono);
}
.problem-index-tools input:focus { border-color: var(--accent); }
.catalog-summary {
  min-height: 28px;
  padding: 5px 18px 9px;
  color: var(--dim);
  font: 12px var(--mono);
}
.problem-results {
  flex: 1;
  overflow: auto;
  border-top: 1px solid var(--border);
  background: #edf3df;
}
.problem-row {
  width: 100%;
  min-height: 39px;
  display: grid;
  grid-template-columns: 68px auto minmax(0, 1fr) minmax(180px, 44%);
  align-items: center;
  gap: 12px;
  padding: 7px 18px;
  border: 0;
  border-bottom: 1px solid rgba(116, 139, 102, .32);
  border-radius: 0;
  background: transparent;
  color: var(--text);
  text-align: left;
}
.problem-row:hover { background: rgba(62, 107, 87, .08); }
.problem-row.selected { background: rgba(62, 107, 87, .14); box-shadow: inset 3px 0 0 var(--accent); }
.problem-number { color: var(--dim); font: 12px var(--mono); }
.problem-title { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.problem-meta { display: flex; align-items: center; justify-content: flex-end; flex-wrap: wrap; gap: 5px; font-size: 12px; }
.difficulty { display: inline-flex; width: 52px; justify-content: center; }
.difficulty.d1 { color: var(--green); }
.difficulty.d2 { color: var(--amber); }
.difficulty.d3 { color: var(--red); }
.premium { color: var(--purple); }
.topic-tag { color: var(--cyan); border: 1px solid rgba(35, 111, 115, .3); border-radius: 4px; padding: 1px 5px; white-space: nowrap; }
#activeProblem {
  display: flex;
  align-items: center;
  gap: 9px;
  min-height: 32px;
  padding: 5px 9px 5px 12px;
  border: 1px solid var(--border);
  border-left: 3px solid var(--cyan);
  background: rgba(35, 111, 115, .06);
  font: 12px var(--mono);
}
#activeProblemLabel { color: var(--cyan); }
#activeProblemLink { color: var(--accent); text-decoration: none; }
#activeProblemLink:hover { text-decoration: underline; }
#clearProblemBtn { margin-left: auto; }
#problemIndexBtn { max-width: 265px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

/* ---------- banner ---------- */
#banner {
  padding: 7px 16px;
  font-size: 13px;
  border-bottom: 1px solid var(--border);
  white-space: pre-wrap;
}
#banner.err { background: #f7e5e5; color: var(--red); }
#banner.warn { background: #f8f0df; color: var(--amber); }
#banner.info { background: #e2f0ef; color: var(--cyan); }

/* ---------- auth / groups / admin ---------- */
#authView { flex: 1; display: flex; align-items: center; justify-content: center; }
.auth-card {
  width: min(360px, 92vw);
  display: flex;
  flex-direction: column;
  gap: 10px;
  padding: 26px 28px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
}
.auth-card h2 { margin: 4px 0 0; font-size: 18px; }
.auth-card p { margin: 0; }
.auth-card label { display: flex; flex-direction: column; gap: 4px; font-size: 12px; color: var(--dim); }
.auth-card input {
  background: var(--bg);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 8px 10px;
  font: 13px var(--mono);
  outline: none;
}
.auth-card input:focus { border-color: var(--accent); }
.auth-error { color: var(--red); font-size: 12.5px; white-space: pre-wrap; }
.auth-foot { font-size: 11.5px; }
.user-chip { color: var(--cyan); font: 12px var(--mono); padding: 0 2px; }

#sideMenu {
  position: fixed;
  z-index: 7;
  top: 50px;
  bottom: 0;
  left: 0;
  width: 212px;
  overflow-y: auto;
  display: flex;
  flex-direction: column;
  gap: 18px;
  padding: 14px 10px;
  background: var(--panel);
  border-right: 1px solid var(--border);
}
.side-menu-section { display: flex; flex-direction: column; gap: 3px; }
.side-menu-item, .side-group-topic {
  width: 100%;
  border: 0;
  border-radius: 4px;
  background: transparent;
  color: var(--text);
  text-align: left;
}
.side-menu-item { min-height: 34px; padding: 8px 10px; font-weight: 600; }
.side-menu-item:hover, .side-group-topic:hover { background: var(--panel2); }
.side-menu-item.active, .side-group-topic.active {
  background: var(--panel2);
  box-shadow: inset 3px 0 0 var(--accent);
  color: var(--accent);
}
.side-menu-label {
  margin: 0 10px 4px;
  color: var(--dim);
  font: 11px var(--mono);
  text-transform: uppercase;
  letter-spacing: .4px;
}
.side-group-topics { display: flex; flex-direction: column; gap: 3px; margin-top: 5px; }
.side-group-topic {
  padding: 7px 10px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  font-size: 12.5px;
}
.side-menu-empty { padding: 5px 10px; color: var(--dim); font-size: 12px; }
.side-menu-footer { margin-top: auto; padding-top: 10px; border-top: 1px solid var(--border); }
body.has-side-menu > #groupsView,
body.has-side-menu > #groupView,
body.has-side-menu > #adminView,
body.has-side-menu > #editView,
body.has-side-menu > #vizView {
  width: calc(100% - 212px);
  margin-left: 212px;
}
body.has-side-menu #banner { padding-left: 230px; }
body.has-side-menu #editorBtn,
body.has-side-menu #groupsBtn,
body.has-side-menu #adminBtn { display: none !important; }

.page-wrap {
  flex: 1;
  overflow: auto;
  width: min(980px, 100%);
  margin: 0 auto;
  padding: 24px 28px 44px;
  display: flex;
  flex-direction: column;
  gap: 14px;
}
.page-head { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; }
.page-head h2 { margin: 0; font-size: 19px; }
.page-kicker { color: var(--dim); font: 10.5px var(--mono); text-transform: uppercase; letter-spacing: .4px; }
.group-page-head { align-items: flex-end; padding-bottom: 14px; border-bottom: 1px solid var(--border); }
.group-page-context { display: flex; flex-direction: column; gap: 3px; min-width: 0; }
.group-title-row { display: flex; align-items: baseline; gap: 10px; min-width: 0; }
.group-title-row h2 { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.group-page-actions { display: flex; gap: 8px; }
.group-invite-out {
  padding: 9px 11px;
  border-left: 3px solid var(--green);
  background: var(--panel);
  color: var(--green);
  font: 12px var(--mono);
  overflow-wrap: anywhere;
}
.spacer { flex: 1; }
.inline-form { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.inline-form input {
  flex: 0 1 320px;
  background: var(--bg);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 7px 10px;
  font: 13px var(--mono);
  outline: none;
}
.inline-form input:focus { border-color: var(--accent); }

#scheduleSection {
  display: flex;
  flex-direction: column;
  gap: 9px;
  padding: 2px 0 14px;
  border-bottom: 1px solid var(--border);
}
.schedule-head { display: flex; align-items: baseline; gap: 10px; }
.schedule-head h3 { margin: 2px 0 0; font-size: 15px; }
.schedule-create { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.schedule-create input {
  min-height: 34px;
  box-sizing: border-box;
  background: var(--bg);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 6px 9px;
  font: 12px var(--mono);
  outline: none;
}
#scheduleNoteTitle { flex: 1 1 260px; }
#scheduleNoteDate { flex: 0 0 142px; }
.schedule-create input:focus { border-color: var(--accent); }
.schedule-list {
  display: flex;
  align-items: stretch;
  gap: 10px;
  min-height: 32px;
  overflow-x: auto;
  padding: 2px 2px 8px 0;
}
.schedule-note {
  position: relative;
  flex: 0 0 148px;
  aspect-ratio: 1;
  box-sizing: border-box;
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 8px;
  padding: 12px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-top: 3px solid var(--green);
  border-radius: 4px;
}
.schedule-date { color: var(--green); font: 11px var(--mono); white-space: nowrap; }
.schedule-note-title {
  display: -webkit-box;
  overflow: hidden;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 3;
  font-size: 13px;
  line-height: 1.35;
}
.schedule-note-author {
  max-width: 100%;
  margin-top: auto;
  overflow: hidden;
  color: var(--dim);
  font-size: 11px;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.schedule-note .icon-btn { position: absolute; top: 6px; right: 6px; width: 24px; height: 24px; }

#groupsList { display: flex; flex-direction: column; gap: 8px; }
.group-row {
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 10px 14px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
}
.group-row .group-name { font-weight: 600; }
.group-row .dim { font-size: 11.5px; }

#questionFilters { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
#questionList { display: flex; flex-direction: column; gap: 8px; }
.question-row {
  display: flex;
  align-items: center;
  gap: 9px;
  flex-wrap: wrap;
  padding: 9px 13px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
}
.question-row .q-num { color: var(--dim); font: 12px var(--mono); }
.question-row .q-title { font-weight: 600; }
.question-row .q-blank { color: var(--purple); font-size: 11px; border: 1px solid var(--purple); border-radius: 4px; padding: 0 5px; }
.date-tag {
  color: var(--amber);
  border: 1px solid rgba(224, 175, 104, .45);
  border-radius: 4px;
  padding: 1px 6px;
  font: 11px var(--mono);
  white-space: nowrap;
}
.q-actions { margin-left: auto; display: flex; gap: 6px; }

#reviewSection {
  padding: 10px 14px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-left: 3px solid var(--amber);
  border-radius: 8px;
}
.review-bucket { display: flex; align-items: baseline; gap: 8px; flex-wrap: wrap; margin: 6px 0; }
.review-bucket .rb-label { color: var(--amber); font: 12px var(--mono); min-width: 92px; }
.review-q {
  background: transparent;
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 1px 8px;
  font-size: 12px;
  color: var(--text);
  cursor: pointer;
}
.review-q:hover { border-color: var(--amber); }

.admin-table { border-collapse: collapse; width: 100%; font-size: 13px; }
.admin-table th, .admin-table td {
  text-align: left;
  padding: 7px 10px;
  border-bottom: 1px solid var(--border);
}
.admin-table th { color: var(--dim); font-weight: 600; font-size: 11.5px; text-transform: uppercase; letter-spacing: .5px; }
.frozen-tag { color: var(--red); }
.token-out { font: 12px var(--mono); color: var(--green); word-break: break-all; }

#groupQuestionBar {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(220px, 300px) auto;
  align-items: center;
  gap: 16px;
  padding: 10px 12px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-left: 3px solid var(--green);
  border-radius: 6px;
}
.group-question-title { display: flex; flex-direction: column; gap: 2px; min-width: 0; }
#gqLabel { overflow: hidden; color: var(--green); font: 12.5px var(--mono); text-overflow: ellipsis; white-space: nowrap; }
.snapshot-picker { display: grid; grid-template-columns: auto minmax(0, 1fr); align-items: center; gap: 8px; }
.snapshot-picker-label { color: var(--dim); font-size: 11px; white-space: nowrap; }
#snapshotUserSelect {
  width: 100%;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  font: 12px var(--mono);
}
.group-question-actions { display: flex; gap: 8px; white-space: nowrap; }

/* ---------- edit view ---------- */
#editView { flex: 1; display: flex; min-height: 0; }
.edit-wrap { flex: 1; display: flex; flex-direction: column; padding: 18px 20px; gap: 12px; min-height: 0; }
#modeBar { display: flex; align-items: center; gap: 8px; min-height: 34px; }
.mode-btn { border-radius: 14px; padding: 4px 14px; }
.mode-btn.active {
  background: var(--accent);
  border-color: var(--accent);
  color: #ffffff;
  font-weight: 600;
}
#langBar {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-left: 10px;
  padding-left: 14px;
  border-left: 1px solid var(--border);
}
.lang-btn.active {
  background: var(--green);
  border-color: var(--green);
}
#modeHint { margin-left: 6px; }
#lcInputWrap { display: flex; flex-direction: column; gap: 4px; flex: 0 0 auto; }
#lcInput {
  height: 84px;
  resize: vertical;
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 8px 12px;
  font: 13px/1.5 var(--mono);
  outline: none;
}
#lcInput:focus { border-color: var(--accent); }
#codeInput {
  flex: 1;
  resize: none;
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 14px 16px;
  font: 13.5px/1.5 var(--mono);
  outline: none;
  tab-size: 4;
}
#codeInput:focus { border-color: var(--accent); }
#diagPanel {
  max-height: 30%;
  overflow: auto;
  background: #f7e5e5;
  border: 1px solid var(--red);
  border-radius: 8px;
  padding: 10px 14px;
  font: 12.5px/1.6 var(--mono);
  color: var(--red);
  white-space: pre-wrap;
}

/* ---------- viz view ---------- */
#vizView { flex: 1; display: flex; min-height: 0; }
#leftPane {
  width: 42%;
  min-width: 340px;
  max-width: 600px;
  display: flex;
  flex-direction: column;
  border-right: 1px solid var(--border);
  min-height: 0;
}
#rightPane { flex: 1; display: flex; flex-direction: column; min-width: 0; min-height: 0; }

/* code pane */
#codePane {
  flex: 1;
  overflow: auto;
  padding: 10px 0;
  font: 13px/1.55 var(--mono);
  background: var(--panel);
}
.code-line { display: flex; white-space: pre; padding: 0 10px 0 0; border-left: 3px solid transparent; align-items: center; }
.code-line .bd {
  width: 40px;
  flex: 0 0 auto;
  display: flex;
  gap: 2px;
  align-items: center;
  justify-content: flex-end;
  user-select: none;
}
.code-line .ln {
  width: 36px;
  flex: 0 0 auto;
  text-align: right;
  padding-right: 12px;
  color: var(--dim);
  user-select: none;
}
.code-line.cur-line {
  background: rgba(122, 162, 247, .16);
  border-left-color: var(--accent);
}
.code-line.cur-line .ln { color: var(--accent); font-weight: 700; }
.code-line.stack-line {
  background: rgba(187, 154, 247, .08);
  border-left-color: rgba(187, 154, 247, .55);
}
.code-line .ln { cursor: pointer; }
.code-line:hover .ln { color: var(--red); }
.code-line.bp .ln { color: var(--red); font-weight: 700; }
.code-line.bp { border-left-color: var(--red); }
.code-line.flash { animation: lineflash .7s ease-out; }
.code-line.frame-focus {
  background: rgba(125, 207, 255, .14);
  border-left-color: var(--cyan);
}
.code-line.exception-line {
  background: rgba(247, 118, 142, .16);
  border-left-color: var(--red);
}
@keyframes lineflash {
  0%, 40% { background: rgba(122, 162, 247, .4); }
}

.tok-kw { color: #bb9af7; font-weight: 600; }
.tok-type { color: #7dcfff; }
.tok-str { color: #9ece6a; }
.tok-num { color: #e0af68; }
.tok-cmt { color: #565f89; font-style: italic; }
.tok-ann { color: #ff9e64; }

/* frame depth chips (code gutter + frame headers) */
.fchip {
  font: 700 9.5px var(--mono);
  line-height: 1;
  padding: 2.5px 4.5px;
  border-radius: 7px;
  color: #101019;
  background: var(--dim);
}
.fchip.fmore { background: #4a4d5a; color: var(--text); }
.frame-head .fchip { font-size: 10px; }

/* minimap: stack depth over time */
#minimapWrap {
  flex: 0 0 auto;
  padding: 6px 12px 2px;
  background: var(--panel2);
  border-top: 1px solid var(--border);
}
#minimap { display: block; width: 100%; height: 26px; cursor: pointer; }

#watchBar {
  display: flex;
  align-items: center;
  gap: 6px;
  padding: 6px 12px;
  background: var(--panel);
  border-top: 1px solid var(--border);
  color: var(--dim);
  font-size: 12px;
}
#watchLabel {
  flex: 1;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  color: var(--amber);
  font: 12px var(--mono);
}
#watchBar button { padding: 3px 8px; }

/* controls */
#controls {
  display: flex;
  align-items: center;
  gap: 6px;
  padding: 8px 12px;
  background: var(--panel2);
  border-top: 1px solid var(--border);
  flex-wrap: wrap;
}
#controls button { padding: 3px 9px; }
#stepLabel { min-width: 70px; text-align: center; font: 12px var(--mono); color: var(--cyan); }
#stepSlider { flex: 1; min-width: 90px; accent-color: var(--accent); }

/* console */
#consolePane {
  height: 130px;
  flex: 0 0 auto;
  border-top: 1px solid var(--border);
  background: var(--panel);
  overflow: auto;
  padding: 6px 12px;
}
.pane-title { font-size: 11px; text-transform: uppercase; letter-spacing: 1px; color: var(--dim); margin-bottom: 4px; }
#stdoutPre, #stderrPre { margin: 0; font: 12.5px/1.5 var(--mono); white-space: pre-wrap; word-break: break-all; }
#stderrPre.stderr { color: var(--red); }

/* legend */
.legend {
  display: flex;
  gap: 18px;
  padding: 6px 16px;
  font-size: 11.5px;
  color: var(--dim);
  border-bottom: 1px solid var(--border);
  background: var(--panel);
  flex: 0 0 auto;
}
.legend span { display: flex; align-items: center; gap: 5px; }
.lg { display: inline-block; width: 12px; height: 12px; border-radius: 3px; }
.lg-curline { background: rgba(122, 162, 247, .35); border: 1px solid var(--accent); }
.lg-new { border: 2px solid var(--green); }
.lg-chg { background: rgba(224, 175, 104, .45); }
.lg-arrow { color: var(--accent); }

#graphTools {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 7px 16px;
  background: var(--panel2);
  border-bottom: 1px solid var(--border);
  color: var(--dim);
  font-size: 12px;
  flex: 0 0 auto;
}
#graphTools input[type="search"] {
  width: 190px;
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 4px 8px;
  font: 12px "Segoe UI", system-ui, sans-serif;
  outline: none;
}
#graphTools input[type="search"]:focus { border-color: var(--accent); }
#graphTools label { display: flex; align-items: center; gap: 5px; white-space: nowrap; }
#graphTools input[type="checkbox"] { accent-color: var(--accent); }
#filterCount { margin-left: auto; color: var(--dim); font: 11.5px var(--mono); }
#zoomTools { display: flex; align-items: center; gap: 3px; margin-left: 2px; }
#zoomTools button {
  width: 25px;
  height: 24px;
  min-width: 25px;
  padding: 0;
  font: 16px/1 var(--mono);
}
#zoomTools #btnZoomFit { font-size: 15px; }
#zoomReadout { width: 37px; text-align: right; color: var(--dim); font: 11px var(--mono); }

/* graph canvas */
#vizContainer { flex: 1; overflow: auto; min-height: 0; display: flex; }
#vizContainer.graph-pannable { cursor: grab; }
#vizContainer.graph-panning { cursor: grabbing; user-select: none; }
#vizContainer.graph-panning * { cursor: grabbing !important; }
#canvas {
  position: relative;
  display: flex;
  align-items: flex-start;
  gap: 56px;
  padding: 26px 40px 60px 26px;
  min-width: max-content;
  min-height: max-content;
  margin: auto;   /* centers a graph smaller than the viewport; collapses to 0 on overflow */
}
#arrowSvg {
  position: absolute;
  top: 0; left: 0;
  pointer-events: none;
  z-index: 5;
  overflow: visible;
}
#stackCol { display: flex; flex-direction: column; gap: 16px; flex: 0 0 auto; }
#heapCols { display: flex; gap: 56px; align-items: flex-start; }
.heap-col { display: flex; flex-direction: column; gap: 18px; }

/* recursion tree inside the stack column */
.rec-stack-tree {
  position: relative;
  min-width: max-content;
  min-height: max-content;
}
.rec-stack-svg { position: absolute; inset: 0; overflow: visible; pointer-events: none; z-index: 0; }
.rec-tree-node {
  position: absolute;
  z-index: 1;
  background: var(--panel2);
  border: 1px solid var(--border);
  border-radius: 6px;
  font: 11px/1.3 var(--mono);
  text-align: left;
  cursor: pointer;
  box-sizing: border-box;
  overflow: hidden;
}
.rec-tree-node:hover { border-color: var(--cyan); }
.rec-tree-call { padding: 4px 6px; color: var(--text); text-align: center; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.rec-tree-body { border-top: 1px solid var(--border); padding: 2px 6px; }
.rec-tree-row { height: 18px; display: flex; align-items: center; justify-content: space-between; gap: 8px; }
.rec-tree-name { color: var(--cyan); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.rec-tree-value, .rec-tree-status { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.rec-tree-status { color: var(--green); }
.rec-tree-status-row .rec-tree-name { color: var(--dim); }
.val.refsrc.rec-tree-ref { cursor: default; }
.rec-tree-node.rec-tree-used { opacity: .34; filter: grayscale(.55); }
.rec-tree-node.rec-tree-used.rec-tree-base { opacity: .58; }
.rec-tree-node.rec-tree-stacked { border-color: var(--purple); background: #f1eaf4; }
.rec-tree-edge { stroke: #82967a; stroke-width: 1.4; fill: none; }
.rec-tree-edge.rec-tree-edge-used { opacity: .28; }
.rec-tree-edge.rec-tree-edge-stacked { stroke: var(--purple); }
.rec-tree-edge.rec-tree-edge-current { stroke: var(--accent); stroke-width: 2; }
.frame.rec-tree-current {
  position: absolute;
  z-index: 2;
  box-sizing: border-box;
  border-color: var(--accent);
}
.frame.rec-tree-caller { border-color: var(--purple); }
.rec-tree-current-call { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

/* arrows */
.arrow { fill: none; stroke: var(--accent); stroke-width: 1.7; opacity: .85; }
.arrow.chgArrow { stroke: #ff9e64; stroke-width: 2.2; opacity: 1; }
.arrow.stable-dim { opacity: .18; }
#arrowSvg.relation-highlight-active .arrow:not(.selected-arrow) { opacity: .16; }
#arrowSvg.relation-highlight-active .arrow.selected-arrow {
  stroke: var(--cyan);
  opacity: 1;
  filter: drop-shadow(0 0 2px rgba(125, 207, 255, .75));
}

/* boxes */
.frame, .obj {
  background: var(--panel2);
  border: 1px solid var(--border);
  border-radius: 8px;
  font: 12.5px var(--mono);
  min-width: 90px;
  box-shadow: 0 2px 8px rgba(38, 51, 41, .16);
}
.frame { border-color: var(--border); }
.frame.cur { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent), 0 2px 10px rgba(38, 51, 41, .2); }
.frame.relation-selected { border-color: var(--cyan); }
.obj.graph-focus { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent), 0 2px 10px rgba(38, 51, 41, .2); }
.frame.relation-selected .frame-head {
  background: rgba(125, 207, 255, .14);
  box-shadow: inset 3px 0 0 var(--cyan);
}
.frame.recursive-frame { position: relative; }
.recursion-outlet {
  position: absolute;
  left: 50%;
  bottom: -1px;
  width: 2px;
  height: 2px;
  transform: translateX(-50%);
}
.frame-head, .obj-head {
  display: flex;
  align-items: baseline;
  gap: 8px;
  padding: 4px 10px;
  border-bottom: 1px solid var(--border);
  border-radius: 8px 8px 0 0;
  background: rgba(62, 107, 87, .05);
}
.frame-head { color: var(--purple); font-weight: 700; cursor: pointer; }
.frame-head .fline { color: var(--dim); font-weight: 400; font-size: 11px; margin-left: auto; }
.fchip.relation-selected { box-shadow: 0 0 0 2px var(--cyan); }
.code-line .fchip { cursor: pointer; }
.obj-head { border-left: 3px solid var(--accent); }
.obj-type { font-weight: 700; }
.obj-id { color: var(--dim); font-size: 10.5px; margin-left: auto; }
.ptr-tags { display: flex; align-items: center; gap: 3px; min-width: 0; overflow: hidden; }
.ptr-tag {
  max-width: 74px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  padding: 1px 4px;
  border: 1px solid rgba(122, 162, 247, .42);
  border-radius: 3px;
  color: var(--cyan);
  background: rgba(122, 162, 247, .09);
  font-size: 10px;
  font-weight: 400;
}
.obj.new { border-color: var(--green); animation: newpop .7s ease-out; }
@keyframes newpop {
  0% { box-shadow: 0 0 0 4px rgba(158, 206, 106, .55); opacity: 0; transform: scale(.85); }
  55% { opacity: 1; transform: scale(1); }
  100% { box-shadow: 0 0 0 0 rgba(158, 206, 106, 0); }
}

/* box enters (new frames / statics) */
.enter { animation: boxin .32s ease-out; }
@keyframes boxin {
  from { opacity: 0; transform: scale(.85); }
}

/* ghosts of removed boxes (popped frames, dead objects) fade out in place */
.ghost {
  position: absolute;
  margin: 0;
  z-index: 4;
  pointer-events: none;
  opacity: .9;
  transition: opacity .28s ease, transform .28s ease;
}
.ghost.fading { opacity: 0; transform: scale(.88); }

.frame { cursor: pointer; }
.frame.filtered-dim, .obj.filtered-dim { opacity: .22; filter: grayscale(.35); }
.frame.stable-dim, .obj.stable-dim { opacity: .32; }
.frame.search-hit, .obj.search-hit { outline: 1px solid var(--cyan); outline-offset: 3px; }
.val.watchable { cursor: pointer; border-radius: 3px; }
.val.watchable:hover { box-shadow: 0 0 0 1px var(--cyan); }
.val.watched { box-shadow: 0 0 0 1px var(--amber), 0 0 0 3px rgba(224, 175, 104, .16); }
.exception-chip {
  margin-left: 8px;
  color: var(--red);
  font-size: 11px;
  font-weight: 700;
}

/* object alive but not yet stored in any variable (operand stack) */
.obj.pending { border-style: dashed; opacity: .8; }

/* tidy tree layout for TreeNode-style structures */
.tree-block { position: relative; flex: 0 0 auto; }
.tree-block > .obj { position: absolute; margin: 0; }

.stack-title {
  font: 11px "Segoe UI", sans-serif;
  text-transform: uppercase;
  letter-spacing: 1.2px;
  color: var(--dim);
  padding-bottom: 2px;
}

table.fields { border-collapse: collapse; width: 100%; }
table.fields td { padding: 2.5px 10px; vertical-align: middle; }
td.fname { color: var(--cyan); padding-right: 4px; white-space: nowrap; }
td.fval { text-align: right; white-space: nowrap; }
.elided-note { padding: 3px 10px; color: var(--dim); font-size: 11px; }

/* value styles */
.val.prim { color: var(--amber); }
.val.str { color: var(--green); }
.val.null { color: var(--dim); font-style: italic; }
.val.refsrc {
  color: var(--accent);
  display: inline-block;
  width: 14px;
  text-align: center;
  font-size: 13px;
}
.val.refsrc.relation-selected {
  color: var(--cyan);
  background: rgba(125, 207, 255, .15);
  box-shadow: 0 0 0 1px var(--cyan);
}
.val.dangling { color: var(--dim); }
.val.chg { background: rgba(224, 175, 104, .35); border-radius: 3px; padding: 0 3px; }

/* arrays / lists */
.cells { display: flex; padding: 7px 10px; gap: 0; }
.cell { display: flex; flex-direction: column; align-items: center; min-width: 26px; }
.cell .idx { font-size: 9.5px; color: var(--dim); padding-bottom: 1px; }
.cell .cv {
  border: 1px solid var(--border);
  padding: 2px 7px;
  min-width: 26px;
  text-align: center;
  margin-left: -1px;
  background: var(--panel);
}
.cell:first-child .cv { border-radius: 4px 0 0 4px; margin-left: 0; }
.cell:last-child .cv { border-radius: 0 4px 4px 0; }
.cell:only-child .cv { border-radius: 4px; }
.list-note { padding: 0 10px 6px; color: var(--dim); font-size: 10.5px; }
.empty-note { padding: 6px 10px; color: var(--dim); font-style: italic; }

/* 2D grid */
table.grid { border-collapse: collapse; margin: 8px 10px; }
table.grid td {
  border: 1px solid var(--border);
  padding: 2px 8px;
  text-align: center;
  min-width: 30px;
  background: var(--panel);
}
table.grid td.gidx { border: none; background: none; color: var(--dim); font-size: 9.5px; padding: 1px 5px; }

/* string builder content */
.sb-content { padding: 7px 12px; color: var(--green); }

.opaque-note { padding: 6px 12px; color: var(--dim); font-style: italic; font-size: 11.5px; }

/* scrollbars */
::-webkit-scrollbar { width: 10px; height: 10px; }
::-webkit-scrollbar-thumb { background: #91a982; border-radius: 5px; }
::-webkit-scrollbar-track { background: transparent; }

/* ---------- CodeMirror editor (vendored; falls back to the plain textarea) ---------- */
#cmWrap { flex: 1; position: relative; display: flex; min-height: 0; }
#cmWrap textarea { flex: 1; }
#cmWrap .CodeMirror {
  position: absolute;
  inset: 0;
  height: 100%;
  background: var(--panel);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 8px;
  font: 13.5px/1.5 var(--mono);
}
#cmWrap .CodeMirror-focused { border-color: var(--accent); }
.CodeMirror-gutters { background: var(--panel2); border-right: 1px solid var(--border); }
.CodeMirror-linenumber { color: var(--dim); }
.CodeMirror-cursor { border-left: 2px solid var(--accent); }
.CodeMirror-selected { background: rgba(122, 162, 247, .22) !important; }
.cm-s-default .cm-keyword { color: var(--purple); }
.cm-s-default .cm-string, .cm-s-default .cm-string-2 { color: var(--green); }
.cm-s-default .cm-number { color: var(--amber); }
.cm-s-default .cm-atom { color: var(--amber); }
.cm-s-default .cm-comment { color: var(--dim); font-style: italic; }
.cm-s-default .cm-def { color: var(--cyan); }
.cm-s-default .cm-variable { color: var(--text); }
.cm-s-default .cm-variable-2, .cm-s-default .cm-variable-3, .cm-s-default .cm-type { color: var(--cyan); }
.cm-s-default .cm-builtin { color: var(--cyan); }
.cm-s-default .cm-meta { color: var(--purple); }
.cm-s-default .cm-operator { color: var(--text); }
.cm-s-default .cm-bracket { color: var(--text); }
div.CodeMirror span.CodeMirror-matchingbracket { color: var(--green); outline: 1px solid rgba(158, 206, 106, .6); }

/* ---------- generated-harness view ---------- */
.code-line.harness { opacity: .55; }
.code-line.harness .ln { color: #71806b; cursor: default; }
#harnessNote {
  flex: 0 0 auto;
  padding: 5px 14px;
  font-size: 11.5px;
  color: var(--amber);
  background: rgba(224, 175, 104, .08);
  border-top: 1px dashed var(--border);
  cursor: pointer;
  user-select: none;
}
#harnessNote:hover { color: var(--text); }
#btnHarness.active { border-color: var(--amber); color: var(--amber); }

/* ---------- pinned objects ---------- */
.obj .obj-head { cursor: pointer; }
.obj.pinned { outline: 2px solid var(--cyan); outline-offset: 2px; }
.obj.pinned .obj-id::after { content: ' 📌'; font-size: 9px; }