@import url("https://fonts.googleapis.com/css2?family=Nunito:wght@400;600;700;800;900&display=swap");

/* =========================================
   TABLE DES MATIÈRES
   1. VARIABLES & THÈMES
   2. RESET & BASE
   3. LAYOUT GLOBAL & HEADER
   4. PANNEAUX (Éditeur, Canvas, HUD)
   5. ÉLÉMENTS SVG (Graphes & Automates)
   6. BOUTONS & CONTRÔLES
   7. INPUTS, TEXTAREA & TABS
   8. MENUS DÉROULANTS & BADGES
   9. MODALES (Classique, Automates, Théorie)
   10. MENU DES ALGORITHMES
   ========================================= */

/* =========================================
   1. VARIABLES & THÈMES
   ========================================= */
:root,
body.light {
  /* Couleurs principales */
  --brand-main: #6366f1;
  --brand-dark: #4f46e5;
  --brand-light: #e0e7ff;

  /* Thème Clair (Défaut) */
  --bg-main: #f4f6f9;
  --container-bg: #ffffff;
  --canvas-bg: #eef2f6;

  --text-primary: #334155;
  --text-muted: #94a3b8;
  --border-color: #cbd5e1;
  --grid-color: rgba(148, 163, 184, 0.4);

  /* Couleurs SVG */
  --circle-fill: #ffffff;
  --circle-stroke: #94a3b8;
  --current-fill: #fbbf24;
  --current-stroke: #d97706;
  --visited-fill: #34d399;
  --visited-stroke: #059669;

  /* Éditeurs */
  --editor-bg: #f1f5f9;
  --editor-text: #334155;

  /* Ombres */
  --shadow-sm: 0 2px 4px rgba(0, 0, 0, 0.05);
  --shadow-md: 0 4px 15px rgba(0, 0, 0, 0.05);
}

/* Thème Sombre */
body.dark,
.dark {
  --brand-light: rgba(99, 102, 241, 0.2);
  --bg-main: #0f172a;
  --container-bg: #1e293b;
  --canvas-bg: #0f172a;

  --text-primary: #f8fafc;
  --text-muted: #64748b;
  --border-color: #334155;
  --grid-color: rgba(255, 255, 255, 0.05);

  --circle-fill: #1e293b;
  --circle-stroke: #64748b;

  --editor-bg: #0b0f19;
  --editor-text: #f8fafc;
}

/* =========================================
   2. RESET & BASE
   ========================================= */
* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

body {
  font-family: "Nunito", system-ui, sans-serif;
  min-height: 100vh;
  background-color: var(--bg-main);
  color: var(--text-primary);
  transition:
    background-color 0.3s,
    color 0.3s;
  overflow-x: hidden;
}

/* =========================================
   3. LAYOUT GLOBAL & HEADER
   ========================================= */
.global-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 0 24px;
  height: 65px;
  background-color: var(--container-bg);
  border-bottom: 2px solid var(--border-color);
  border-radius: 0 0 20px 20px;
  box-shadow: var(--shadow-sm);
  margin-bottom: 15px;
}

.header-left,
.header-right {
  display: flex;
  align-items: center;
  gap: 12px;
}
.app-title {
  font-size: 1.4rem;
  font-weight: 900;
  letter-spacing: -0.02em;
}

.mode-tabs {
  display: flex;
  gap: 8px;
  background: var(--editor-bg);
  padding: 4px;
  border-radius: 14px;
  border: 2px solid var(--border-color);
}
.mode-tab-btn {
  background: transparent;
  border: none;
  color: var(--text-muted);
  padding: 8px 16px;
  font-family: inherit;
  font-weight: 800;
  font-size: 0.9rem;
  cursor: pointer;
  border-radius: 10px;
  transition: all 0.15s ease;
  display: flex;
  align-items: center;
  gap: 8px;
}
.mode-tab-btn:hover {
  color: var(--text-primary);
}
.mode-tab-btn.active {
  background: var(--container-bg);
  color: var(--brand-main);
  box-shadow: var(--shadow-sm);
}

.main-wrapper {
  display: flex;
  gap: 15px;
  width: 100%;
  max-width: 100vw;
  height: calc(100vh - 80px);
  padding: 0 20px 20px 20px;
  position: relative;
}

.view-section {
  display: none;
  width: 100%;
  height: 100%;
  gap: 15px;
}
.view-section.active-view {
  display: flex;
}

#left-panel {
  width: 480px;
  min-width: 280px;
  max-width: 600px;
  flex-shrink: 0;
  display: flex;
  flex-direction: column;
}
#right-panel {
  flex-grow: 1;
  width: calc(100% - 480px);
}

.automata-side-panel {
  width: 380px;
  min-width: 320px;
  flex-shrink: 0;
  display: flex;
  flex-direction: column;
  gap: 15px;
}
.automata-canvas-panel {
  flex-grow: 1;
}

.resize-splitter {
  width: 8px;
  background-color: transparent;
  cursor: col-resize;
  transition: background-color 0.2s ease;
  z-index: 10;
  margin: 0 4px;
  border-radius: 4px;
}
.resize-splitter:hover,
body.is-resizing .resize-splitter {
  background-color: var(--brand-main);
}
body.is-resizing {
  cursor: col-resize;
  user-select: none;
}

/* =========================================
   4. PANNEAUX (Éditeur, Canvas, HUD)
   ========================================= */
.editor-panel,
.canvas-panel,
.panel-card {
  background: var(--container-bg);
  border-radius: 16px;
  padding: 20px;
  display: flex;
  flex-direction: column;
  box-shadow: var(--shadow-md);
  border: 2px solid var(--border-color);
}

.editor-panel {
  flex-grow: 1;
}
.canvas-panel {
  align-items: center;
  position: relative;
  width: 100%;
  height: 100%;
}

.editor-panel h2 {
  margin-bottom: 10px;
  font-weight: 800;
}
.panel-card h3 {
  font-weight: 900;
  font-size: 1.15rem;
  margin-bottom: 5px;
}
.panel-subtitle {
  font-size: 0.85rem;
  color: var(--text-muted);
  font-weight: 600;
}
.text-center {
  text-align: center;
}

#canvas,
.custom-canvas {
  border: 2px solid var(--border-color);
  border-radius: 12px;
  background-color: var(--canvas-bg);
  background-image: radial-gradient(var(--grid-color) 1.5px, transparent 1.5px);
  background-size: 25px 25px;
  cursor: crosshair;
  width: 100%;
  height: 100%;
  flex-grow: 1;
  user-select: none;
  min-height: 400px;
  position: relative;
}

/* =========================================
   LECTEUR D'ANIMATION (HUD) - REFACTORY
   ========================================= */

.glass-hud {
  position: absolute;
  bottom: 24px;
  left: 50%;
  transform: translateX(-50%);
  width: 440px;
  max-width: 90%;
  background: rgba(255, 255, 255, 0.9);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  border: 2px solid var(--border-color);
  border-radius: 16px;
  box-shadow: 0 12px 32px rgba(15, 23, 42, 0.12);
  z-index: 500;
  transition:
    background 0.3s,
    border-color 0.3s,
    box-shadow 0.3s;
}

body.dark .glass-hud,
[data-theme="dark"] .glass-hud {
  background: rgba(30, 41, 59, 0.9);
  border-color: var(--border-color);
  box-shadow: 0 12px 32px rgba(0, 0, 0, 0.4);
}

/* Bulle d'information flottante au-dessus */
.hud-status-badge {
  position: absolute;
  top: -42px;
  left: 50%;
  transform: translateX(-50%);
  background: var(--container-bg);
  color: var(--text-primary);
  border: 2px solid var(--border-color);
  border-radius: 20px;
  padding: 6px 16px;
  font-size: 0.85rem;
  font-weight: 800;
  white-space: nowrap;
  box-shadow: var(--shadow-md);
  display: flex;
  align-items: center;
  gap: 8px;
  animation: badgeFloat 0.2s ease-out;
}

.hud-status-badge i {
  color: var(--brand-main);
}

@keyframes badgeFloat {
  from {
    opacity: 0;
    transform: translate(-50%, 6px);
  }
  to {
    opacity: 1;
    transform: translate(-50%, 0);
  }
}

.hud-content {
  padding: 16px;
  display: flex;
  flex-direction: column;
  gap: 14px;
}

/* --- Sliders & Labels --- */
.hud-sliders-row {
  display: flex;
  gap: 16px;
}

.hud-slider-group {
  flex: 1;
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.hud-label-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-size: 0.8rem;
  font-weight: 800;
}

.hud-label {
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.hud-value {
  color: var(--brand-main);
  font-family: monospace;
  font-size: 0.85rem;
}

/* Style personnalisé des curseurs (Range Input) */
.hud-range {
  -webkit-appearance: none;
  appearance: none;
  width: 100%;
  height: 6px;
  background: var(--editor-bg);
  border-radius: 4px;
  outline: none;
  border: none;
  box-shadow: none;
}

.hud-range::-webkit-slider-thumb {
  -webkit-appearance: none;
  appearance: none;
  width: 16px;
  height: 16px;
  border-radius: 50%;
  background: var(--brand-main);
  cursor: pointer;
  transition:
    transform 0.15s ease,
    background-color 0.15s ease;
  box-shadow: 0 2px 4px rgba(99, 102, 241, 0.4);
}

.hud-range::-webkit-slider-thumb:hover {
  transform: scale(1.25);
  background: var(--brand-dark);
}

/* --- Contrôles Médias --- */
.hud-buttons-row {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
}

.hud-btn-divider {
  width: 2px;
  height: 24px;
  background: var(--border-color);
  margin: 0 4px;
}

/* Boutons de base */
.hud-btn {
  background: var(--editor-bg);
  color: var(--text-primary);
  border: 1.5px solid var(--border-color);
  border-radius: 10px;
  padding: 8px 14px;
  font-family: inherit;
  font-size: 0.85rem;
  font-weight: 800;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  transition: all 0.15s ease;
  user-select: none;
}

.hud-btn:hover {
  background: var(--brand-light);
  color: var(--brand-dark);
  border-color: var(--brand-main);
}

.hud-btn:active {
  transform: scale(0.95);
}

/* Bouton Icône Carré (<| et |>) */
.hud-btn-icon {
  width: 36px;
  height: 36px;
  padding: 0;
  border-radius: 50%;
}

/* Bouton Play Principal (Hero Button) */
.hud-btn-play {
  width: 44px;
  height: 44px;
  padding: 0;
  border-radius: 50%;
  background: var(--brand-main);
  color: #ffffff;
  border-color: var(--brand-dark);
  box-shadow: 0 4px 12px rgba(99, 102, 241, 0.35);
  font-size: 1rem;
}

.hud-btn-play:hover {
  background: var(--brand-dark);
  color: #ffffff;
  transform: scale(1.08);
}

/* Bouton Stop (Rouge Doux) */
.hud-btn-stop:hover {
  background: #fee2e2;
  color: #ef4444;
  border-color: #fca5a5;
}

/* Bouton Reset (Orange Doux) */
.hud-btn-reset:hover {
  background: #fef3c7;
  color: #d97706;
  border-color: #fde68a;
}

/* 2. Force le conteneur des boutons à prendre 100% de la largeur pour les centrer */
.hud-buttons-row {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  width: 100%;
  margin-top: 4px;
}

#player-controls {
  flex-direction: column !important;
}

/* 4. Force le contenu à occuper tout l'espace disponible */
.hud-content {
  width: 100%;
  box-sizing: border-box;
}

#ds-info-panel {
  padding: 12px;
  overflow-y: auto;
  flex-grow: 1;
  display: flex;
  flex-direction: column;
  gap: 8px;
}
#ds-info-panel::-webkit-scrollbar {
  width: 6px;
}
#ds-info-panel::-webkit-scrollbar-thumb {
  background-color: var(--border-color);
  border-radius: 10px;
}

/* =========================================
   5. ÉLÉMENTS SVG (Graphes & Automates)
   ========================================= */
circle {
  fill: var(--circle-fill);
  stroke: var(--circle-stroke);
  stroke-width: 3px;
  cursor: grab;
  transform-origin: center;
  transition:
    fill 0.2s,
    stroke 0.2s,
    transform 0.2s cubic-bezier(0.175, 0.885, 0.32, 1.275);
}
.dragging circle {
  cursor: grabbing;
}

/* États classiques */
circle.selected,
circle.edge-start {
  stroke: var(--brand-main);
  stroke-width: 4px;
  fill: var(--brand-light);
}
circle.current {
  fill: var(--current-fill);
  stroke: var(--current-stroke);
  stroke-width: 4px;
  transform: scale(1.25);
}
circle.visited {
  fill: var(--visited-fill);
  stroke: var(--visited-stroke);
  stroke-width: 4px;
}

/* Automates : États finaux (Double Cercle) */
circle.accepting-outer {
  fill: transparent;
  stroke: var(--circle-stroke);
  stroke-width: 2px;
  pointer-events: none;
}
circle.visited + circle.accepting-outer {
  stroke: var(--visited-stroke);
}
circle.current + circle.accepting-outer {
  stroke: var(--current-stroke);
}

/* Automates : États de validation */
.node-group circle.selected-state {
  fill: #fef3c7 !important;
  stroke: #f59e0b !important;
  stroke-width: 5px !important;
}
.node-group circle.state-active {
  fill: #fef3c7 !important;
  stroke: #f59e0b !important;
  stroke-width: 4px !important;
}
.node-group circle.state-success {
  fill: #d1fae5 !important;
  stroke: #10b981 !important;
  stroke-width: 4px !important;
}
.node-group circle.state-error {
  fill: #fecaca !important;
  stroke: #ef4444 !important;
  stroke-width: 4px !important;
}

/* Lignes et Textes */
line,
path.edge-line {
  stroke: var(--circle-stroke);
  stroke-width: 3px;
  fill: none;
  pointer-events: none;
}
.edge-line {
  pointer-events: stroke;
}
.edge-hit {
  pointer-events: stroke;
}
.edge-weight {
  pointer-events: auto;
  cursor: pointer;
}
text {
  font-family: "Nunito", sans-serif;
  font-size: 16px;
  font-weight: 800;
  fill: var(--text-primary);
  pointer-events: none;
  text-anchor: middle;
  dominant-baseline: middle;
  user-select: none;
}

/* =========================================
   6. BOUTONS & CONTRÔLES
   ========================================= */
.controls {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
  margin-top: 15px;
  width: 100%;
  justify-content: center;
}

/* Classe de base pour tous les boutons UI */
.action-btn,
.btn-compile,
.top-btn,
.player-btn {
  background: var(--container-bg);
  color: var(--text-primary);
  border: 2px solid var(--border-color);
  padding: 10px 18px;
  border-radius: 12px;
  font-family: inherit;
  font-weight: 800;
  font-size: 0.9rem;
  cursor: pointer;
  box-shadow: 0 4px 0 var(--border-color);
  transition:
    transform 0.1s,
    box-shadow 0.1s,
    background 0.1s;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  user-select: none;
}
.action-btn:active:not(:disabled),
.btn-compile:active:not(:disabled),
.top-btn:active:not(:disabled),
.player-btn:active:not(:disabled) {
  transform: translateY(4px);
  box-shadow: 0 0 0 transparent !important;
}
.action-btn:hover:not(:disabled),
.top-btn:hover:not(:disabled),
.player-btn:hover:not(:disabled),
.btn-snap:hover:not(:disabled),
.btn-reset:hover:not(:disabled) {
  background: var(--editor-bg);
}
.player-btn:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

/* Boutons Icones compacts */
.icon-btn-menu {
  padding: 8px 12px;
  display: inline-flex;
  justify-content: center;
  align-items: center;
  width: 40px;
  height: 40px;
}

/* Variantes de couleurs (avec surcharges prioritaires si besoin) */
.btn-compile {
  background: var(--brand-main) !important;
  color: #ffffff !important;
  border-color: var(--brand-dark) !important;
  box-shadow: 0 4px 0 var(--brand-dark) !important;
}
.btn-compile:hover {
  background: var(--brand-dark) !important;
}

.btn-clear {
  background: #f59e0b !important;
  color: #ffffff !important;
  border-color: #b45309 !important;
  box-shadow: 0 4px 0 #b45309 !important;
}
.btn-clear:hover {
  background: #d97706 !important;
}

.btn-record {
  background: #ef4444 !important;
  color: #ffffff !important;
  border-color: #b91c1c !important;
  box-shadow: 0 4px 0 #b91c1c !important;
}
.btn-record:hover {
  background: #dc2626 !important;
}

.btn-docs {
  background: #3b82f6 !important;
  color: #ffffff !important;
  border-color: #2563eb !important;
  box-shadow: 0 4px 0 #2563eb !important;
}
.btn-docs:hover {
  background: #2563eb !important;
}

.btn-learn {
  background: #8b5cf6 !important;
  color: #ffffff !important;
  border-color: #6d28d9 !important;
  box-shadow: 0 4px 0 #6d28d9 !important;
}
.btn-learn:hover {
  background: #7c3aed !important;
}

.btn-play-active {
  background: var(--brand-main) !important;
  color: #ffffff !important;
  border-color: var(--brand-dark) !important;
  box-shadow: 0 4px 0 var(--brand-dark) !important;
}
#btn-read-theory {
  background: #10b981 !important;
  color: #ffffff !important;
  border-color: rgb(13, 142, 99) !important;
  box-shadow: 0 4px 0 rgb(13, 142, 99) !important;
}
#btn-read-theory:hover {
  background: rgb(13, 142, 99) !important;
}

.fa-spin-hover:hover {
  animation: fa-spin 2s linear infinite;
}

.btn-render {
  background: #10b981 !important;
  color: #ffffff !important;
  border-color: #047857 !important;
  box-shadow: 0 4px 0 #047857 !important;
}
.btn-render:hover {
  background: #059669 !important;
}

/* =========================================
   7. INPUTS, TEXTAREA & TABS
   ========================================= */
textarea,
input[type="text"],
input[type="number"],
select {
  background-color: var(--editor-bg);
  color: var(--text-primary);
  border: 2px solid var(--border-color);
  border-radius: 8px;
  padding: 10px 14px;
  font-family: inherit;
  font-size: 0.95rem;
  font-weight: 700;
  outline: none;
  transition:
    border-color 0.2s,
    box-shadow 0.2s;
  width: 100%;
  box-sizing: border-box;
  resize: none;
}
textarea:focus,
input[type="text"]:focus,
input[type="number"]:focus,
select:focus {
  border-color: var(--brand-main);
  box-shadow:
    inset 0 2px 4px rgba(0, 0, 0, 0.04),
    0 0 0 3px var(--brand-light);
}

textarea#script-input,
#data-input {
  font-family: "Consolas", "Monaco", monospace;
  height: 100%;
  border: 2px solid var(--border-color);
  box-shadow: none;
  font-weight: 400;
  font-size: 14px;
  line-height: 1.5;
  margin-bottom: 15px;
}
textarea#script-input:focus,
#data-input:focus {
  border-color: var(--brand-main);
}

/* Tabs */
.tab-header,
.tabs-header {
  display: flex;
  border-bottom: 3px solid var(--canvas-bg);
  margin-bottom: 15px;
}
.tabs-header {
  border-bottom: 1px solid var(--border-color);
  background: var(--editor-bg);
  margin-bottom: 0;
}
.tab-btn {
  flex: 1;
  background: transparent;
  border: none;
  color: var(--text-muted);
  padding: 12px 0;
  font-size: 15px;
  font-weight: 800;
  cursor: pointer;
  transition: all 0.2s ease;
  border-bottom: 3px solid transparent;
  margin-bottom: -3px;
}
.tabs-header .tab-btn {
  padding: 15px;
  font-size: 1rem;
  margin-bottom: 0;
}
.tab-btn:hover {
  color: var(--text-primary);
  background: rgba(0, 0, 0, 0.02);
}
.tab-btn.active {
  color: var(--brand-main);
  border-bottom: 3px solid var(--brand-main);
  background: var(--container-bg);
}
.tab-content {
  display: none;
  flex-direction: column;
  height: calc(100% - 50px);
}
.tab-content.active {
  display: flex;
}

/* =========================================
   8. MENUS DÉROULANTS & BADGES
   ========================================= */
.top-menu-bar {
  display: flex;
  gap: 10px;
  margin-bottom: 12px;
  width: 100%;
}
.dropdown {
  position: relative;
  display: inline-block;
}

.dropdown-content {
  display: none;
  position: absolute;
  top: 100%;
  right: 0;
  left: auto; /* Ancrage à droite */
  min-width: 220px;
  width: fit-content;
  max-height: 65vh;
  overflow-y: auto;
  overflow-x: hidden;
  background-color: var(--container-bg);
  border: 2px solid var(--border-color);
  border-radius: 12px;
  box-shadow: var(--shadow-md);
  z-index: 1000;
  margin-top: 8px;
}
.dropdown:hover .dropdown-content,
.dropdown-content.show {
  display: block;
}
.dropdown-content a {
  color: var(--text-primary);
  padding: 12px 16px;
  text-decoration: none;
  display: flex;
  align-items: center;
  font-size: 0.9rem;
  font-weight: 700;
  cursor: pointer;
  transition: all 0.2s ease;
}
.dropdown-content a i {
  width: 24px;
  color: var(--text-muted);
  transition: color 0.2s ease;
}
.dropdown-content a:hover {
  background-color: var(--brand-light);
  color: var(--brand-dark);
  padding-left: 20px;
}
.dropdown-content a:hover i {
  color: var(--brand-main);
}

/* Scrollbar Menu */
.dropdown-content::-webkit-scrollbar {
  width: 6px;
}
.dropdown-content::-webkit-scrollbar-track {
  background: transparent;
}
.dropdown-content::-webkit-scrollbar-thumb {
  background-color: var(--border-color);
  border-radius: 10px;
}
.dropdown-content::-webkit-scrollbar-thumb:hover {
  background-color: var(--text-muted);
}

/* Menus contextuels & Logs */
.context-menu {
  position: absolute;
  background: var(--container-bg);
  border: 2px solid var(--border-color);
  border-radius: 12px;
  box-shadow: var(--shadow-md);
  z-index: 1000;
  min-width: 140px;
  overflow: hidden;
}
.context-menu div {
  padding: 10px 15px;
  cursor: pointer;
  color: var(--text-primary);
  font-weight: 600;
  font-size: 0.95rem;
  transition: background 0.2s;
}
.context-menu div:hover {
  background: var(--brand-light);
  color: var(--brand-dark);
}

/* =========================================
   CORRECTIONS HUD (Écrase les anciens styles)
   ========================================= */

/* 1. Ramène le texte à l'intérieur de la bulle avec l'icône boussole */
#log-display {
  position: static !important;
  bottom: auto !important;
  background: transparent !important;
  border: none !important;
  box-shadow: none !important;
  padding: 0 !important;
  color: inherit !important;
  pointer-events: auto !important;
  /* Le JS gère l'opacité, on s'assure juste que le style suit */
}

/* Badges */
.result-badge {
  margin-top: 15px;
  padding: 12px;
  border-radius: 12px;
  font-weight: 800;
  font-size: 1rem;
  border: 2px solid transparent;
  text-align: center;
}
.badge-accepted {
  background-color: rgba(52, 211, 153, 0.15);
  color: #059669;
  border-color: #34d399;
  box-shadow: 0 4px 0 #059669;
}
.badge-rejected {
  background-color: rgba(239, 68, 68, 0.15);
  color: #b91c1c;
  border-color: #ef4444;
  box-shadow: 0 4px 0 #b91c1c;
}

/* =========================================
   9. MODALES (Classique, Automates, Théorie)
   ========================================= */
.modal-overlay,
.custom-modal-overlay,
.modal {
  position: fixed;
  top: 0;
  left: 0;
  width: 100vw;
  height: 100vh;
  background: rgba(15, 23, 42, 0.75);
  backdrop-filter: blur(4px);
  z-index: 9999;
  display: flex;
  align-items: center;
  justify-content: center;
}

/* Modale Standard */
.modal-content {
  background: var(--container-bg);
  color: var(--text-primary);
  padding: 25px;
  border-radius: 16px;
  width: 90%;
  max-width: 450px;
  box-shadow: 0 10px 30px rgba(0, 0, 0, 0.15);
  border: 2px solid var(--border-color);
}
.modal-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  border-bottom: 2px solid var(--canvas-bg);
  padding-bottom: 15px;
  margin-bottom: 20px;
}
.modal-header h2 {
  font-weight: 800;
}
.modal-content label {
  font-weight: 700;
  color: var(--text-primary);
  font-size: 0.9rem;
  display: inline-block;
  margin-bottom: 4px;
}

/* Modale Custom (Automates) */
.custom-modal {
  background: var(--container-bg);
  border: 2px solid var(--border-color);
  border-radius: 16px;
  padding: 25px;
  width: 350px;
  box-shadow: 0 20px 40px rgba(0, 0, 0, 0.15);
  animation: modalPop 0.2s cubic-bezier(0.175, 0.885, 0.32, 1.275) forwards;
}
.custom-modal h3 {
  margin: 0 0 10px 0;
  color: var(--brand-main);
  display: flex;
  align-items: center;
  gap: 8px;
}
.custom-modal p {
  font-size: 0.9rem;
  color: var(--text-muted);
  margin-bottom: 20px;
}
.custom-modal input {
  width: 100%;
  padding: 12px;
  border-radius: 8px;
  border: 2px solid var(--border-color);
  font-size: 1rem;
  font-family: monospace;
  font-weight: 800;
  outline: none;
  box-sizing: border-box;
  transition: border-color 0.2s;
}
.custom-modal input:focus {
  border-color: var(--brand-main);
}
.modal-actions {
  display: flex;
  justify-content: flex-end;
  gap: 10px;
  margin-top: 20px;
}

/* Modale Théorie (Large) */
.theory-modal-content {
  background-color: var(--container-bg);
  width: 80% !important;
  max-width: 1000px !important;
  height: 80vh;
  display: flex;
  flex-direction: column;
  border-radius: 12px;
  box-shadow: 0 25px 50px -12px rgba(0, 0, 0, 0.5);
  overflow: hidden;
  animation: modalPop 0.3s ease-out forwards;
}
.theory-modal-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 15px 25px;
  background: var(--editor-bg);
  border-bottom: 2px solid var(--border-color);
}

/* Éléments Modales Divers */
.close-btn {
  font-size: 28px;
  line-height: 1;
  cursor: pointer;
  color: var(--text-muted);
  transition: color 0.2s;
}
.close-btn:hover {
  color: #ef4444;
}
.icon-btn {
  background: var(--canvas-bg);
  border: none;
  border-radius: 50%;
  width: 32px;
  height: 32px;
  color: var(--text-muted);
  font-size: 16px;
  cursor: pointer;
  transition: all 0.2s;
}
.icon-btn:hover {
  background: #ef4444;
  color: white;
  transform: rotate(90deg);
}

.syntax-list {
  list-style: none;
  padding: 0;
}
.syntax-list li {
  margin-bottom: 12px;
  padding-bottom: 12px;
  border-bottom: 2px dashed var(--canvas-bg);
  display: flex;
  flex-direction: column;
  gap: 5px;
}
.syntax-list code {
  color: var(--brand-main);
  font-family: "Consolas", monospace;
  font-weight: 800;
  font-size: 15px;
  background: var(--brand-light);
  padding: 2px 8px;
  border-radius: 6px;
  display: inline-block;
  width: fit-content;
}
.syntax-list span {
  font-size: 14px;
  color: var(--text-muted);
  font-weight: 600;
}
.guide-list {
  list-style: none;
  margin-top: 12px;
  text-align: left;
}
.guide-list li {
  font-size: 0.85rem;
  margin-bottom: 8px;
  color: var(--text-primary);
  display: flex;
  gap: 8px;
}
.guide-list li i {
  color: var(--brand-main);
  margin-top: 3px;
}

@keyframes modalPop {
  from {
    opacity: 0;
    transform: scale(0.95);
  }
  to {
    opacity: 1;
    transform: scale(1);
  }
}

/* =========================================
   10. MENU DES ALGORITHMES
   ========================================= */
.algo-item {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 12px 16px;
  transition: background-color 0.2s ease;
}
.algo-item:hover {
  background-color: var(--editor-bg);
}
.algo-name {
  cursor: pointer;
  flex-grow: 1;
  color: var(--text-primary);
  font-weight: 600;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.algo-name i {
  width: 20px;
  text-align: center;
  color: var(--text-primary);
}
.algo-name:hover {
  color: var(--brand-main);
}

.algo-actions {
  display: flex;
  gap: 12px;
  align-items: center;
}
.algo-actions i {
  cursor: pointer;
  color: var(--text-muted);
  font-size: 1.1rem;
  transition:
    color 0.2s,
    transform 0.1s;
}
.algo-actions i.fa-play:hover {
  color: #10b981;
  transform: scale(1.1);
}
.algo-actions i.fa-file-code:hover {
  color: #3b82f6;
  transform: scale(1.1);
}
.algo-actions i.fa-book-open:hover {
  color: #f59e0b;
  transform: scale(1.1);
}

#terminal-container {
  padding: 12px;
  border-radius: 8px; /* Bords arrondis pour moderniser */
  /* Transition douce pour le changement de thème */
  transition:
    background-color 0.3s ease,
    border-color 0.3s ease;
}

/* 1. On s'assure que le fond du conteneur change avec le thème */
body:not(.dark-mode) #terminal-container {
  background-color: #f8f9fa; /* La même couleur que ton lightTheme JS */
  border: 1px solid #e1e4e8;
}

body.dark-mode #terminal-container {
  background-color: #1e1e1e; /* La même couleur que ton darkTheme JS */
  border: 1px solid #181a1f;
}

/* 2. On force les éléments internes de XTerm.js à être transparents 
   pour laisser passer la couleur du conteneur parent */
#terminal-container .xterm,
#terminal-container .xterm-viewport {
  background-color: transparent !important;
}