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

body, html {
  width: 100%;
  min-height: 100vh;
  background-color: #0b0e12;
  color: #f1f5f9;
  font-family: -apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", Roboto, sans-serif;
  overflow-x: hidden;
}

.carbone-shell {
  max-width: 1380px;
  margin: 0 auto;
  padding: 18px 24px 32px;
}

/* 1. Top "Simulation Code Carbone" Header */
.carbone-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  background: #12171e;
  border: 1px solid #26303d;
  border-radius: 12px;
  padding: 16px 24px;
  margin-bottom: 18px;
  box-shadow: 0 10px 28px rgba(0, 0, 0, 0.45);
  flex-wrap: wrap;
  gap: 16px;
}

.title-row {
  display: flex;
  align-items: center;
  gap: 12px;
}

.carbone-title {
  font-family: "Barlow Condensed", "Impact", "Arial Narrow", sans-serif;
  font-size: 28px;
  font-weight: 800;
  letter-spacing: 1.5px;
  color: #ffffff;
  text-transform: uppercase;
}

.coni-pill {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 11px;
  font-weight: 700;
  padding: 4px 10px;
  border-radius: 999px;
  background: rgba(74, 222, 128, 0.14);
  border: 1px solid rgba(74, 222, 128, 0.45);
  color: #4ade80;
}

.carbone-subtitle {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 13px;
  letter-spacing: 1.2px;
  color: #94a3b8;
  margin-top: 6px;
}

.phase-badge {
  color: #fbbf24;
  font-weight: 700;
}

.pas-counter {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 38px;
  font-weight: 800;
  letter-spacing: 2px;
  color: #5eead4;
  color: #4ade80;
  text-shadow: 0 0 22px rgba(74, 222, 128, 0.35);
  padding: 4px 18px;
  background: rgba(11, 14, 18, 0.75);
  border: 1px solid rgba(74, 222, 128, 0.3);
  border-radius: 10px;
}

.pas-counter.gold-pas {
  color: #fbbf24;
  border-color: rgba(251, 191, 36, 0.5);
  text-shadow: 0 0 22px rgba(251, 191, 36, 0.45);
}

.header-right {
  display: flex;
  gap: 14px;
}

.mini-stat {
  background: rgba(11, 14, 18, 0.7);
  border: 1px solid #26303d;
  border-radius: 8px;
  padding: 8px 14px;
  display: flex;
  flex-direction: column;
  gap: 3px;
}

.mini-stat-label {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 10px;
  color: #94a3b8;
  letter-spacing: 0.8px;
}

.mini-stat-val {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 14px;
  font-weight: 700;
  color: #f8fafc;
}

/* 2. Workspace Two-Column Grid */
.workspace-grid {
  display: grid;
  grid-template-columns: 1.35fr 1fr;
  gap: 20px;
  align-items: start;
}

@media (max-width: 1100px) {
  .workspace-grid {
    grid-template-columns: 1fr;
  }
}

.stage-column {
  display: flex;
  flex-direction: column;
  gap: 14px;
}

.canvas-wrapper {
  position: relative;
  width: 100%;
  background: #f4f6f8;
  border: 2px solid #26303d;
  border-radius: 12px;
  overflow: hidden;
  box-shadow: 0 16px 40px rgba(0, 0, 0, 0.55);
}

#langton-canvas {
  display: block;
  width: 100%;
  height: auto;
  cursor: pointer;
}

/* Translucent Dark Banner over Bottom of Grid (Exact Match to Reel) */
.video-overlay-banner {
  position: absolute;
  left: 3.5%;
  right: 3.5%;
  bottom: 14px;
  background: rgba(20, 25, 31, 0.92);
  border: 1px solid rgba(255, 255, 255, 0.14);
  padding: 12px 18px;
  text-align: center;
  pointer-events: none;
  box-shadow: 0 8px 24px rgba(0, 0, 0, 0.45);
}

.overlay-line-1 {
  font-family: "Barlow Condensed", "Inter", sans-serif;
  font-size: 20px;
  font-weight: 800;
  letter-spacing: 1px;
  color: #ffffff;
  text-transform: uppercase;
}

.overlay-line-2 {
  font-family: "Barlow Condensed", "Inter", sans-serif;
  font-size: 17px;
  font-weight: 700;
  letter-spacing: 0.9px;
  color: #fbbf24;
  margin-top: 4px;
  text-transform: uppercase;
}

/* Narrator Subtitle Box */
.narrator-box {
  background: #12171e;
  border: 1px solid #26303d;
  border-left: 4px solid #4ade80;
  border-radius: 10px;
  padding: 14px 20px;
  text-align: center;
}

.narrator-fr {
  font-size: 18px;
  font-weight: 700;
  color: #ffffff;
  line-height: 1.35;
}

.narrator-en {
  font-size: 13px;
  color: #94a3b8;
  margin-top: 5px;
}

/* Right Controls Column */
.controls-column {
  display: flex;
  flex-direction: column;
  gap: 14px;
}

.control-card {
  background: #12171e;
  border: 1px solid #26303d;
  border-radius: 12px;
  padding: 16px 18px;
  box-shadow: 0 8px 22px rgba(0, 0, 0, 0.35);
}

.card-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 1px;
  color: #94a3b8;
  margin-bottom: 12px;
}

.card-tag {
  color: #38bdf8;
  background: rgba(56, 189, 248, 0.12);
  padding: 3px 8px;
  border-radius: 4px;
}

.transport-row {
  display: grid;
  grid-template-columns: 1.3fr 1fr 1fr 0.9fr;
  gap: 8px;
  margin-bottom: 12px;
}

.primary-play-btn {
  background: #22c55e;
  color: #052e16;
  border: none;
  border-radius: 8px;
  padding: 10px 14px;
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 13px;
  font-weight: 800;
  cursor: pointer;
  transition: all 0.15s ease;
}

.primary-play-btn.playing {
  background: #f59e0b;
  color: #1c1917;
}

.action-btn {
  background: #1e2631;
  color: #f1f5f9;
  border: 1px solid #334155;
  border-radius: 8px;
  padding: 10px 10px;
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 12px;
  font-weight: 700;
  cursor: pointer;
}

.action-btn:hover {
  background: #283241;
  border-color: #64748b;
}

.action-btn.gold-border {
  border-color: rgba(251, 191, 36, 0.55);
  color: #fbbf24;
}

.speed-row {
  display: flex;
  align-items: center;
  gap: 8px;
}

.row-label {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 11px;
  color: #94a3b8;
  margin-right: 4px;
}

.pill-btn {
  flex: 1;
  background: #182029;
  color: #cbd5e1;
  border: 1px solid #2d3846;
  border-radius: 6px;
  padding: 6px 8px;
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 12px;
  font-weight: 700;
  cursor: pointer;
}

.pill-btn.active {
  background: rgba(74, 222, 128, 0.18);
  color: #4ade80;
  border-color: #4ade80;
}

/* Milestones Grid */
.milestones-grid {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 8px;
}

.ms-btn {
  background: #182029;
  border: 1px solid #2b3644;
  border-radius: 8px;
  padding: 9px 12px;
  text-align: left;
  cursor: pointer;
  display: flex;
  flex-direction: column;
  gap: 2px;
  transition: all 0.14s ease;
}

.ms-btn:hover {
  background: #202a36;
  border-color: #475569;
}

.ms-btn.active {
  background: rgba(74, 222, 128, 0.15);
  border-color: #4ade80;
}

.ms-pas {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 13px;
  font-weight: 800;
  color: #4ade80;
}

.ms-btn.gold-ms .ms-pas {
  color: #fbbf24;
}

.ms-btn.cyan-ms .ms-pas {
  color: #38bdf8;
}

.ms-desc {
  font-size: 11px;
  color: #cbd5e1;
}

/* Mode & Overlays */
.mode-switch-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  margin-bottom: 10px;
}

.mode-btn {
  background: #182029;
  color: #cbd5e1;
  border: 1px solid #2b3644;
  border-radius: 8px;
  padding: 10px 12px;
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 12px;
  font-weight: 700;
  cursor: pointer;
}

.mode-btn.active {
  background: rgba(251, 191, 36, 0.18);
  color: #fbbf24;
  border-color: #fbbf24;
}

.toggles-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  margin-bottom: 10px;
}

.toggle-chip {
  background: #182029;
  color: #94a3b8;
  border: 1px solid #2b3644;
  border-radius: 7px;
  padding: 8px 10px;
  font-size: 12px;
  font-weight: 600;
  cursor: pointer;
  text-align: left;
}

.toggle-chip.active {
  background: rgba(56, 189, 248, 0.16);
  color: #38bdf8;
  border-color: #38bdf8;
}

.arena-actions-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
}

.sub-action-btn {
  background: #1e2631;
  color: #e2e8f0;
  border: 1px solid #334155;
  border-radius: 7px;
  padding: 8px 10px;
  font-size: 11px;
  font-weight: 600;
  cursor: pointer;
}

.sub-action-btn:hover {
  border-color: #fbbf24;
  color: #fbbf24;
}

/* Final Reel Summary Theorems Card (Frame 36) */
.theorems-card {
  display: flex;
  flex-direction: column;
  gap: 10px;
}

.theorem-item {
  background: #171d26;
  border: 1px solid #283240;
  border-radius: 8px;
  padding: 9px 12px;
  display: flex;
  flex-direction: column;
  gap: 3px;
}

.thm-badge {
  font-family: "JetBrains Mono", ui-monospace, monospace;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.8px;
}

.open-badge {
  color: #fbbf24;
}

.proven-badge {
  color: #4ade80;
}

.thm-text {
  font-family: "Barlow Condensed", "Inter", sans-serif;
  font-size: 14px;
  font-weight: 700;
  letter-spacing: 0.5px;
  color: #f8fafc;
}