/* ============================================================
   Half Subtractor Virtual Laboratory — Style Sheet
   Virtual Instrumentation Labs Interactive Learning Platform
   ============================================================ */

/* ── Reset & Base ──────────────────────────────────────────── */
*,
*::before,
*::after {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

:root {
  /* Laboratory Light Palette */
  --lab-bg: #f8fafc;
  --panel-bg: #ffffff;
  --panel-header-bg: #0f172a;
  --panel-header-text: #0f172a;
  --panel-border: #e2e8f0;
  --card-bg: #ffffff;
  --card-bg-subtle: #f8fafc;
  --header-bg: #0f172a;
  --header-text: #0f172a;

  --accent: #2563eb;
  --accent-hover: #1d4ed8;
  --accent-light: #dbeafe;
  --accent-glow: rgba(37, 99, 235, 0.35);

  --text-primary: #0f172a;
  --text-secondary: #475569;
  --text-muted: #94a3b8;

  /* Signal & Logic Colors */
  --wire-off: #94a3b8;
  --wire-on: #2563eb;
  --wire-on-glow: rgba(37, 99, 235, 0.45);
  --signal-high: #2563eb;
  --signal-low: #64748b;

  --success: #16a34a;
  --success-bg: #dcfce7;
  --success-border: #86efac;

  --danger: #dc2626;
  --danger-hover: #b91c1c;
  --danger-bg: #fee2e2;
  --danger-border: #fca5a5;

  /* Circuit Canvas & SVG Elements */
  --circuit-bg: #f8fafc;
  --circuit-canvas-bg: #ffffff;
  --circuit-border: #e2e8f0;
  --gate-fill: #ffffff;
  --gate-stroke: #1e293b;
  --gate-text: #1e293b;
  --gate-active: #eff6ff;
  --gate-active-stroke: #2563eb;
  --gate-active-text: #2563eb;
  --term-bg: #f1f5f9;
  --term-stroke: #cbd5e1;
  --term-text: #0f172a;
  --term-sub: #64748b;
  --term-active-bg: #dbeafe;
  --term-active-stroke: #2563eb;
  --term-active-text: #2563eb;
  --probe-bg: #ffffff;
  --probe-stroke: #cbd5e1;
  --probe-label: #64748b;
  --probe-val: #2563eb;

  /* Table & UI */
  --table-bg: #ffffff;
  --table-header-bg: #f1f5f9;
  --table-border: #e2e8f0;
  --table-hover: #f8fafc;
  --table-active-bg: #eff6ff;
  --table-active-text: #2563eb;

  --badge-low-bg: #f1f5f9;
  --badge-low-text: #64748b;
  --badge-low-border: #e2e8f0;
  --badge-high-bg: #dbeafe;
  --badge-high-text: #2563eb;
  --badge-high-border: #2563eb;

  --btn-sec-bg: #f1f5f9;
  --btn-sec-text: #1e293b;
  --btn-sec-border: #cbd5e1;
  --btn-sec-hover: #e2e8f0;

  --toggle-track: #cbd5e1;
  --toggle-knob: #ffffff;

  --shadow-sm: 0 1px 3px rgba(0, 0, 0, 0.08);
  --shadow-md: 0 4px 12px rgba(0, 0, 0, 0.08);
  --shadow-lg: 0 10px 25px rgba(0, 0, 0, 0.1);

  --radius-sm: 6px;
  --radius-md: 10px;
  --radius-lg: 14px;

  --font-sans: 'Inter', 'Segoe UI', -apple-system, BlinkMacSystemFont, sans-serif;
  --font-mono: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
}

/* ── Dark / Black Theme ────────────────────────────────────── */
[data-theme="dark"],
html.dark,
body.dark,
.dark {
  --lab-bg: #070b14;
  --panel-bg: #0d1424;
  --panel-header-bg: #080d1a;
  --panel-header-text: #f8fafc;
  --panel-border: #1e293b;
  --card-bg: #111a2e;
  --card-bg-subtle: #09101f;
  --header-bg: #050811;
  --header-text: #f8fafc;

  --accent: #38bdf8;
  --accent-hover: #0284c7;
  --accent-light: #0c2d48;
  --accent-glow: rgba(56, 189, 248, 0.6);

  --text-primary: #f8fafc;
  --text-secondary: #94a3b8;
  --text-muted: #64748b;

  /* Signal & Logic Colors */
  --wire-off: #475569;
  --wire-on: #38bdf8;
  --wire-on-glow: rgba(56, 189, 248, 0.8);
  --signal-high: #38bdf8;
  --signal-low: #64748b;

  --success: #22c55e;
  --success-bg: #052e16;
  --success-border: #15803d;

  --danger: #ef4444;
  --danger-hover: #dc2626;
  --danger-bg: #450a0a;
  --danger-border: #991b1b;

  /* Circuit Canvas & SVG Elements */
  --circuit-bg: #060a14;
  --circuit-canvas-bg: #0b1120;
  --circuit-border: #1e293b;
  --gate-fill: #162036;
  --gate-stroke: #38bdf8;
  --gate-text: #e2e8f0;
  --gate-active: #0c283f;
  --gate-active-stroke: #38bdf8;
  --gate-active-text: #38bdf8;
  --term-bg: #111827;
  --term-stroke: #334155;
  --term-text: #e2e8f0;
  --term-sub: #94a3b8;
  --term-active-bg: #0c2d48;
  --term-active-stroke: #38bdf8;
  --term-active-text: #38bdf8;
  --probe-bg: #111827;
  --probe-stroke: #1e293b;
  --probe-label: #94a3b8;
  --probe-val: #38bdf8;

  /* Table & UI */
  --table-bg: #0d1424;
  --table-header-bg: #131d31;
  --table-border: #1e293b;
  --table-hover: #172338;
  --table-active-bg: rgba(56, 189, 248, 0.16);
  --table-active-text: #38bdf8;

  --badge-low-bg: #1e293b;
  --badge-low-text: #94a3b8;
  --badge-low-border: #334155;
  --badge-high-bg: rgba(56, 189, 248, 0.2);
  --badge-high-text: #38bdf8;
  --badge-high-border: #38bdf8;

  --btn-sec-bg: #1e293b;
  --btn-sec-text: #f1f5f9;
  --btn-sec-border: #334155;
  --btn-sec-hover: #334155;

  --toggle-track: #1e293b;
  --toggle-knob: #f8fafc;

  --shadow-sm: 0 2px 6px rgba(0, 0, 0, 0.4);
  --shadow-md: 0 6px 18px rgba(0, 0, 0, 0.5);
  --shadow-lg: 0 12px 32px rgba(0, 0, 0, 0.7);
}

html {
  font-size: 15px;
  scroll-behavior: smooth;
}

.overline {
  text-decoration: overline;
}

body {
  font-family: var(--font-sans);
  background: var(--lab-bg);
  color: var(--text-primary);
  line-height: 1.6;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  transition: background-color 0.3s ease, color 0.3s ease;
}

/* ── Custom Scrollbar ──────────────────────────────────────── */
::-webkit-scrollbar {
  width: 8px;
  height: 8px;
}

::-webkit-scrollbar-track {
  background: var(--card-bg-subtle);
}

::-webkit-scrollbar-thumb {
  background: var(--wire-off);
  border-radius: 4px;
}

::-webkit-scrollbar-thumb:hover {
  background: var(--text-muted);
}

/* ── Laboratory Title Bar ──────────────────────────────────── */
.lab-title-bar {
  background: var(--header-bg);
  color: var(--header-text);
  padding: 14px 28px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  position: sticky;
  top: 0;
  z-index: 100;
  border-bottom: 1px solid var(--panel-border);
  box-shadow: 0 4px 20px rgba(0, 0, 0, 0.35);
}

.lab-title-container h1 {
  font-size: 1.25rem;
  font-weight: 700;
  letter-spacing: 0.3px;
  color: var(--header-text);
}

.lab-title-bar .lab-subtitle {
  font-size: 0.8rem;
  color: var(--text-muted);
  font-weight: 400;
  display: block;
}

.lab-title-bar .sim-theme-toggle-wrap {
  margin-left: auto;
  margin-right: 14px;
  order: 2;
}

.lab-title-bar .lab-badge {
  order: 3;
}

.lab-badge {
  background: var(--accent);
  color: #ffffff;
  font-size: 0.72rem;
  padding: 5px 12px;
  border-radius: 12px;
  font-weight: 600;
  letter-spacing: 0.5px;
  text-transform: uppercase;
  box-shadow: 0 2px 8px var(--accent-glow);
}

/* ── Main Layout ──────────────────────────────────────────── */
.lab-main {
  max-width: 1240px;
  margin: 0 auto;
  padding: 24px 20px 48px;
  display: flex;
  flex-direction: column;
  gap: 24px;
  width: 100%;
  flex: 1;
}

/* ── Lab Panel Component ───────────────────────────────────── */
.lab-panel {
  background: var(--panel-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-lg);
  overflow: hidden;
  box-shadow: var(--shadow-sm);
  transition: box-shadow 0.2s ease, border-color 0.2s ease, background-color 0.3s ease;
  display: flex;
  flex-direction: column;
}

.lab-panel:hover {
  box-shadow: var(--shadow-md);
  border-color: var(--accent);
}

.lab-panel__header {
  background: var(--panel-header-bg);
  color: var(--panel-header-text);
  padding: 12px 20px;
  font-size: 0.92rem;
  font-weight: 600;
  display: flex;
  align-items: center;
  gap: 8px;
  letter-spacing: 0.2px;
  border-bottom: 1px solid var(--panel-border);
}

.lab-panel__header .icon {
  font-size: 1.1rem;
}

.lab-panel__body {
  padding: 20px;
  flex: 1;
  display: flex;
  flex-direction: column;
}

/* ── Top Layout Grid: Inputs & Outputs ─────────────────────── */
.lab-top-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
}

/* Input Controls Body */
.input-controls-body {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  gap: 20px;
  flex: 1;
}

.input-control-group {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
}

.input-control-card {
  background: var(--card-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-md);
  padding: 14px 16px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  box-shadow: var(--shadow-sm);
  transition: transform 0.15s ease, border-color 0.15s ease, background-color 0.3s ease;
}

.input-control-card:hover {
  border-color: var(--accent);
  box-shadow: 0 4px 12px var(--accent-glow);
}

.input-meta {
  display: flex;
  flex-direction: column;
}

.input-symbol {
  font-size: 1.25rem;
  font-weight: 700;
  color: var(--text-primary);
}

.input-role {
  font-size: 0.76rem;
  color: var(--text-secondary);
  font-weight: 500;
}

/* Toggle Switch Component */
.toggle-btn {
  background: none;
  border: none;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 10px;
  outline: none;
}

.toggle-btn__track {
  width: 50px;
  height: 26px;
  background: var(--toggle-track);
  border: 1px solid var(--panel-border);
  border-radius: 13px;
  position: relative;
  transition: background-color 0.25s ease, box-shadow 0.25s ease, border-color 0.25s ease;
}

.toggle-btn__knob {
  width: 20px;
  height: 20px;
  background: var(--toggle-knob);
  border-radius: 50%;
  position: absolute;
  top: 2px;
  left: 2px;
  transition: transform 0.25s cubic-bezier(0.4, 0, 0.2, 1);
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.35);
}

.toggle-btn__state {
  font-family: var(--font-mono);
  font-size: 1.1rem;
  font-weight: 700;
  width: 24px;
  text-align: center;
  color: var(--text-secondary);
  transition: color 0.2s ease;
}

/* Active Toggle Switch States */
.toggle-btn.high .toggle-btn__track {
  background: var(--accent);
  border-color: var(--accent);
  box-shadow: 0 0 12px var(--accent-glow);
}

.toggle-btn.high .toggle-btn__knob {
  transform: translateX(24px);
}

.toggle-btn.high .toggle-btn__state {
  color: var(--accent);
}

/* Buttons */
.lab-controls-row {
  display: flex;
  gap: 12px;
}

.btn {
  padding: 10px 16px;
  font-size: 0.85rem;
  font-weight: 600;
  border-radius: var(--radius-md);
  border: 1px solid transparent;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  transition: background-color 0.2s ease, transform 0.1s ease, box-shadow 0.2s ease, border-color 0.2s ease, color 0.2s ease;
}

.btn:active {
  transform: scale(0.98);
}

.btn--primary {
  background: var(--accent);
  color: #ffffff;
  flex: 1;
}

.btn--primary:hover {
  background: var(--accent-hover);
  box-shadow: 0 4px 14px var(--accent-glow);
}

.btn--secondary {
  background: var(--btn-sec-bg);
  color: var(--btn-sec-text);
  border: 1px solid var(--btn-sec-border);
}

.btn--secondary:hover {
  background: var(--btn-sec-hover);
  border-color: var(--accent);
  color: var(--text-primary);
}

.btn--danger {
  background: var(--danger);
  color: #ffffff;
}

.btn--danger:hover {
  background: var(--danger-hover);
  box-shadow: 0 4px 14px rgba(239, 68, 68, 0.35);
}

/* Output Monitor Body */
.output-monitor-body {
  display: flex;
  flex-direction: column;
  gap: 16px;
}

.output-cards-grid {
  display: grid;
  grid-template-columns: 1fr 1fr 1fr;
  gap: 12px;
}

.output-card {
  background: var(--card-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-md);
  padding: 12px;
  display: flex;
  flex-direction: column;
  align-items: center;
  text-align: center;
  position: relative;
  box-shadow: var(--shadow-sm);
  transition: background-color 0.3s ease, border-color 0.2s ease;
}

.output-card.intermediate {
  background: var(--card-bg-subtle);
  border-style: dashed;
}

.output-card__title {
  font-size: 0.7rem;
  font-weight: 700;
  color: var(--text-secondary);
  letter-spacing: 0.5px;
}

.output-card__formula {
  font-family: var(--font-mono);
  font-size: 0.72rem;
  color: var(--text-muted);
  margin-bottom: 6px;
}

.output-card__value {
  font-family: var(--font-mono);
  font-size: 1.8rem;
  font-weight: 800;
  line-height: 1;
  color: var(--text-secondary);
  transition: color 0.2s ease, transform 0.2s ease, text-shadow 0.2s ease;
}

.output-card__value.high {
  color: var(--accent);
  transform: scale(1.1);
  text-shadow: 0 0 14px var(--accent-glow);
}

/* Verification Badge */
.verification-wrapper {
  background: var(--card-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-md);
  padding: 12px 16px;
  text-align: center;
  transition: background-color 0.3s ease, border-color 0.2s ease;
}

.verification-badge {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 6px 16px;
  border-radius: 20px;
  font-size: 0.85rem;
  font-weight: 700;
  letter-spacing: 0.5px;
  transition: all 0.3s ease;
}

.verification-badge.verified {
  background: var(--success-bg);
  color: var(--success);
  border: 1px solid var(--success-border);
  box-shadow: 0 0 12px rgba(34, 197, 94, 0.25);
}

.verification-badge.unverified {
  background: var(--danger-bg);
  color: var(--danger);
  border: 1px solid var(--danger-border);
  box-shadow: 0 0 12px rgba(239, 68, 68, 0.25);
}

.verification-subtext {
  font-size: 0.78rem;
  color: var(--text-secondary);
  margin-top: 6px;
  font-weight: 500;
  font-family: var(--font-mono);
}

/* ── Main Circuit SVG Panel ────────────────────────────────── */
.circuit-body {
  background: var(--circuit-bg) !important;
  padding: 24px;
  display: flex;
  justify-content: center;
  transition: background-color 0.3s ease;
}

.circuit-canvas {
  width: 100%;
  max-width: 900px;
  background: var(--circuit-canvas-bg) !important;
  border: 1px solid var(--circuit-border) !important;
  border-radius: var(--radius-md);
  padding: 10px;
  box-shadow: inset 0 2px 10px rgba(0, 0, 0, 0.3);
}

.circuit-canvas svg {
  width: 100%;
  height: auto;
  display: block;
}

/* SVG Circuit Diagram Styles */
.wire {
  stroke: var(--wire-off) !important;
  stroke-width: 3.5;
  stroke-linecap: round;
  stroke-linejoin: round;
  fill: none;
  transition: stroke 0.25s ease, filter 0.25s ease;
}

.wire.active {
  stroke: var(--wire-on) !important;
  filter: drop-shadow(0 0 5px var(--wire-on-glow));
}

.wire-flow {
  stroke: var(--wire-on);
  stroke-width: 3.5;
  stroke-linecap: round;
  stroke-linejoin: round;
  fill: none;
  stroke-dasharray: 8, 12;
  opacity: 0;
}

.wire-flow.active {
  opacity: 1;
  animation: dashFlow 0.8s linear infinite;
}

@keyframes dashFlow {
  from {
    stroke-dashoffset: 20;
  }

  to {
    stroke-dashoffset: 0;
  }
}

/* Junction Dots */
.junction-dot {
  fill: var(--wire-off) !important;
  transition: fill 0.25s ease, filter 0.25s ease;
}

.junction-dot.active {
  fill: var(--wire-on) !important;
  filter: drop-shadow(0 0 5px var(--wire-on-glow));
}

/* Logic Gate Styling */
.gate-shape {
  fill: var(--gate-fill) !important;
  stroke: var(--gate-stroke) !important;
  stroke-width: 3;
  stroke-linejoin: round;
  stroke-linecap: round;
  transition: fill 0.25s ease, stroke 0.25s ease, filter 0.25s ease;
}

.xor-back-line {
  stroke: var(--gate-stroke) !important;
  stroke-width: 3;
  fill: none;
  stroke-linecap: round;
  transition: stroke 0.25s ease;
}

.gate-bubble {
  fill: var(--gate-fill) !important;
  stroke: var(--gate-stroke) !important;
  stroke-width: 3;
  transition: fill 0.25s ease, stroke 0.25s ease;
}

.gate-text {
  font-family: var(--font-sans);
  font-size: 14px;
  font-weight: 700;
  fill: var(--gate-text) !important;
  text-anchor: middle;
  dominant-baseline: central;
  transition: fill 0.25s ease;
}

.gate-group.active .gate-shape,
.gate-group.active .gate-bubble {
  fill: var(--gate-active) !important;
  stroke: var(--gate-active-stroke) !important;
  filter: drop-shadow(0 0 10px var(--accent-glow));
}

.gate-group.active .gate-text {
  fill: var(--gate-active-text) !important;
  font-weight: 800;
}

.gate-group.active .xor-back-line {
  stroke: var(--gate-active-stroke) !important;
}

/* Input Terminals */
.term-bg {
  fill: var(--term-bg) !important;
  stroke: var(--term-stroke) !important;
  stroke-width: 2.5;
  transition: fill 0.25s ease, stroke 0.25s ease, filter 0.25s ease;
}

.term-group.active .term-bg {
  fill: var(--term-active-bg) !important;
  stroke: var(--term-active-stroke) !important;
  filter: drop-shadow(0 0 8px var(--accent-glow));
}

.term-label {
  font-family: var(--font-sans);
  font-size: 15px;
  font-weight: 800;
  fill: var(--term-text) !important;
  text-anchor: middle;
  transition: fill 0.25s ease;
}

.term-group.active .term-label {
  fill: var(--term-active-text) !important;
}

.term-sub {
  font-family: var(--font-sans);
  font-size: 9px;
  font-weight: 600;
  fill: var(--term-sub) !important;
  text-anchor: middle;
}

.svg-value-pill {
  font-family: var(--font-mono);
  font-size: 15px;
  font-weight: 800;
  fill: var(--text-secondary) !important;
  text-anchor: middle;
  dominant-baseline: central;
  transition: fill 0.25s ease, filter 0.25s ease;
}

.svg-value-pill.low {
  fill: var(--text-secondary) !important;
}

.svg-value-pill.high {
  fill: var(--accent) !important;
  filter: drop-shadow(0 0 5px var(--accent-glow));
}

/* Output Terminals */
.out-term-bg {
  fill: var(--term-bg) !important;
  stroke: var(--term-stroke) !important;
  stroke-width: 2.5;
  transition: fill 0.25s ease, stroke 0.25s ease, filter 0.25s ease;
}

.term-group.active .out-term-bg {
  fill: var(--term-active-bg) !important;
  stroke: var(--term-active-stroke) !important;
  filter: drop-shadow(0 0 10px var(--accent-glow));
}

.out-term-label {
  font-family: var(--font-sans);
  font-size: 15px;
  font-weight: 800;
  fill: var(--term-text) !important;
  text-anchor: middle;
  dominant-baseline: central;
  transition: fill 0.25s ease;
}

.term-group.active .out-term-label {
  fill: var(--term-active-text) !important;
}

.out-term-title {
  font-family: var(--font-sans);
  font-size: 11px;
  font-weight: 800;
  fill: var(--text-primary) !important;
  text-anchor: middle;
  letter-spacing: 0.5px;
}

.out-term-sub {
  font-family: var(--font-mono);
  font-size: 10px;
  font-weight: 600;
  fill: var(--text-secondary) !important;
  text-anchor: middle;
}

.term-sub-top {
  font-family: var(--font-sans);
  font-size: 10px;
  font-weight: 700;
  fill: var(--text-secondary) !important;
  text-anchor: middle;
  letter-spacing: 0.5px;
}

/* Probe Group */
.probe-bg {
  fill: var(--probe-bg) !important;
  stroke: var(--probe-stroke) !important;
  stroke-width: 1.5;
  transition: fill 0.25s ease, stroke 0.25s ease;
}

.probe-label {
  font-family: var(--font-mono);
  font-size: 11px;
  font-weight: 600;
  fill: var(--probe-label) !important;
  text-anchor: middle;
}

.probe-val {
  font-weight: 800;
  fill: var(--probe-val) !important;
}

/* ── Bottom Grid: Truth Table & Theory ────────────────────── */
.lab-bottom-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
}

.panel-desc {
  font-size: 0.82rem;
  color: var(--text-secondary);
  margin-bottom: 12px;
}

/* Truth Table Styling */
.table-container {
  overflow-x: auto;
  border-radius: var(--radius-md);
  border: 1px solid var(--table-border);
}

.truth-table {
  width: 100%;
  border-collapse: collapse;
  background: var(--table-bg);
  font-size: 0.86rem;
  text-align: center;
  transition: background-color 0.3s ease;
}

.truth-table th {
  background: var(--table-header-bg);
  color: var(--text-primary);
  padding: 10px 12px;
  font-weight: 700;
  border-bottom: 2px solid var(--table-border);
  transition: background-color 0.3s ease, color 0.3s ease;
}

.truth-table td {
  padding: 10px 12px;
  border-bottom: 1px solid var(--table-border);
  color: var(--text-secondary);
  transition: background-color 0.2s ease, color 0.2s ease;
}

.truth-table tbody tr {
  cursor: pointer;
  transition: background-color 0.2s ease;
}

.truth-table tbody tr:hover {
  background-color: var(--table-hover);
}

.truth-table tbody tr.active-row {
  background-color: var(--table-active-bg) !important;
  font-weight: 700;
}

.truth-table tbody tr.active-row td {
  color: var(--table-active-text) !important;
  border-bottom-color: var(--accent);
}

.bit-badge {
  display: inline-block;
  width: 24px;
  height: 24px;
  line-height: 22px;
  border-radius: 50%;
  font-family: var(--font-mono);
  font-weight: 700;
  font-size: 0.8rem;
  text-align: center;
  transition: all 0.2s ease;
}

.bit-badge.low {
  background: var(--badge-low-bg);
  color: var(--badge-low-text);
  border: 1px solid var(--badge-low-border);
}

.bit-badge.high {
  background: var(--badge-high-bg);
  color: var(--badge-high-text);
  border: 1px solid var(--badge-high-border);
  box-shadow: 0 0 8px var(--accent-glow);
}

.formula-cell {
  font-family: var(--font-mono);
  font-size: 0.78rem;
}

/* Educational Theory Body */
.theory-body {
  max-height: 440px;
  overflow-y: auto;
  padding-right: 12px;
}

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

.theory-card {
  background: var(--card-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-md);
  padding: 14px 16px;
  box-shadow: var(--shadow-sm);
  transition: background-color 0.3s ease, border-color 0.2s ease;
}

.theory-card.highlight-card {
  border-left: 4px solid var(--accent);
  background: var(--card-bg-subtle);
  border-color: var(--panel-border);
}

[data-theme="dark"] .theory-card.highlight-card,
html.dark .theory-card.highlight-card,
body.dark .theory-card.highlight-card,
.dark .theory-card.highlight-card {
  border-left: 4px solid #818cf8 !important;
  background: #15122e !important;
  border-color: #4338ca !important;
  color: #c7d2fe !important;
}

.theory-card h3 {
  font-size: 0.92rem;
  font-weight: 700;
  color: var(--text-primary);
  margin-bottom: 6px;
}

.theory-card p {
  font-size: 0.84rem;
  color: var(--text-secondary);
  line-height: 1.5;
}

.theory-list {
  padding-left: 18px;
  font-size: 0.84rem;
  color: var(--text-secondary);
}

.theory-list li {
  margin-bottom: 6px;
}

/* Gate Roles Grid */
.gate-roles-grid {
  display: flex;
  flex-direction: column;
  gap: 10px;
  margin-top: 8px;
}

.gate-role-item {
  display: flex;
  flex-direction: column;
  gap: 2px;
}

.gate-badge {
  display: inline-block;
  align-self: flex-start;
  padding: 2px 8px;
  border-radius: 4px;
  font-size: 0.72rem;
  font-weight: 700;
  color: #ffffff;
}

.gate-badge.xor {
  background: #2563eb;
}

.gate-badge.not {
  background: #7c3aed;
}

.gate-badge.and {
  background: #0284c7;
}

/* ── Footer ────────────────────────────────────────────────── */
.lab-footer {
  text-align: center;
  padding: 16px 20px;
  background: var(--header-bg);
  color: var(--text-muted);
  font-size: 0.78rem;
  margin-top: auto;
  border-top: 1px solid var(--panel-border);
}

/* ── Explicit Direct Dark Mode Overrides for Absolute Reliability ── */
[data-theme="dark"] body,
html.dark body,
body.dark {
  background-color: #070b14 !important;
  color: #f8fafc !important;
}

/* Header & Title Bar */
[data-theme="dark"] .lab-title-bar,
html.dark .lab-title-bar,
body.dark .lab-title-bar {
  background: #080d1a !important;
  border-bottom: 1px solid #1e293b !important;
  color: #f8fafc !important;
}

[data-theme="dark"] .lab-title-container h1,
html.dark .lab-title-container h1,
body.dark .lab-title-container h1 {
  color: #f8fafc !important;
}

[data-theme="dark"] .lab-subtitle,
html.dark .lab-subtitle,
body.dark .lab-subtitle {
  color: #94a3b8 !important;
}



[data-theme="dark"] .lab-badge,
html.dark .lab-badge,
body.dark .lab-badge {
  background: rgba(56, 189, 248, 0.15) !important;
  border: 1px solid #38bdf8 !important;
  color: #38bdf8 !important;
  box-shadow: 0 0 10px rgba(56, 189, 248, 0.3) !important;
}

/* Panels */
[data-theme="dark"] .lab-panel,
html.dark .lab-panel,
body.dark .lab-panel {
  background: #0d1424 !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .lab-panel:hover,
html.dark .lab-panel:hover,
body.dark .lab-panel:hover {
  border-color: #38bdf8 !important;
}

[data-theme="dark"] .lab-panel__header,
html.dark .lab-panel__header,
body.dark .lab-panel__header {
  background: #080d1a !important;
  color: #f8fafc !important;
  border-bottom-color: #1e293b !important;
}

[data-theme="dark"] .panel-desc,
html.dark .panel-desc,
body.dark .panel-desc {
  color: #94a3b8 !important;
}

/* Input Controls */
[data-theme="dark"] .input-control-card,
html.dark .input-control-card,
body.dark .input-control-card {
  background: #111a2e !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .input-control-card:hover,
html.dark .input-control-card:hover,
body.dark .input-control-card:hover {
  border-color: #38bdf8 !important;
  box-shadow: 0 4px 16px rgba(56, 189, 248, 0.25) !important;
}

[data-theme="dark"] .input-symbol,
html.dark .input-symbol,
body.dark .input-symbol {
  color: #f8fafc !important;
}

[data-theme="dark"] .input-role,
html.dark .input-role,
body.dark .input-role {
  color: #94a3b8 !important;
}

[data-theme="dark"] .toggle-btn__track,
html.dark .toggle-btn__track,
body.dark .toggle-btn__track {
  background: #1e293b !important;
  border-color: #334155 !important;
}

[data-theme="dark"] .toggle-btn__knob,
html.dark .toggle-btn__knob,
body.dark .toggle-btn__knob {
  background: #f8fafc !important;
  box-shadow: 0 2px 5px rgba(0, 0, 0, 0.5) !important;
}

[data-theme="dark"] .toggle-btn__state,
html.dark .toggle-btn__state,
body.dark .toggle-btn__state {
  color: #94a3b8 !important;
}

[data-theme="dark"] .toggle-btn.high .toggle-btn__track,
html.dark .toggle-btn.high .toggle-btn__track,
body.dark .toggle-btn.high .toggle-btn__track {
  background: #0284c7 !important;
  border-color: #38bdf8 !important;
  box-shadow: 0 0 12px rgba(56, 189, 248, 0.6) !important;
}

[data-theme="dark"] .toggle-btn.high .toggle-btn__knob,
html.dark .toggle-btn.high .toggle-btn__knob,
body.dark .toggle-btn.high .toggle-btn__knob {
  background: #ffffff !important;
}

[data-theme="dark"] .toggle-btn.high .toggle-btn__state,
html.dark .toggle-btn.high .toggle-btn__state,
body.dark .toggle-btn.high .toggle-btn__state {
  color: #38bdf8 !important;
  font-weight: 800 !important;
}

/* Action Buttons */
[data-theme="dark"] .btn--secondary,
html.dark .btn--secondary,
body.dark .btn--secondary {
  background: #1e293b !important;
  border-color: #334155 !important;
  color: #f1f5f9 !important;
}

[data-theme="dark"] .btn--secondary:hover,
html.dark .btn--secondary:hover,
body.dark .btn--secondary:hover {
  background: #334155 !important;
  border-color: #38bdf8 !important;
  color: #38bdf8 !important;
}

[data-theme="dark"] .btn--primary,
html.dark .btn--primary,
body.dark .btn--primary {
  background: #0284c7 !important;
  border-color: #0284c7 !important;
  color: #ffffff !important;
}

[data-theme="dark"] .btn--primary:hover,
html.dark .btn--primary:hover,
body.dark .btn--primary:hover {
  background: #0369a1 !important;
  border-color: #38bdf8 !important;
  box-shadow: 0 4px 16px rgba(56, 189, 248, 0.45) !important;
}

/* Output Cards */
[data-theme="dark"] .output-card,
html.dark .output-card,
body.dark .output-card {
  background: #111a2e !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .output-card.intermediate,
html.dark .output-card.intermediate,
body.dark .output-card.intermediate {
  background: #09101f !important;
  border-color: #334155 !important;
}

[data-theme="dark"] .output-card__title,
html.dark .output-card__title,
body.dark .output-card__title {
  color: #cbd5e1 !important;
}

[data-theme="dark"] .output-card__formula,
html.dark .output-card__formula,
body.dark .output-card__formula {
  color: #94a3b8 !important;
}

[data-theme="dark"] .output-card__value,
html.dark .output-card__value,
body.dark .output-card__value {
  color: #64748b !important;
}

[data-theme="dark"] .output-card__value.high,
html.dark .output-card__value.high,
body.dark .output-card__value.high {
  color: #38bdf8 !important;
  text-shadow: 0 0 14px rgba(56, 189, 248, 0.8) !important;
}

[data-theme="dark"] .output-card:has(.output-card__value.high),
html.dark .output-card:has(.output-card__value.high),
body.dark .output-card:has(.output-card__value.high) {
  border-color: rgba(56, 189, 248, 0.4) !important;
  box-shadow: 0 0 16px rgba(56, 189, 248, 0.15) !important;
}

/* Verification Badge */
[data-theme="dark"] .verification-wrapper,
html.dark .verification-wrapper,
body.dark .verification-wrapper {
  background: #111a2e !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .verification-badge.verified,
html.dark .verification-badge.verified,
body.dark .verification-badge.verified {
  background: rgba(34, 197, 94, 0.18) !important;
  color: #4ade80 !important;
  border: 1px solid #22c55e !important;
  box-shadow: 0 0 14px rgba(34, 197, 94, 0.3) !important;
}

[data-theme="dark"] .verification-badge.unverified,
html.dark .verification-badge.unverified,
body.dark .verification-badge.unverified {
  background: rgba(239, 68, 68, 0.18) !important;
  color: #f87171 !important;
  border: 1px solid #ef4444 !important;
  box-shadow: 0 0 14px rgba(239, 68, 68, 0.3) !important;
}

[data-theme="dark"] .verification-subtext,
html.dark .verification-subtext,
body.dark .verification-subtext {
  color: #94a3b8 !important;
}

/* Circuit Canvas & SVG Diagram */
[data-theme="dark"] .circuit-body,
html.dark .circuit-body,
body.dark .circuit-body {
  background: #060a14 !important;
}

[data-theme="dark"] .circuit-canvas,
html.dark .circuit-canvas,
body.dark .circuit-canvas {
  background: #0b1120 !important;
  border-color: #1e293b !important;
  box-shadow: inset 0 2px 14px rgba(0, 0, 0, 0.6) !important;
}

/* Wires & Flow */
[data-theme="dark"] .wire,
html.dark .wire,
body.dark .wire {
  stroke: #475569 !important;
  stroke-width: 3.5;
}

[data-theme="dark"] .wire.active,
html.dark .wire.active,
body.dark .wire.active {
  stroke: #38bdf8 !important;
  filter: drop-shadow(0 0 6px rgba(56, 189, 248, 0.9)) !important;
}

[data-theme="dark"] .wire-flow,
html.dark .wire-flow,
body.dark .wire-flow {
  stroke: #38bdf8 !important;
}

[data-theme="dark"] .junction-dot,
html.dark .junction-dot,
body.dark .junction-dot {
  fill: #475569 !important;
}

[data-theme="dark"] .junction-dot.active,
html.dark .junction-dot.active,
body.dark .junction-dot.active {
  fill: #38bdf8 !important;
  filter: drop-shadow(0 0 6px rgba(56, 189, 248, 0.9)) !important;
}

/* Logic Gates */
[data-theme="dark"] .gate-shape,
html.dark .gate-shape,
body.dark .gate-shape,
[data-theme="dark"] .gate-bubble,
html.dark .gate-bubble,
body.dark .gate-bubble {
  fill: #162036 !important;
  stroke: #38bdf8 !important;
  stroke-width: 3;
}

[data-theme="dark"] .xor-back-line,
html.dark .xor-back-line,
body.dark .xor-back-line {
  stroke: #38bdf8 !important;
  stroke-width: 3;
}

[data-theme="dark"] .gate-text,
html.dark .gate-text,
body.dark .gate-text {
  fill: #e2e8f0 !important;
  font-weight: 700;
}

[data-theme="dark"] .gate-group.active .gate-shape,
html.dark .gate-group.active .gate-shape,
body.dark .gate-group.active .gate-shape,
[data-theme="dark"] .gate-group.active .gate-bubble,
html.dark .gate-group.active .gate-bubble,
body.dark .gate-group.active .gate-bubble {
  fill: #0c283f !important;
  stroke: #38bdf8 !important;
  filter: drop-shadow(0 0 12px rgba(56, 189, 248, 0.8)) !important;
}

[data-theme="dark"] .gate-group.active .gate-text,
html.dark .gate-group.active .gate-text,
body.dark .gate-group.active .gate-text {
  fill: #38bdf8 !important;
  font-weight: 800;
}

[data-theme="dark"] .gate-group.active .xor-back-line,
html.dark .gate-group.active .xor-back-line,
body.dark .gate-group.active .xor-back-line {
  stroke: #38bdf8 !important;
}

/* Terminals */
[data-theme="dark"] .term-bg,
html.dark .term-bg,
body.dark .term-bg,
[data-theme="dark"] .out-term-bg,
html.dark .out-term-bg,
body.dark .out-term-bg {
  fill: #111827 !important;
  stroke: #334155 !important;
}

[data-theme="dark"] .term-group.active .term-bg,
html.dark .term-group.active .term-bg,
body.dark .term-group.active .term-bg,
[data-theme="dark"] .term-group.active .out-term-bg,
html.dark .term-group.active .out-term-bg,
body.dark .term-group.active .out-term-bg {
  fill: #0c2d48 !important;
  stroke: #38bdf8 !important;
  filter: drop-shadow(0 0 10px rgba(56, 189, 248, 0.8)) !important;
}

[data-theme="dark"] .term-label,
html.dark .term-label,
body.dark .term-label,
[data-theme="dark"] .out-term-label,
html.dark .out-term-label,
body.dark .out-term-label,
[data-theme="dark"] .out-term-title,
html.dark .out-term-title,
body.dark .out-term-title {
  fill: #f8fafc !important;
}

[data-theme="dark"] .term-group.active .term-label,
html.dark .term-group.active .term-label,
body.dark .term-group.active .term-label,
[data-theme="dark"] .term-group.active .out-term-label,
html.dark .term-group.active .out-term-label,
body.dark .term-group.active .out-term-label {
  fill: #38bdf8 !important;
}

[data-theme="dark"] .term-sub,
html.dark .term-sub,
body.dark .term-sub,
[data-theme="dark"] .out-term-sub,
html.dark .out-term-sub,
body.dark .out-term-sub {
  fill: #94a3b8 !important;
}

/* Probes & Value Pills */
[data-theme="dark"] .probe-bg,
html.dark .probe-bg,
body.dark .probe-bg {
  fill: #111827 !important;
  stroke: #1e293b !important;
}

[data-theme="dark"] .probe-label,
html.dark .probe-label,
body.dark .probe-label {
  fill: #94a3b8 !important;
}

[data-theme="dark"] .probe-val,
html.dark .probe-val,
body.dark .probe-val {
  fill: #38bdf8 !important;
  font-weight: 800;
}

[data-theme="dark"] .svg-value-pill,
html.dark .svg-value-pill,
body.dark .svg-value-pill {
  fill: #64748b !important;
}

[data-theme="dark"] .svg-value-pill.high,
html.dark .svg-value-pill.high,
body.dark .svg-value-pill.high {
  fill: #38bdf8 !important;
  filter: drop-shadow(0 0 6px rgba(56, 189, 248, 0.9)) !important;
}

/* Truth Table */
[data-theme="dark"] .table-container,
html.dark .table-container,
body.dark .table-container {
  border-color: #1e293b !important;
  background: #0d1424 !important;
}

[data-theme="dark"] .truth-table,
html.dark .truth-table,
body.dark .truth-table {
  background: #0d1424 !important;
}

[data-theme="dark"] .truth-table th,
html.dark .truth-table th,
body.dark .truth-table th {
  background: #131d31 !important;
  color: #38bdf8 !important;
  border-bottom: 2px solid #1e293b !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .truth-table td,
html.dark .truth-table td,
body.dark .truth-table td {
  background: #0d1424 !important;
  color: #cbd5e1 !important;
  border-bottom: 1px solid #1e293b !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .truth-table tbody tr:hover td,
html.dark .truth-table tbody tr:hover td,
body.dark .truth-table tbody tr:hover td {
  background: #172338 !important;
}

[data-theme="dark"] .truth-table tbody tr.active-row td,
html.dark .truth-table tbody tr.active-row td,
body.dark .truth-table tbody tr.active-row td {
  background: rgba(56, 189, 248, 0.18) !important;
  color: #38bdf8 !important;
  border-bottom-color: #38bdf8 !important;
  font-weight: 700 !important;
}

[data-theme="dark"] .bit-badge.low,
html.dark .bit-badge.low,
body.dark .bit-badge.low {
  background: #1e293b !important;
  color: #94a3b8 !important;
  border: 1px solid #334155 !important;
}

[data-theme="dark"] .bit-badge.high,
html.dark .bit-badge.high,
body.dark .bit-badge.high {
  background: rgba(56, 189, 248, 0.22) !important;
  color: #38bdf8 !important;
  border: 1px solid #38bdf8 !important;
  box-shadow: 0 0 10px rgba(56, 189, 248, 0.5) !important;
}

[data-theme="dark"] .formula-cell,
html.dark .formula-cell,
body.dark .formula-cell {
  color: #94a3b8 !important;
}

[data-theme="dark"] .truth-table tbody tr.active-row .formula-cell,
html.dark .truth-table tbody tr.active-row .formula-cell,
body.dark .truth-table tbody tr.active-row .formula-cell {
  color: #f8fafc !important;
}

/* Educational Theory */
[data-theme="dark"] .theory-card,
html.dark .theory-card,
body.dark .theory-card {
  background: #111a2e !important;
  border-color: #1e293b !important;
}

[data-theme="dark"] .theory-card h3,
html.dark .theory-card h3,
body.dark .theory-card h3 {
  color: #f8fafc !important;
}

[data-theme="dark"] .theory-card p,
html.dark .theory-card p,
body.dark .theory-card p {
  color: #cbd5e1 !important;
}

[data-theme="dark"] .theory-card strong,
html.dark .theory-card strong,
body.dark .theory-card strong {
  color: #f8fafc !important;
}

[data-theme="dark"] .theory-list li,
html.dark .theory-list li,
body.dark .theory-list li {
  color: #cbd5e1 !important;
}

[data-theme="dark"] .theory-card.highlight-card,
html.dark .theory-card.highlight-card,
body.dark .theory-card.highlight-card {
  background: #0e1830 !important;
  border-left: 4px solid #38bdf8 !important;
  border-color: #1e3a5f !important;
  color: #e2e8f0 !important;
}

[data-theme="dark"] .gate-badge.xor,
html.dark .gate-badge.xor,
body.dark .gate-badge.xor {
  background: #2563eb !important;
  color: #ffffff !important;
}

[data-theme="dark"] .gate-badge.not,
html.dark .gate-badge.not,
body.dark .gate-badge.not {
  background: #7c3aed !important;
  color: #ffffff !important;
}

[data-theme="dark"] .gate-badge.and,
html.dark .gate-badge.and,
body.dark .gate-badge.and {
  background: #0284c7 !important;
  color: #ffffff !important;
}

[data-theme="dark"] .gate-role-item p,
html.dark .gate-role-item p,
body.dark .gate-role-item p {
  color: #94a3b8 !important;
}

/* Footer & Scrollbars */
[data-theme="dark"] .lab-footer,
html.dark .lab-footer,
body.dark .lab-footer {
  background: #080d1a !important;
  border-top-color: #1e293b !important;
  color: #64748b !important;
}

[data-theme="dark"] ::-webkit-scrollbar-track,
html.dark ::-webkit-scrollbar-track,
body.dark ::-webkit-scrollbar-track {
  background: #09101f !important;
}

[data-theme="dark"] ::-webkit-scrollbar-thumb,
html.dark ::-webkit-scrollbar-thumb,
body.dark ::-webkit-scrollbar-thumb {
  background: #334155 !important;
}

[data-theme="dark"] ::-webkit-scrollbar-thumb:hover,
html.dark ::-webkit-scrollbar-thumb:hover,
body.dark ::-webkit-scrollbar-thumb:hover {
  background: #475569 !important;
}

/* ── Explicit Direct Light Mode Overrides for Absolute Reliability ── */
html[data-theme="light"] body,
html:not(.dark):not([data-theme="dark"]) body {
  background-color: #f8fafc !important;
  color: #0f172a !important;
}

html[data-theme="light"] .lab-title-bar,
html:not(.dark):not([data-theme="dark"]) .lab-title-bar {
  background: #ffffff !important;
  border-bottom: 1px solid #e2e8f0 !important;
  box-shadow: 0 1px 4px rgba(0, 0, 0, 0.08) !important;
}

html[data-theme="light"] .lab-title-container h1,
html:not(.dark):not([data-theme="dark"]) .lab-title-container h1 {
  color: #0f172a !important;
}

html[data-theme="light"] .lab-subtitle,
html:not(.dark):not([data-theme="dark"]) .lab-subtitle {
  color: #64748b !important;
}

html[data-theme="light"] .lab-panel,
html:not(.dark):not([data-theme="dark"]) .lab-panel {
  background: #ffffff !important;
  border-color: #e2e8f0 !important;
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.05) !important;
}

html[data-theme="light"] .lab-panel__header,
html:not(.dark):not([data-theme="dark"]) .lab-panel__header {
  background: #f1f5f9 !important;
  color: #0f172a !important;
  border-bottom: 1px solid #e2e8f0 !important;
}

html[data-theme="light"] .panel-desc,
html:not(.dark):not([data-theme="dark"]) .panel-desc {
  color: #475569 !important;
}

html[data-theme="light"] .circuit-body,
html:not(.dark):not([data-theme="dark"]) .circuit-body {
  background: #f8fafc !important;
}

html[data-theme="light"] .circuit-canvas,
html:not(.dark):not([data-theme="dark"]) .circuit-canvas {
  background: #ffffff !important;
  border-color: #e2e8f0 !important;
  box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.06) !important;
}

html[data-theme="light"] .input-control-card,
html:not(.dark):not([data-theme="dark"]) .input-control-card,
html[data-theme="light"] .output-card,
html:not(.dark):not([data-theme="dark"]) .output-card,
html[data-theme="light"] .verification-wrapper,
html:not(.dark):not([data-theme="dark"]) .verification-wrapper,
html[data-theme="light"] .theory-card,
html:not(.dark):not([data-theme="dark"]) .theory-card {
  background: #ffffff !important;
  border-color: #e2e8f0 !important;
}

html[data-theme="light"] .output-card.intermediate,
html:not(.dark):not([data-theme="dark"]) .output-card.intermediate {
  background: #f8fafc !important;
  border-color: #cbd5e1 !important;
}

html[data-theme="light"] .input-symbol,
html:not(.dark):not([data-theme="dark"]) .input-symbol {
  color: #0f172a !important;
}

html[data-theme="light"] .input-role,
html:not(.dark):not([data-theme="dark"]) .input-role {
  color: #64748b !important;
}

html[data-theme="light"] .output-card__title,
html:not(.dark):not([data-theme="dark"]) .output-card__title {
  color: #475569 !important;
}

html[data-theme="light"] .output-card__formula,
html:not(.dark):not([data-theme="dark"]) .output-card__formula {
  color: #64748b !important;
}

html[data-theme="light"] .output-card__value,
html:not(.dark):not([data-theme="dark"]) .output-card__value {
  color: #475569 !important;
}

html[data-theme="light"] .output-card__value.high,
html:not(.dark):not([data-theme="dark"]) .output-card__value.high {
  color: #2563eb !important;
  text-shadow: 0 0 12px rgba(37, 99, 235, 0.35) !important;
}

html[data-theme="light"] .toggle-btn__track,
html:not(.dark):not([data-theme="dark"]) .toggle-btn__track {
  background: #cbd5e1 !important;
  border-color: #94a3b8 !important;
}

html[data-theme="light"] .toggle-btn__knob,
html:not(.dark):not([data-theme="dark"]) .toggle-btn__knob {
  background: #ffffff !important;
}

html[data-theme="light"] .toggle-btn__state,
html:not(.dark):not([data-theme="dark"]) .toggle-btn__state {
  color: #475569 !important;
}

html[data-theme="light"] .toggle-btn.high .toggle-btn__track,
html:not(.dark):not([data-theme="dark"]) .toggle-btn.high .toggle-btn__track {
  background: #2563eb !important;
  border-color: #1d4ed8 !important;
  box-shadow: 0 0 10px rgba(37, 99, 235, 0.4) !important;
}

html[data-theme="light"] .toggle-btn.high .toggle-btn__knob,
html:not(.dark):not([data-theme="dark"]) .toggle-btn.high .toggle-btn__knob {
  background: #ffffff !important;
}

html[data-theme="light"] .toggle-btn.high .toggle-btn__state,
html:not(.dark):not([data-theme="dark"]) .toggle-btn.high .toggle-btn__state {
  color: #2563eb !important;
}

html[data-theme="light"] .btn--secondary,
html:not(.dark):not([data-theme="dark"]) .btn--secondary {
  background: #f1f5f9 !important;
  border-color: #cbd5e1 !important;
  color: #1e293b !important;
}

html[data-theme="light"] .btn--secondary:hover,
html:not(.dark):not([data-theme="dark"]) .btn--secondary:hover {
  background: #e2e8f0 !important;
  border-color: #2563eb !important;
  color: #2563eb !important;
}

html[data-theme="light"] .btn--primary,
html:not(.dark):not([data-theme="dark"]) .btn--primary {
  background: #2563eb !important;
  border-color: #2563eb !important;
  color: #ffffff !important;
}

html[data-theme="light"] .btn--primary:hover,
html:not(.dark):not([data-theme="dark"]) .btn--primary:hover {
  background: #1d4ed8 !important;
  box-shadow: 0 4px 12px rgba(37, 99, 235, 0.3) !important;
}

html[data-theme="light"] .verification-wrapper,
html:not(.dark):not([data-theme="dark"]) .verification-wrapper {
  background: #ffffff !important;
  border-color: #e2e8f0 !important;
}

html[data-theme="light"] .verification-subtext,
html:not(.dark):not([data-theme="dark"]) .verification-subtext {
  color: #475569 !important;
}

/* Wires in Light Mode */
html[data-theme="light"] .wire,
html:not(.dark):not([data-theme="dark"]) .wire {
  stroke: #94a3b8 !important;
}

html[data-theme="light"] .wire.active,
html:not(.dark):not([data-theme="dark"]) .wire.active {
  stroke: #2563eb !important;
  filter: drop-shadow(0 0 5px rgba(37, 99, 235, 0.5)) !important;
}

html[data-theme="light"] .wire-flow,
html:not(.dark):not([data-theme="dark"]) .wire-flow {
  stroke: #2563eb !important;
}

html[data-theme="light"] .junction-dot,
html:not(.dark):not([data-theme="dark"]) .junction-dot {
  fill: #94a3b8 !important;
}

html[data-theme="light"] .junction-dot.active,
html:not(.dark):not([data-theme="dark"]) .junction-dot.active {
  fill: #2563eb !important;
  filter: drop-shadow(0 0 5px rgba(37, 99, 235, 0.5)) !important;
}

/* Gates in Light Mode */
html[data-theme="light"] .gate-shape,
html:not(.dark):not([data-theme="dark"]) .gate-shape,
html[data-theme="light"] .gate-bubble,
html:not(.dark):not([data-theme="dark"]) .gate-bubble {
  fill: #f1f5f9 !important;
  stroke: #1e293b !important;
}

html[data-theme="light"] .xor-back-line,
html:not(.dark):not([data-theme="dark"]) .xor-back-line {
  stroke: #1e293b !important;
}

html[data-theme="light"] .gate-text,
html:not(.dark):not([data-theme="dark"]) .gate-text {
  fill: #1e293b !important;
}

html[data-theme="light"] .gate-group.active .gate-shape,
html:not(.dark):not([data-theme="dark"]) .gate-group.active .gate-shape,
html[data-theme="light"] .gate-group.active .gate-bubble,
html:not(.dark):not([data-theme="dark"]) .gate-group.active .gate-bubble {
  fill: #eff6ff !important;
  stroke: #2563eb !important;
  filter: drop-shadow(0 0 8px rgba(37, 99, 235, 0.4)) !important;
}

html[data-theme="light"] .gate-group.active .gate-text,
html:not(.dark):not([data-theme="dark"]) .gate-group.active .gate-text {
  fill: #2563eb !important;
}

html[data-theme="light"] .gate-group.active .xor-back-line,
html:not(.dark):not([data-theme="dark"]) .gate-group.active .xor-back-line {
  stroke: #2563eb !important;
}

/* Terminals in Light Mode */
html[data-theme="light"] .term-bg,
html:not(.dark):not([data-theme="dark"]) .term-bg,
html[data-theme="light"] .out-term-bg,
html:not(.dark):not([data-theme="dark"]) .out-term-bg {
  fill: #f1f5f9 !important;
  stroke: #cbd5e1 !important;
}

html[data-theme="light"] .term-group.active .term-bg,
html:not(.dark):not([data-theme="dark"]) .term-group.active .term-bg,
html[data-theme="light"] .term-group.active .out-term-bg,
html:not(.dark):not([data-theme="dark"]) .term-group.active .out-term-bg {
  fill: #dbeafe !important;
  stroke: #2563eb !important;
  filter: drop-shadow(0 0 8px rgba(37, 99, 235, 0.4)) !important;
}

html[data-theme="light"] .term-label,
html:not(.dark):not([data-theme="dark"]) .term-label,
html[data-theme="light"] .out-term-label,
html:not(.dark):not([data-theme="dark"]) .out-term-label,
html[data-theme="light"] .out-term-title,
html:not(.dark):not([data-theme="dark"]) .out-term-title {
  fill: #0f172a !important;
}

html[data-theme="light"] .term-group.active .term-label,
html:not(.dark):not([data-theme="dark"]) .term-group.active .term-label,
html[data-theme="light"] .term-group.active .out-term-label,
html:not(.dark):not([data-theme="dark"]) .term-group.active .out-term-label {
  fill: #2563eb !important;
}

html[data-theme="light"] .term-sub,
html:not(.dark):not([data-theme="dark"]) .term-sub,
html[data-theme="light"] .out-term-sub,
html:not(.dark):not([data-theme="dark"]) .out-term-sub {
  fill: #64748b !important;
}

html[data-theme="light"] .probe-bg,
html:not(.dark):not([data-theme="dark"]) .probe-bg {
  fill: #ffffff !important;
  stroke: #cbd5e1 !important;
}

html[data-theme="light"] .probe-label,
html:not(.dark):not([data-theme="dark"]) .probe-label {
  fill: #64748b !important;
}

html[data-theme="light"] .probe-val,
html:not(.dark):not([data-theme="dark"]) .probe-val {
  fill: #2563eb !important;
}

html[data-theme="light"] .svg-value-pill,
html:not(.dark):not([data-theme="dark"]) .svg-value-pill {
  fill: #64748b !important;
}

html[data-theme="light"] .svg-value-pill.high,
html:not(.dark):not([data-theme="dark"]) .svg-value-pill.high {
  fill: #2563eb !important;
}

/* Truth Table in Light Mode */
html[data-theme="light"] .table-container,
html:not(.dark):not([data-theme="dark"]) .table-container {
  border-color: #e2e8f0 !important;
  background: #ffffff !important;
}

html[data-theme="light"] .truth-table,
html:not(.dark):not([data-theme="dark"]) .truth-table {
  background: #ffffff !important;
}

html[data-theme="light"] .truth-table th,
html:not(.dark):not([data-theme="dark"]) .truth-table th {
  background: #f1f5f9 !important;
  color: #0f172a !important;
  border-bottom: 2px solid #e2e8f0 !important;
  border-color: #e2e8f0 !important;
}

html[data-theme="light"] .truth-table td,
html:not(.dark):not([data-theme="dark"]) .truth-table td {
  background: #ffffff !important;
  color: #334155 !important;
  border-bottom: 1px solid #e2e8f0 !important;
  border-color: #e2e8f0 !important;
}

html[data-theme="light"] .truth-table tbody tr:hover td,
html:not(.dark):not([data-theme="dark"]) .truth-table tbody tr:hover td {
  background: #f8fafc !important;
}

html[data-theme="light"] .truth-table tbody tr.active-row td,
html:not(.dark):not([data-theme="dark"]) .truth-table tbody tr.active-row td {
  background: #eff6ff !important;
  color: #2563eb !important;
  border-bottom-color: #2563eb !important;
  font-weight: 700 !important;
}

html[data-theme="light"] .bit-badge.low,
html:not(.dark):not([data-theme="dark"]) .bit-badge.low {
  background: #f1f5f9 !important;
  color: #64748b !important;
  border: 1px solid #cbd5e1 !important;
}

html[data-theme="light"] .bit-badge.high,
html:not(.dark):not([data-theme="dark"]) .bit-badge.high {
  background: #dbeafe !important;
  color: #2563eb !important;
  border: 1px solid #2563eb !important;
  box-shadow: 0 0 8px rgba(37, 99, 235, 0.3) !important;
}

html[data-theme="light"] .formula-cell,
html:not(.dark):not([data-theme="dark"]) .formula-cell {
  color: #64748b !important;
}

html[data-theme="light"] .truth-table tbody tr.active-row .formula-cell,
html:not(.dark):not([data-theme="dark"]) .truth-table tbody tr.active-row .formula-cell {
  color: #0f172a !important;
}

/* Theory in Light Mode */
html[data-theme="light"] .theory-card,
html:not(.dark):not([data-theme="dark"]) .theory-card {
  background: #ffffff !important;
  border-color: #e2e8f0 !important;
}

html[data-theme="light"] .theory-card h3,
html:not(.dark):not([data-theme="dark"]) .theory-card h3 {
  color: #0f172a !important;
}

html[data-theme="light"] .theory-card p,
html:not(.dark):not([data-theme="dark"]) .theory-card p,
html[data-theme="light"] .theory-list li,
html:not(.dark):not([data-theme="dark"]) .theory-list li {
  color: #475569 !important;
}

html[data-theme="light"] .theory-card strong,
html:not(.dark):not([data-theme="dark"]) .theory-card strong {
  color: #0f172a !important;
}

html[data-theme="light"] .theory-card.highlight-card,
html:not(.dark):not([data-theme="dark"]) .theory-card.highlight-card {
  background: #eff6ff !important;
  border-left: 4px solid #2563eb !important;
  border-color: #bfdbfe !important;
  color: #1e3a8a !important;
}

html[data-theme="light"] .gate-role-item p,
html:not(.dark):not([data-theme="dark"]) .gate-role-item p {
  color: #475569 !important;
}

html[data-theme="light"] .lab-footer,
html:not(.dark):not([data-theme="dark"]) .lab-footer {
  background: #ffffff !important;
  border-top-color: #e2e8f0 !important;
  color: #64748b !important;
}

/* ── Responsive Design Breakpoints ─────────────────────────── */
@media (max-width: 992px) {

  .lab-top-grid,
  .lab-bottom-grid {
    grid-template-columns: 1fr;
  }

  .output-cards-grid {
    grid-template-columns: 1fr 1fr 1fr;
  }
}

@media (max-width: 640px) {
  .lab-title-bar {
    padding: 12px 16px;
    flex-direction: column;
    align-items: flex-start;
    gap: 10px;
  }

  .lab-header-actions {
    width: 100%;
    justify-content: space-between;
  }

  .output-cards-grid {
    grid-template-columns: 1fr;
  }

  .input-control-group {
    grid-template-columns: 1fr;
  }

  .lab-controls-row {
    flex-direction: column;
  }

  .circuit-body {
    padding: 12px 6px;
  }
}