:root {
  --bg-primary: #060911;
  --bg-secondary: #0b1120;
  --bg-tertiary: #111a2e;
  --bg-card: rgba(15, 23, 42, 0.75);
  --border-color: #1e293b;
  --border-active: #06b6d4;
  --text-primary: #f8fafc;
  --text-secondary: #94a3b8;
  --text-muted: #64748b;
  --accent-cyan: #06b6d4;
  --accent-emerald: #10b981;
  --accent-amber: #f59e0b;
  --accent-rose: #f43f5e;
  --accent-violet: #8b5cf6;
  --font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  --font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

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

html, body {
  background-color: var(--bg-primary);
  color: var(--text-primary);
  font-family: var(--font-sans);
  line-height: 1.5;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  -webkit-print-color-adjust: exact;
  print-color-adjust: exact;
}

@media print {
  * {
    -webkit-print-color-adjust: exact !important;
    print-color-adjust: exact !important;
    color-adjust: exact !important;
  }
  html, body {
    background-color: #060911 !important;
    color: #f8fafc !important;
  }
}

/* Header */
header {
  background: rgba(11, 17, 32, 0.95);
  backdrop-filter: blur(12px);
  border-bottom: 1px solid var(--border-color);
  padding: 0.75rem 1.5rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  position: sticky;
  top: 0;
  z-index: 50;
}

.brand {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  text-decoration: none;
}

.brand-icon {
  width: 34px;
  height: 34px;
  background: linear-gradient(135deg, var(--accent-cyan), var(--accent-emerald));
  border-radius: 8px;
  display: flex;
  align-items: center;
  justify-content: center;
  font-size: 1.25rem;
  box-shadow: 0 0 15px rgba(6, 182, 212, 0.4);
}

.brand-title {
  font-size: 1.2rem;
  font-weight: 800;
  letter-spacing: -0.5px;
  background: linear-gradient(90deg, #ffffff, #94a3b8);
  -webkit-background-clip: text;
  -webkit-text-fill-color: transparent;
}

.brand-tagline {
  font-size: 0.7rem;
  color: var(--accent-cyan);
  font-family: var(--font-mono);
  background: rgba(6, 182, 212, 0.1);
  padding: 2px 8px;
  border-radius: 9999px;
  border: 1px solid rgba(6, 182, 212, 0.2);
}

.search-section {
  display: flex;
  flex-direction: column;
  gap: 4px;
  flex: 1;
  max-width: 580px;
}

.repo-input-bar {
  display: flex;
  align-items: center;
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 3px 6px;
  transition: border-color 0.2s;
}

.repo-input-bar:focus-within {
  border-color: var(--accent-cyan);
  box-shadow: 0 0 10px rgba(6, 182, 212, 0.2);
}

.repo-prefix {
  font-family: var(--font-mono);
  color: var(--text-muted);
  font-size: 0.8rem;
  padding-left: 8px;
}

.repo-input {
  background: transparent;
  border: none;
  color: #fff;
  font-family: var(--font-mono);
  font-size: 0.85rem;
  flex: 1;
  padding: 6px 8px;
  outline: none;
}

.btn-xray {
  background: linear-gradient(135deg, var(--accent-cyan), #0284c7);
  color: #fff;
  border: none;
  border-radius: 6px;
  padding: 6px 14px;
  font-size: 0.85rem;
  font-weight: 700;
  cursor: pointer;
  transition: all 0.2s;
}

.btn-xray:hover {
  filter: brightness(1.2);
  box-shadow: 0 0 12px rgba(6, 182, 212, 0.5);
}

.quick-chips {
  display: flex;
  align-items: center;
  gap: 6px;
  font-size: 0.72rem;
  color: var(--text-muted);
  overflow-x: auto;
  padding-bottom: 2px;
}

.chip-btn {
  background: rgba(255, 255, 255, 0.04);
  border: 1px solid rgba(255, 255, 255, 0.08);
  color: var(--text-secondary);
  padding: 2px 8px;
  border-radius: 4px;
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  white-space: nowrap;
  transition: all 0.15s;
}

.chip-btn:hover {
  background: rgba(6, 182, 212, 0.15);
  color: #fff;
  border-color: var(--accent-cyan);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.btn-badge {
  background: rgba(255, 255, 255, 0.04);
  border: 1px solid var(--border-color);
  color: var(--text-secondary);
  padding: 6px 12px;
  border-radius: 6px;
  font-size: 0.75rem;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 6px;
  text-decoration: none;
  font-weight: 500;
  transition: all 0.2s;
}

.btn-badge:hover {
  background: rgba(255, 255, 255, 0.1);
  color: #fff;
}

/* Sub-Header Repository Summary Bar */
.repo-summary-bar {
  background: var(--bg-secondary);
  border-bottom: 1px solid var(--border-color);
  padding: 0.6rem 1.5rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.repo-meta-left {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  flex-wrap: wrap;
}

.repo-title-slug {
  font-size: 1.05rem;
  font-weight: 700;
  color: #fff;
  font-family: var(--font-mono);
}

.badge-tag {
  font-size: 0.7rem;
  padding: 2px 8px;
  border-radius: 4px;
  font-weight: 600;
  font-family: var(--font-mono);
}

.tag-stars {
  background: rgba(245, 158, 11, 0.15);
  color: var(--accent-amber);
  border: 1px solid rgba(245, 158, 11, 0.3);
}

.tag-lang {
  background: rgba(6, 182, 212, 0.15);
  color: var(--accent-cyan);
  border: 1px solid rgba(6, 182, 212, 0.3);
}

.tag-gravity {
  background: rgba(16, 185, 129, 0.15);
  color: var(--accent-emerald);
  border: 1px solid rgba(16, 185, 129, 0.3);
}

.repo-desc-text {
  font-size: 0.78rem;
  color: var(--text-muted);
  max-width: 600px;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

/* Tabs Bar */
.tabs-bar {
  background: #090e1a;
  border-bottom: 1px solid var(--border-color);
  padding: 0 1.5rem;
  display: flex;
  gap: 1.5rem;
  overflow-x: auto;
}

.tab-btn {
  background: none;
  border: none;
  color: var(--text-secondary);
  font-size: 0.85rem;
  font-weight: 600;
  padding: 0.75rem 0.25rem;
  cursor: pointer;
  border-bottom: 2px solid transparent;
  transition: all 0.2s;
  display: flex;
  align-items: center;
  gap: 6px;
  white-space: nowrap;
}

.tab-btn:hover {
  color: #fff;
}

.tab-btn.active {
  color: var(--accent-cyan);
  border-bottom-color: var(--accent-cyan);
}

/* Main Workspace */
main {
  flex: 1;
  display: flex;
  height: calc(100vh - 165px);
  position: relative;
  overflow: hidden;
}

.view-container {
  flex: 1;
  display: none;
  height: 100%;
}

.view-container.active {
  display: flex;
}

/* View 1: AST Graph 3-Pane Layout */
.graph-workbench {
  flex: 1;
  display: flex;
  height: 100%;
}

.file-tree-sidebar {
  width: 280px;
  background: var(--bg-secondary);
  border-right: 1px solid var(--border-color);
  display: flex;
  flex-direction: column;
  overflow-y: auto;
}

.sidebar-title-bar {
  padding: 0.75rem 1rem;
  border-bottom: 1px solid var(--border-color);
  font-size: 0.75rem;
  font-weight: 700;
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.5px;
  display: flex;
  justify-content: space-between;
}

.file-list {
  padding: 0.5rem;
  display: flex;
  flex-direction: column;
  gap: 3px;
}

.file-item {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 6px 8px;
  border-radius: 6px;
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: var(--text-secondary);
  transition: all 0.15s;
}

.file-item:hover {
  background: rgba(255, 255, 255, 0.05);
  color: #fff;
}

.file-item.active {
  background: rgba(6, 182, 212, 0.15);
  color: var(--accent-cyan);
  border: 1px solid rgba(6, 182, 212, 0.3);
}

.file-tag {
  font-size: 0.65rem;
  padding: 1px 4px;
  border-radius: 3px;
  background: rgba(255, 255, 255, 0.08);
}

.file-tag.core {
  background: rgba(16, 185, 129, 0.2);
  color: var(--accent-emerald);
  font-weight: 700;
}

/* Canvas Area */
.canvas-wrapper {
  flex: 1;
  position: relative;
  background: radial-gradient(circle at center, #0e172a 0%, #060911 100%);
  display: flex;
  flex-direction: column;
}

.canvas-toolbar {
  position: absolute;
  top: 1rem;
  left: 1rem;
  display: flex;
  align-items: center;
  gap: 0.5rem;
  z-index: 10;
}

.tool-btn {
  background: rgba(15, 23, 42, 0.85);
  backdrop-filter: blur(8px);
  border: 1px solid var(--border-color);
  color: var(--text-secondary);
  padding: 5px 10px;
  border-radius: 6px;
  font-size: 0.75rem;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 4px;
}

.tool-btn:hover {
  background: var(--border-color);
  color: #fff;
}

#graphCanvas {
  width: 100%;
  height: 100%;
  flex: 1;
  display: block;
}

.graph-legend {
  position: absolute;
  bottom: 1rem;
  left: 1rem;
  background: rgba(15, 23, 42, 0.85);
  backdrop-filter: blur(8px);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 6px 12px;
  font-size: 0.7rem;
  color: var(--text-muted);
  display: flex;
  gap: 1rem;
  z-index: 10;
}

.legend-item {
  display: flex;
  align-items: center;
  gap: 5px;
}

.legend-dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
}

/* Right Inspector Panel */
.inspector-sidebar {
  width: 340px;
  background: var(--bg-secondary);
  border-left: 1px solid var(--border-color);
  display: flex;
  flex-direction: column;
  overflow-y: auto;
  padding: 1rem;
  gap: 1rem;
}

.inspector-card {
  background: var(--bg-tertiary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 1rem;
}

.inspector-card-title {
  font-size: 0.8rem;
  font-weight: 700;
  color: var(--accent-cyan);
  text-transform: uppercase;
  letter-spacing: 0.5px;
  margin-bottom: 0.5rem;
  display: flex;
  align-items: center;
  gap: 6px;
}

/* View 2: Live Execution Stepper (Python Tutor Mode) */
.tracer-workbench {
  flex: 1;
  display: flex;
  flex-direction: column;
  height: 100%;
}

.tracer-content {
  flex: 1;
  display: flex;
  overflow: hidden;
}

.tracer-code-section {
  flex: 1;
  background: #050811;
  border-right: 1px solid var(--border-color);
  display: flex;
  flex-direction: column;
}

.tracer-code-header {
  padding: 0.6rem 1rem;
  border-bottom: 1px solid var(--border-color);
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-family: var(--font-mono);
  font-size: 0.8rem;
}

.tracer-code-view {
  flex: 1;
  padding: 1rem;
  overflow-y: auto;
  font-family: var(--font-mono);
  font-size: 0.85rem;
  line-height: 1.6;
}

.step-explanation-box {
  background: rgba(6, 182, 212, 0.08);
  border: 1px solid rgba(6, 182, 212, 0.2);
  border-radius: 8px;
  padding: 0.85rem 1rem;
  margin: 1rem;
  font-size: 0.85rem;
  color: var(--text-primary);
}

.tracer-state-section {
  width: 420px;
  background: var(--bg-secondary);
  display: flex;
  flex-direction: column;
  overflow-y: auto;
  padding: 1rem;
  gap: 1rem;
}

.stack-frame {
  background: rgba(6, 182, 212, 0.1);
  border-left: 3px solid var(--accent-cyan);
  padding: 6px 10px;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  margin-bottom: 4px;
  border-radius: 0 4px 4px 0;
}

.timeline-bar {
  background: var(--bg-tertiary);
  border-top: 1px solid var(--border-color);
  padding: 0.85rem 1.5rem;
  display: flex;
  align-items: center;
  gap: 1.5rem;
}

.timeline-controls {
  display: flex;
  gap: 0.5rem;
}

.ctrl-btn {
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  color: #fff;
  border-radius: 6px;
  width: 36px;
  height: 36px;
  display: flex;
  align-items: center;
  justify-content: center;
  cursor: pointer;
  font-size: 0.9rem;
}

.ctrl-btn:hover {
  background: var(--border-color);
}

.timeline-slider {
  flex: 1;
  accent-color: var(--accent-cyan);
}

/* View 3: Unbox Mode */
.unbox-workbench {
  flex: 1;
  display: flex;
  height: 100%;
}

.unbox-stages-list {
  width: 320px;
  background: var(--bg-secondary);
  border-right: 1px solid var(--border-color);
  display: flex;
  flex-direction: column;
  overflow-y: auto;
}

.stage-tab {
  padding: 1rem;
  border-bottom: 1px solid var(--border-color);
  cursor: pointer;
  transition: all 0.2s;
}

.stage-tab:hover {
  background: rgba(255, 255, 255, 0.02);
}

.stage-tab.active {
  background: rgba(6, 182, 212, 0.08);
  border-left: 3px solid var(--accent-cyan);
}

.stage-badge {
  font-size: 0.7rem;
  text-transform: uppercase;
  font-weight: 700;
  color: var(--accent-cyan);
}

.stage-tab-title {
  font-size: 0.85rem;
  font-weight: 600;
  color: #fff;
  margin-top: 2px;
}

.unbox-playground {
  flex: 1;
  display: flex;
  flex-direction: column;
  background: #050811;
}

.playground-header {
  padding: 0.85rem 1.5rem;
  border-bottom: 1px solid var(--border-color);
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.code-editor {
  flex: 1;
  background: #050811;
  color: #38bdf8;
  font-family: var(--font-mono);
  font-size: 0.85rem;
  padding: 1rem;
  border: none;
  outline: none;
  resize: none;
  line-height: 1.6;
}

.verification-terminal {
  height: 160px;
  background: #020408;
  border-top: 1px solid var(--border-color);
  padding: 0.75rem 1rem;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  overflow-y: auto;
}

.btn-verify {
  background: var(--accent-emerald);
  color: #04060a;
  font-weight: 700;
  border: none;
  padding: 8px 16px;
  border-radius: 6px;
  cursor: pointer;
  transition: all 0.2s;
}

.btn-verify:hover {
  filter: brightness(1.2);
}

/* View 4: Blast-Radius */
.blast-workbench {
  flex: 1;
  padding: 1.5rem;
  display: flex;
  flex-direction: column;
  gap: 1.5rem;
  overflow-y: auto;
}

.blast-metrics-row {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: 1rem;
}

.blast-card {
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 1rem;
}

.blast-card-title {
  font-size: 0.72rem;
  color: var(--text-muted);
  text-transform: uppercase;
  font-weight: 700;
}

.blast-card-value {
  font-size: 1.7rem;
  font-weight: 800;
  font-family: var(--font-mono);
  margin-top: 4px;
}

/* View 5: Vault */
.vault-workbench {
  flex: 1;
  padding: 1.5rem;
  display: flex;
  flex-direction: column;
  gap: 1rem;
  overflow-y: auto;
}

.vault-filters {
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
}

.vault-filter-btn {
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  color: var(--text-secondary);
  padding: 5px 12px;
  border-radius: 9999px;
  font-size: 0.8rem;
  cursor: pointer;
}

.vault-filter-btn.active {
  background: var(--accent-cyan);
  color: #04060a;
  border-color: var(--accent-cyan);
  font-weight: 700;
}

.vault-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
  gap: 1rem;
}

.vault-card {
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 1rem;
  cursor: pointer;
  transition: all 0.2s;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}

.vault-card:hover {
  border-color: var(--accent-cyan);
  transform: translateY(-2px);
}

/* Modal */
.modal-backdrop {
  position: fixed;
  inset: 0;
  background: rgba(0, 0, 0, 0.75);
  backdrop-filter: blur(6px);
  display: none;
  align-items: center;
  justify-content: center;
  z-index: 100;
}

.modal-backdrop.active {
  display: flex;
}

.modal-content {
  background: var(--bg-secondary);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  width: 640px;
  max-width: 90%;
  max-height: 85vh;
  display: flex;
  flex-direction: column;
  overflow: hidden;
}

.modal-header {
  padding: 1rem 1.5rem;
  border-bottom: 1px solid var(--border-color);
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.modal-body {
  padding: 1.5rem;
  overflow-y: auto;
  font-size: 0.85rem;
}

.modal-pre {
  background: #050811;
  border: 1px solid var(--border-color);
  border-radius: 6px;
  padding: 1rem;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  color: #38bdf8;
  max-height: 280px;
  overflow-y: auto;
  margin-top: 0.75rem;
  white-space: pre-wrap;
}

.btn-close {
  background: none;
  border: none;
  color: var(--text-muted);
  font-size: 1.25rem;
  cursor: pointer;
}

.btn-copy {
  background: var(--accent-cyan);
  color: #04060a;
  border: none;
  border-radius: 6px;
  padding: 6px 12px;
  font-weight: 700;
  font-size: 0.8rem;
  cursor: pointer;
  margin-top: 0.75rem;
}