/**
 * ElecNum — Plateforme Architecture des Ordinateurs
 * Styles partagés (logique combinatoire, TD, arithmétique, séquentiel, machines à états)
 */

@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700;800&family=JetBrains+Mono:wght@400;700&display=swap');

:root {
  --wire-off: #005a00;
  --wire-on: #00ff00;
  --gate-bg: #ffffff;
  --board-bg: #f8fafc;
  --color-primary: #2563eb;
  --color-success: #16a34a;
  --color-error: #dc2626;
  --color-border: #e2e8f0;
  --color-text: #0f172a;
  --color-muted: #64748b;
  --radius-card: 1rem;
  --radius-btn: 0.5rem;
}

/* Base */
body {
  font-family: 'Inter', sans-serif;
  background-color: #f1f5f9;
  color: var(--color-text);
  line-height: 1.6;
}

.font-mono {
  font-family: 'JetBrains Mono', monospace;
}

/* Skip link (accessibilité) */
.skip-link {
  position: absolute;
  top: -2.5rem;
  left: 0.5rem;
  padding: 0.5rem 1rem;
  background: var(--color-primary);
  color: white;
  font-weight: 600;
  border-radius: var(--radius-btn);
  z-index: 100;
  transition: top 0.2s;
}
.skip-link:focus {
  top: 0.5rem;
}

/* Navigation pages internes */
.nav-page {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  padding: 0.5rem 0.75rem;
  border-radius: var(--radius-btn);
  font-weight: 600;
  font-size: 0.9rem;
  color: var(--color-muted);
  text-decoration: none;
  transition: background 0.2s, color 0.2s;
}
.nav-page:hover {
  background-color: var(--color-border);
  color: var(--color-primary);
}
.nav-page i {
  width: 1.25rem;
  text-align: center;
}

/* Cartes d'accueil */
.card-module {
  transition: transform 0.2s, box-shadow 0.2s;
}
.card-module:hover {
  transform: translateY(-2px);
  box-shadow: 0 10px 25px -5px rgb(0 0 0 / 0.1);
}

/* Formules logiques (barres de négation sans LaTeX) */
.overline {
  text-decoration: overline;
  text-decoration-thickness: 1.5px;
  text-decoration-style: solid;
}
.k-formula-display {
  font-family: 'JetBrains Mono', monospace;
  font-weight: bold;
}
.k-formula-display .overline {
  display: inline;
}
.logic-sym {
  font-family: 'JetBrains Mono', monospace;
  font-weight: bold;
  color: var(--color-primary);
}

/* Bloc consignes */
.consignes {
  background: linear-gradient(135deg, #eff6ff 0%, #e0f2fe 100%);
  border-left: 4px solid var(--color-primary);
}
.consignes h4 {
  color: #1e40af;
}

/* Définitions — symboles des portes */
.gate-def {
  min-width: 3.5rem;
  height: 2.25rem;
  display: flex;
  align-items: center;
  justify-content: center;
  background: var(--gate-bg);
  border: 1px solid #cbd5e1;
  border-radius: 6px;
  padding: 2px;
}
.gate-def svg {
  flex-shrink: 0;
  stroke: var(--color-text);
}
.gate-def-item {
  align-items: center;
}

/* Cellules Karnaugh */
.k-cell {
  cursor: pointer;
  user-select: none;
  transition: background 0.1s, color 0.1s, border 0.1s;
  font-family: 'JetBrains Mono', monospace;
  font-weight: bold;
}
.k-cell:hover {
  background-color: var(--color-border);
}
.k-cell.correct {
  background-color: #dcfce7 !important;
  color: #166534 !important;
  border: 2px solid var(--color-success) !important;
}
.k-cell.wrong {
  background-color: #fee2e2 !important;
  color: #991b1b !important;
  border: 2px solid var(--color-error) !important;
  animation: shake 0.3s;
}

/* Paquets Karnaugh (bordures colorées) */
.k-group-0 { box-shadow: inset 0 0 0 3px #2563eb; }
.k-group-1 { box-shadow: inset 0 0 0 3px #16a34a; }
.k-group-2 { box-shadow: inset 0 0 0 3px #ca8a04; }
.k-group-3 { box-shadow: inset 0 0 0 3px #c026d3; }
.k-group-4 { box-shadow: inset 0 0 0 3px #dc2626; }
.k-group-5 { box-shadow: inset 0 0 0 3px #0891b2; }

/* Style Logisim : fils et portes */
.sim-wire {
  stroke: var(--wire-off);
  stroke-width: 3;
  fill: none;
  transition: stroke 0.15s, filter 0.15s;
  stroke-linecap: round;
  stroke-linejoin: round;
}
.sim-wire.on {
  stroke: var(--wire-on);
  filter: drop-shadow(0 0 4px var(--wire-on));
}
.sim-gate {
  fill: #ffffff;
  stroke: #1e293b;
  stroke-width: 2;
}
.sim-gate-pin {
  fill: none;
  stroke: #1e293b;
  stroke-width: 2;
}
.sim-pin {
  cursor: pointer;
  transition: all 0.2s;
}
.sim-pin:hover circle {
  stroke: var(--color-primary);
  stroke-width: 3;
}
.sim-text {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: bold;
  pointer-events: none;
  user-select: none;
}
.chrono-line {
  transition: stroke 0.2s;
}

/* Scrollbar personnalisée */
.custom-scroll::-webkit-scrollbar {
  width: 6px;
}
.custom-scroll::-webkit-scrollbar-track {
  background: transparent;
}
.custom-scroll::-webkit-scrollbar-thumb {
  background-color: #cbd5e1;
  border-radius: 20px;
}

/* Focus visible (accessibilité) */
button:focus-visible,
a:focus-visible,
input:focus-visible,
select:focus-visible {
  outline: 2px solid var(--color-primary);
  outline-offset: 2px;
}

/* Pied de page commun */
.site-footer {
  margin-top: 3rem;
  padding: 1.5rem 0;
  border-top: 1px solid var(--color-border);
  text-align: center;
  font-size: 0.875rem;
  color: var(--color-muted);
}

@keyframes shake {
  0% { transform: translateX(0); }
  25% { transform: translateX(-4px); }
  75% { transform: translateX(4px); }
  100% { transform: translateX(0); }
}

/* Mode sombre */
.dark-mode {
  background-color: #0f172a;
  color: #e2e8f0;
}
.dark-mode .bg-white {
  background-color: #1e293b !important;
}
.dark-mode .bg-slate-100,
.dark-mode .bg-slate-50 {
  background-color: #1e293b !important;
}
.dark-mode .bg-slate-200 {
  background-color: #334155 !important;
}
.dark-mode .text-slate-800,
.dark-mode .text-slate-700 {
  color: #f1f5f9 !important;
}
.dark-mode .text-slate-600 {
  color: #cbd5e1 !important;
}
.dark-mode .text-slate-500 {
  color: #94a3b8 !important;
}
.dark-mode .text-slate-400 {
  color: #64748b !important;
}
.dark-mode .border-slate-200,
.dark-mode .border-slate-100 {
  border-color: #475569 !important;
}
.dark-mode .border-slate-300 {
  border-color: #64748b !important;
}
.dark-mode .bg-slate-900 {
  background-color: #0f172a !important;
}
.dark-mode header {
  background-color: #1e293b !important;
  border-color: #334155 !important;
}
.dark-mode .card-module {
  background-color: #1e293b !important;
  border-color: #475569 !important;
}
.dark-mode input,
.dark-mode select {
  background-color: #1e293b !important;
  border-color: #475569 !important;
  color: #f1f5f9 !important;
}
.dark-mode input::placeholder {
  color: #64748b !important;
}
.dark-mode .gate-def {
  background-color: #1e293b !important;
  border-color: #475569 !important;
}
.dark-mode .bg-blue-50,
.dark-mode .bg-purple-50,
.dark-mode .bg-green-50,
.dark-mode .bg-amber-50 {
  background-color: #1e293b !important;
}
.dark-mode .bg-gradient-to-r {
  background: linear-gradient(to right, #1e293b, #1e293b) !important;
}
.dark-mode button:hover {
  opacity: 0.9;
}
.dark-mode .hover\:bg-slate-100:hover {
  background-color: #334155 !important;
}
.dark-mode .hover\:bg-slate-300:hover {
  background-color: #475569 !important;
}
.dark-mode .site-footer {
  color: #94a3b8 !important;
}
.dark-mode .site-footer a {
  color: #60a5fa !important;
}
.dark-mode .bg-green-100,
.dark-mode .bg-yellow-100,
.dark-mode .bg-red-100 {
  background-color: #334155 !important;
}
.dark-mode .text-green-700,
.dark-mode .text-yellow-700,
.dark-mode .text-red-700 {
  color: #cbd5e1 !important;
}
.dark-mode .border-green-300,
.dark-mode .border-yellow-300,
.dark-mode .border-red-300 {
  border-color: #64748b !important;
}
.dark-mode .ring-2 {
  box-shadow: 0 0 0 2px #60a5fa !important;
}
.dark-mode .bg-green-50,
.dark-mode .bg-red-50,
.dark-mode .bg-amber-50,
.dark-mode .bg-orange-50,
.dark-mode .bg-indigo-50,
.dark-mode .bg-pink-50 {
  background-color: #1e293b !important;
}
.dark-mode .bg-green-100 {
  background-color: #1e3a3a !important;
}
.dark-mode .bg-red-100 {
  background-color: #3a1e1e !important;
}
.dark-mode .text-green-800 {
  color: #86efac !important;
}
.dark-mode .text-red-800 {
  color: #fca5a5 !important;
}
.dark-mode .text-amber-600 {
  color: #fbbf24 !important;
}
.dark-mode .bg-amber-50 {
  background-color: #451a03 !important;
}
.dark-mode .bg-blue-50 {
  background-color: #1e3a5f !important;
}
.dark-mode .bg-green-50 {
  background-color: #1a3a1a !important;
}
.dark-mode .bg-red-50 {
  background-color: #3a1a1a !important;
}
.dark-mode .bg-gradient-to-r.from-blue-50.to-purple-50,
.dark-mode .bg-gradient-to-r.from-green-50.to-emerald-50,
.dark-mode .bg-gradient-to-r.from-purple-50.to-pink-50,
.dark-mode .bg-gradient-to-r.from-amber-50.to-orange-50 {
  background: linear-gradient(to right, #1e293b, #1e293b) !important;
}
.dark-mode .bg-slate-900 {
  background-color: #0a0f1a !important;
}
.dark-mode .text-white {
  color: #f1f5f9 !important;
}
.dark-mode .text-slate-400 {
  color: #64748b !important;
}