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

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

:root {
  /* Laboratory Colour Palette */
  --lab-bg: #ffffff;
  --panel-bg: #f8fafc;
  --panel-border: #cbd5e1;
  --header-bg: #0f172a;
  --header-text: #ffffff;
  --accent: #2563eb;
  --accent-hover: #1d4ed8;
  --accent-light: #dbeafe;
  --text-primary: #0f172a;
  --text-secondary: #475569;
  --text-muted: #94a3b8;

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

  /* LED Colors */
  --led-off-bg: #475569;
  --led-off-border: #334155;
  --led-on-bg: #10b981;
  --led-on-border: #059669;
  --led-on-glow: 0 0 14px rgba(16, 185, 129, 0.7);

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

  --gate-fill: #f1f5f9;
  --gate-stroke: #1e293b;
  --gate-active-fill: #eff6ff;
  --gate-active-stroke: #2563eb;

  --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: 4px;
  --radius-md: 8px;
  --radius-lg: 12px;

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

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;
}

/* ── Laboratory Title Bar ──────────────────────────────────── */
.lab-title-bar {
  background: var(--header-bg);
  color: var(--header-text);
  padding: 16px 28px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  position: sticky;
  top: 0;
  z-index: 100;
  box-shadow: 0 2px 10px rgba(0, 0, 0, 0.25);
}

.lab-title-container h1 {
  font-size: 1.25rem;
  font-weight: 700;
  letter-spacing: 0.3px;
}

.lab-title-bar .lab-subtitle {
  font-size: 0.8rem;
  color: #94a3b8;
  font-weight: 400;
  display: block;
}

.lab-badge {
  background: var(--accent);
  color: #fff;
  font-size: 0.72rem;
  padding: 4px 12px;
  border-radius: 12px;
  font-weight: 600;
  letter-spacing: 0.5px;
  text-transform: uppercase;
}

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

/* ── Toolbar & Control Bar ─────────────────────────────────── */
.lab-toolbar {
  background: var(--panel-bg);
  border: 1px solid var(--panel-border);
  border-radius: var(--radius-lg);
  padding: 14px 20px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
  box-shadow: var(--shadow-sm);
}

.toolbar-group {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-wrap: wrap;
}

.toolbar-label {
  font-size: 0.75rem;
  font-weight: 700;
  color: var(--text-secondary);
  letter-spacing: 0.5px;
}

.toolbar-divider {
  width: 1px;
  height: 28px;
  background: var(--panel-border);
}

/* Button Component Styles */
.btn {
  font-family: inherit;
  font-size: 0.85rem;
  font-weight: 600;
  padding: 8px 16px;
  border-radius: var(--radius-md);
  border: 1px solid transparent;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  transition: all 0.2s ease;
  user-select: none;
}

.btn .icon {
  font-size: 1rem;
}

.btn--mode {
  background: #ffffff;
  border-color: var(--panel-border);
  color: var(--text-secondary);
}

.btn--mode:hover {
  background: #f1f5f9;
  color: var(--text-primary);
}

.btn--mode.active {
  background: var(--accent);
  border-color: var(--accent);
  color: #ffffff;
  box-shadow: 0 2px 6px rgba(37, 99, 235, 0.3);
}

.btn--secondary {
  background: #1e293b;
  color: #ffffff;
}

.btn--secondary:hover:not(:disabled) {
  background: #334155;
}

.btn--secondary:disabled {
  background: #e2e8f0;
  color: #94a3b8;
  cursor: not-allowed;
  border-color: #cbd5e1;
}

.btn--outline {
  background: #ffffff;
  border-color: #cbd5e1;
  color: #334155;
}

.btn--outline:hover {
  background: #f8fafc;
  border-color: #94a3b8;
}

.btn--accent {
  background: #2563eb;
  color: #ffffff;
}

.btn--accent:hover {
  background: #1d4ed8;
}

/* ── 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;
  display: flex;
  flex-direction: column;
}

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

.lab-panel__header {
  background: #1e293b;
  color: #ffffff;
  padding: 12px 20px;
  font-size: 0.92rem;
  font-weight: 600;
  display: flex;
  align-items: center;
  gap: 10px;
  letter-spacing: 0.2px;
  flex-shrink: 0;
}

.lab-panel__header .view-pill {
  margin-left: auto;
  font-size: 0.68rem;
  background: #334155;
  color: #38bdf8;
  padding: 2px 10px;
  border-radius: 10px;
  font-weight: 700;
  letter-spacing: 0.5px;
}

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

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

/* Input Control Cards */
.input-controls-body {
  justify-content: space-between;
}

.input-control-group {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 12px;
}

.input-control-card {
  background: #ffffff;
  border: 1px solid #e2e8f0;
  border-radius: var(--radius-md);
  padding: 14px;
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 12px;
  box-shadow: var(--shadow-sm);
  transition: transform 0.2s ease, border-color 0.2s ease;
}

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

.input-meta {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 2px;
}

.input-symbol {
  font-size: 1.3rem;
  font-weight: 800;
  color: var(--text-primary);
  font-family: var(--font-mono);
}

.input-role {
  font-size: 0.72rem;
  color: var(--text-secondary);
  font-weight: 600;
  text-transform: uppercase;
}

/* Custom Toggle Button */
.toggle-btn {
  background: none;
  border: none;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 4px 8px;
  border-radius: 20px;
}

.toggle-btn__track {
  width: 48px;
  height: 26px;
  background: #cbd5e1;
  border-radius: 14px;
  position: relative;
  transition: background 0.3s ease;
  box-shadow: inset 0 2px 4px rgba(0, 0, 0, 0.1);
}

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

.toggle-btn__state {
  font-family: var(--font-mono);
  font-size: 1.1rem;
  font-weight: 700;
  color: #64748b;
  min-width: 14px;
}

.toggle-btn.high .toggle-btn__track {
  background: var(--accent);
}

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

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

/* Mode Status Banner */
.mode-info-banner {
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  border-radius: var(--radius-md);
  padding: 10px 14px;
  font-size: 0.82rem;
  color: #1e40af;
  display: flex;
  align-items: center;
  gap: 8px;
}

/* Output Cards Grid */
.output-cards-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
}

.output-card {
  background: #ffffff;
  border: 1px solid #e2e8f0;
  border-radius: var(--radius-md);
  padding: 14px;
  display: flex;
  flex-direction: column;
  gap: 8px;
  box-shadow: var(--shadow-sm);
  position: relative;
}

.output-header-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
}

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

.output-card__formula {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  color: #64748b;
}

.output-card__value {
  font-family: var(--font-mono);
  font-size: 2.2rem;
  font-weight: 800;
  color: #64748b;
  line-height: 1;

  transition: color 0.3s ease;
}

.output-card__value.high {
  color: var(--accent);
}

/* LED Indicator */
.led-indicator {
  width: 18px;
  height: 18px;
  border-radius: 50%;
  background: var(--led-off-bg);
  border: 2px solid var(--led-off-border);
  transition: all 0.3s ease;
}

.led-indicator.high {
  background: var(--led-on-bg);
  border-color: var(--led-on-border);
  box-shadow: var(--led-on-glow);
}

/* Intermediate Probes Bar */
.probes-bar {
  background: #ffffff;
  border: 1px dashed #cbd5e1;
  border-radius: var(--radius-md);
  padding: 10px 14px;
  display: flex;
  align-items: center;
  gap: 14px;
  flex-wrap: wrap;
  font-size: 0.78rem;
  color: var(--text-secondary);
}

.probes-title {
  font-weight: 700;
  color: #1e293b;
  font-size: 0.72rem;
}

.probe-item strong {
  font-family: var(--font-mono);
  font-size: 0.88rem;
  color: var(--accent);
}

/* Verification Badge */
.verification-wrapper {
  background: #ffffff;
  border: 1px solid var(--success-border);
  border-radius: var(--radius-md);
  padding: 12px 16px;
  display: flex;
  flex-direction: column;
  gap: 4px;
}

.verification-badge {
  display: flex;
  align-items: center;
  gap: 8px;
  color: var(--success);
  font-weight: 700;
  font-size: 0.85rem;
  letter-spacing: 0.3px;
}

.verification-subtext {
  font-size: 0.82rem;
  color: #475569;
  font-family: var(--font-mono);
}

/* ── Middle Grid (Circuit SVG & Arithmetic) ────────────────── */
.lab-middle-grid {
  display: grid;
  grid-template-columns: 2.2fr 1fr;
  gap: 24px;
}

/* Circuit SVG Canvas Container */
.circuit-body {
  padding: 12px;
  background: #ffffff;
}

.circuit-canvas-container {
  width: 100%;
  background: #ffffff;
  border: 1px solid #e2e8f0;
  border-radius: var(--radius-md);
  overflow-x: auto;
  overflow-y: hidden;
  position: relative;
}

.circuit-svg {
  width: 100%;
  min-width: 680px;
  height: auto;
  display: block;
}

.circuit-svg.hidden {
  display: none;
}

/* SVG Circuit Element Styles */
.term-box {
  fill: #f1f5f9;
  stroke: #94a3b8;
  stroke-width: 2;
  transition: all 0.3s ease;
}

.term-box.active {
  fill: #eff6ff;
  stroke: var(--accent);
  stroke-width: 2.5;
}

.term-box.out {
  fill: #f8fafc;
  stroke: #64748b;
}

.term-box.out.active {
  fill: #f0fdf4;
  stroke: #10b981;
}

.term-label {
  font-family: var(--font-mono);
  font-size: 16px;
  font-weight: 800;
  fill: #0f172a;
}

.term-role {
  font-size: 9px;
  font-weight: 700;
  fill: #64748b;
  letter-spacing: 0.5px;
}

.term-pin {
  fill: #1e293b;
}

.svg-value-tag {
  font-family: var(--font-mono);
  font-size: 13px;
  font-weight: 800;
  fill: #64748b;
}

.svg-value-tag.high {
  fill: var(--accent);
}

/* Wire Styles & Animations */
.wire {
  fill: none;
  stroke: var(--wire-off);
  stroke-width: 3;
  stroke-linecap: round;
  stroke-linejoin: round;
  transition: stroke 0.3s ease;
}

.wire.wire-high {
  stroke: var(--wire-on);
  stroke-width: 3.5;
  filter: url(#wire-glow);
}

.wire-flow {
  fill: none;
  stroke: #ffffff;
  stroke-width: 2.5;
  stroke-linecap: round;
  stroke-dasharray: 6 8;
  stroke-dashoffset: 0;
  opacity: 0;
  pointer-events: none;
}

.wire-flow.active {
  opacity: 0.9;
  animation: flow-anim 1s linear infinite;
}

@keyframes flow-anim {
  from {
    stroke-dashoffset: 0;
  }

  to {
    stroke-dashoffset: -28;
  }
}

.junction-dot {
  fill: var(--wire-off);
  transition: fill 0.3s ease;
}

.junction-dot.wire-high {
  fill: var(--wire-on);
}

/* Logic Gate Shapes */
.gate-group .gate-body {
  fill: var(--gate-fill);
  stroke: var(--gate-stroke);
  stroke-width: 2.2;
  transition: all 0.3s ease;
}

.gate-group .gate-bubble {
  fill: var(--gate-fill);
  stroke: var(--gate-stroke);
  stroke-width: 2.2;
}

.gate-group .gate-xor-back {
  fill: none;
  stroke: var(--gate-stroke);
  stroke-width: 2.2;
}

.gate-group .gate-text {
  font-family: var(--font-mono);
  font-size: 11px;
  font-weight: 700;
  fill: #334155;
  pointer-events: none;
}

.gate-group.active .gate-body {
  fill: var(--gate-active-fill);
  stroke: var(--gate-active-stroke);
  stroke-width: 2.8;
}

.gate-group.active .gate-bubble,
.gate-group.active .gate-xor-back {
  stroke: var(--gate-active-stroke);
}

.gate-group.active .gate-text {
  fill: var(--accent);
}

/* SVG LED Dots */
.svg-led {
  fill: var(--led-off-bg);
  stroke: var(--led-off-border);
  stroke-width: 2;
  transition: all 0.3s ease;
}

.svg-led.high {
  fill: var(--led-on-bg);
  stroke: var(--led-on-border);
  box-shadow: var(--led-on-glow);
}

/* Wire Badges */
.badge-bg {
  fill: #ffffff;
  stroke: #cbd5e1;
  stroke-width: 1;
}

.badge-text {
  font-family: var(--font-mono);
  font-size: 10px;
  font-weight: 700;
  fill: #475569;
}

/* Block View Styles */
.ic-body {
  fill: #0f172a;
  stroke: #334155;
  stroke-width: 3;
}

.ic-header {
  fill: #1e293b;
}

.ic-title {
  font-family: var(--font-sans);
  font-size: 16px;
  font-weight: 800;
  fill: #38bdf8;
  letter-spacing: 0.5px;
}

.ic-subtitle {
  font-size: 11px;
  fill: #94a3b8;
  font-weight: 600;
}

.ic-inner-box {
  fill: #1e293b;
  stroke: #334155;
  stroke-width: 1.5;
}

.ic-formula-head {
  font-size: 10px;
  font-weight: 700;
  fill: #64748b;
  letter-spacing: 0.5px;
}

.ic-formula {
  font-family: var(--font-mono);
  font-size: 15px;
  font-weight: 700;
  fill: #38bdf8;
}

.ic-pinout-note {
  font-size: 11px;
  fill: #cbd5e1;
}

.ic-status-note {
  font-family: var(--font-mono);
  font-size: 12px;
  fill: #10b981;
  font-weight: 700;
}

.blk-term-bg {
  fill: #1e293b;
  stroke: #475569;
  stroke-width: 2;
}

.blk-term-txt {
  font-family: var(--font-mono);
  font-size: 14px;
  font-weight: 800;
  fill: #ffffff;
}

/* ── Arithmetic Calculation Panel ───────────────────────────── */
.arithmetic-body {
  justify-content: space-between;
}

.arithmetic-box {
  background: #ffffff;
  border: 1px solid #cbd5e1;
  border-radius: var(--radius-md);
  padding: 16px;
  box-shadow: var(--shadow-sm);
}

.arithmetic-column-display {
  display: flex;
  flex-direction: column;
  gap: 6px;
  font-family: var(--font-mono);
  font-size: 1.1rem;
}

.arith-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 2px 4px;
}

.arith-label {
  font-size: 0.85rem;
  color: var(--text-secondary);
}

.arith-val {
  font-weight: 800;
  color: var(--text-primary);
  font-size: 1.2rem;
}

.arith-line {
  height: 2px;
  background: #1e293b;
  margin: 4px 0;
}

.arith-row.result .arith-val {
  color: var(--accent);
}

.arith-row.borrow .arith-val {
  color: #dc2626;
}

.step-explanation-box {
  background: #ffffff;
  border: 1px solid #e2e8f0;
  border-radius: var(--radius-md);
  padding: 14px;
  font-size: 0.84rem;
  color: var(--text-secondary);
  line-height: 1.5;
}

.explanation-title {
  font-weight: 700;
  color: var(--text-primary);
  margin-bottom: 6px;
}

/* ── Bottom Section: Truth Table ───────────────────────────── */
.truth-table-body {
  padding: 16px;
}

.tt-hint {
  font-size: 0.72rem;
  font-weight: 400;
  color: #94a3b8;
  margin-left: auto;
}

.table-responsive {
  width: 100%;
  overflow-x: auto;
}

.truth-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.88rem;
  text-align: center;
}

.truth-table th,
.truth-table td {
  padding: 10px 14px;
  border: 1px solid #e2e8f0;
}

.truth-table thead {
  background: #1e293b;
  color: #ffffff;
}

.truth-table th {
  font-weight: 600;
  font-size: 0.8rem;
  letter-spacing: 0.3px;
}

.truth-table th.header-inputs {
  background: #0f172a;
}

.truth-table th.header-outputs {
  background: #1e3a8a;
}

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

.truth-table tbody tr:hover {
  background: #f1f5f9;
}

.truth-table tbody tr.active-row {
  background: #dbeafe !important;
  font-weight: 700;
}

.truth-table tbody tr.active-row td {
  border-color: #93c5fd;
}

.row-num {
  font-family: var(--font-mono);
  font-weight: 700;
  color: #64748b;
}

.val-pill {
  display: inline-block;
  min-width: 24px;
  padding: 2px 8px;
  border-radius: 12px;
  font-family: var(--font-mono);
  font-weight: 700;
  font-size: 0.82rem;
}

.val-pill.low {
  background: #f1f5f9;
  color: #64748b;
}

.val-pill.high {
  background: #dbeafe;
  color: var(--accent);
}

.status-tag {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  color: #334155;
}

/* ── Educational Theory & Applications ──────────────────────── */
.theory-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
}

.theory-card {
  background: #ffffff;
  border: 1px solid #e2e8f0;
  border-radius: var(--radius-md);
  padding: 18px;
  display: flex;
  flex-direction: column;
  gap: 10px;
  box-shadow: var(--shadow-sm);
}

.theory-card h3 {
  font-size: 1rem;
  color: #1e293b;
  border-bottom: 2px solid #e2e8f0;
  padding-bottom: 6px;
}

.theory-card p {
  font-size: 0.85rem;
  color: var(--text-secondary);
}

.theory-card ul {
  padding-left: 20px;
  font-size: 0.84rem;
  color: var(--text-secondary);
  display: flex;
  flex-direction: column;
  gap: 4px;
}

.formula-block {
  background: #f8fafc;
  border-left: 4px solid var(--accent);
  padding: 8px 12px;
  font-family: var(--font-mono);
  font-size: 0.88rem;
  color: #1e293b;
}

.apps-list {
  list-style: none;
  padding-left: 0 !important;
}

.apps-list li {
  padding: 4px 0;
  display: flex;
  align-items: center;
  gap: 6px;
}

/* ── Lab Footer ────────────────────────────────────────────── */
.lab-footer {
  background: var(--header-bg);
  color: #94a3b8;
  text-align: center;
  padding: 20px;
  margin-top: auto;
  font-size: 0.8rem;
}

.lab-footer .copyright {
  font-size: 0.75rem;
  margin-top: 4px;
}

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

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

  .lab-toolbar {
    flex-direction: column;
    align-items: stretch;
  }

  .toolbar-divider {
    display: none;
  }

  .toolbar-group {
    justify-content: center;
  }
}

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

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

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


/* -- Dark Theme Overrides (Black Theme) --------------------- */
[data-theme="dark"],
html.dark {
  --lab-bg: #070b14;
  --panel-bg: #0d1424;
  --panel-border: #1e293b;
  --header-bg: #080d1a;
  --header-text: #f8fafc;
  --accent: #38bdf8;
  --accent-hover: #0284c7;
  --accent-light: #1e3a5f;
  --text-primary: #f8fafc;
  --text-secondary: #94a3b8;
  --text-muted: #64748b;
  --wire-off: #475569;
  --wire-on: #38bdf8;
  --wire-on-glow: rgba(56, 189, 248, 0.8);
  --signal-high: #38bdf8;
  --signal-low: #475569;
  --led-off-bg: #1e293b;
  --led-off-border: #334155;
  --led-on-bg: #22c55e;
  --led-on-border: #16a34a;
  --led-on-glow: 0 0 16px rgba(34, 197, 94, 0.85);
  --success: #22c55e;
  --success-bg: rgba(34, 197, 94, 0.18);
  --success-border: #22c55e;
  --danger: #ef4444;
  --danger-bg: rgba(239, 68, 68, 0.18);
  --danger-border: #ef4444;
  --danger-text: #f87171;
  --gate-fill: #162036;
  --gate-stroke: #38bdf8;
  --gate-active-fill: #0c283f;
  --gate-active-stroke: #38bdf8;
}

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

/* Header & Title Bar */
[data-theme="dark"] .lab-title-bar,
html.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 {
  color: #f8fafc !important;
}

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

[data-theme="dark"] .lab-badge,
html.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;
}

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

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

[data-theme="dark"] .toolbar-divider,
html.dark .toolbar-divider {
  background: #1e293b !important;
}

[data-theme="dark"] .btn--mode,
html.dark .btn--mode {
  background: #162036 !important;
  border-color: #334155 !important;
  color: #cbd5e1 !important;
}

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

[data-theme="dark"] .btn--mode.active,
html.dark .btn--mode.active {
  background: #0284c7 !important;
  border-color: #38bdf8 !important;
  color: #ffffff !important;
  box-shadow: 0 0 10px rgba(56, 189, 248, 0.4) !important;
}

[data-theme="dark"] .btn,
html.dark .btn {
  background: #162036 !important;
  border-color: #334155 !important;
  color: #f1f5f9 !important;
}

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

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

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

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

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

[data-theme="dark"] .btn--outline,
html.dark .btn--outline {
  background: #162036 !important;
  border-color: #334155 !important;
  color: #cbd5e1 !important;
}

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

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

[data-theme="dark"] .btn--accent:hover,
html.dark .btn--accent:hover {
  background: #0369a1 !important;
  box-shadow: 0 0 12px rgba(56, 189, 248, 0.4) !important;
}

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

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

[data-theme="dark"] .view-pill,
html.dark .view-pill {
  background: rgba(56, 189, 248, 0.15) !important;
  border: 1px solid #38bdf8 !important;
  color: #38bdf8 !important;
}

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

[data-theme="dark"] .input-control-card:hover,
html.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 {
  color: #f8fafc !important;
}

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

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

[data-theme="dark"] .toggle-btn__knob,
html.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 {
  color: #94a3b8 !important;
}

[data-theme="dark"] .toggle-btn.high .toggle-btn__track,
html.dark .toggle-btn.high .toggle-btn__track,
[data-theme="dark"] .toggle-btn.active .toggle-btn__track,
html.dark .toggle-btn.active .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,
[data-theme="dark"] .toggle-btn.active .toggle-btn__knob,
html.dark .toggle-btn.active .toggle-btn__knob {
  background: #ffffff !important;
}

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

[data-theme="dark"] .mode-info-banner,
html.dark .mode-info-banner {
  background: #0c192e !important;
  border-color: #1e3a5f !important;
  color: #93c5fd !important;
}

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

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

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

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

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

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

[data-theme="dark"] .led-indicator.high,
html.dark .led-indicator.high {
  background: #22c55e !important;
  border-color: #16a34a !important;
  box-shadow: 0 0 16px rgba(34, 197, 94, 0.85) !important;
}

/* Probes Bar */
[data-theme="dark"] .probes-bar,
html.dark .probes-bar {
  background: #111a2e !important;
  border-color: #334155 !important;
  color: #94a3b8 !important;
}

[data-theme="dark"] .probes-title,
html.dark .probes-title {
  color: #e2e8f0 !important;
}

[data-theme="dark"] .probe-item strong,
html.dark .probe-item strong {
  color: #38bdf8 !important;
}

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

[data-theme="dark"] .verification-badge.verified,
html.dark .verification-badge.verified {
  color: #4ade80 !important;
}

[data-theme="dark"] .verification-badge.unverified,
html.dark .verification-badge.unverified {
  color: #f87171 !important;
}

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

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

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

[data-theme="dark"] #grid path,
html.dark #grid path {
  stroke: rgba(255, 255, 255, 0.05) !important;
}

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

[data-theme="dark"] .wire.active,
html.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 {
  stroke: #38bdf8 !important;
}

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

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

[data-theme="dark"] .gate-body,
html.dark .gate-body,
[data-theme="dark"] .gate-bubble,
html.dark .gate-bubble {
  fill: #162036 !important;
  stroke: #38bdf8 !important;
  stroke-width: 2.5;
}

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

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

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

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

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

[data-theme="dark"] .term-box,
html.dark .term-box {
  fill: #111827 !important;
  stroke: #334155 !important;
}

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

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

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

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

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

[data-theme="dark"] .svg-led,
html.dark .svg-led {
  fill: #334155 !important;
}

[data-theme="dark"] .svg-led.high,
html.dark .svg-led.high {
  fill: #22c55e !important;
  filter: drop-shadow(0 0 6px rgba(34, 197, 94, 0.8)) !important;
}

[data-theme="dark"] .blk-subtractor-box,
html.dark .blk-subtractor-box {
  fill: #162036 !important;
  stroke: #38bdf8 !important;
}

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

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

[data-theme="dark"] .blk-term-txt,
html.dark .blk-term-txt {
  fill: #f8fafc !important;
}

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

[data-theme="dark"] .svg-value-tag.high,
html.dark .svg-value-tag.high {
  fill: #38bdf8 !important;
}

[data-theme="dark"] .badge-bg,
html.dark .badge-bg {
  fill: #162036 !important;
  stroke: #334155 !important;
}

[data-theme="dark"] .badge-text,
html.dark .badge-text {
  fill: #38bdf8 !important;
}

/* Binary Subtraction Calculation */
[data-theme="dark"] .arithmetic-box,
html.dark .arithmetic-box {
  background: #111a2e !important;
  border-color: #1e293b !important;
}

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

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

[data-theme="dark"] .arith-line,
html.dark .arith-line {
  background: #334155 !important;
}

[data-theme="dark"] .arith-row.result .arith-val,
html.dark .arith-row.result .arith-val {
  color: #38bdf8 !important;
}

[data-theme="dark"] .arith-row.borrow .arith-val,
html.dark .arith-row.borrow .arith-val {
  color: #f87171 !important;
}

[data-theme="dark"] .step-explanation-box,
html.dark .step-explanation-box {
  background: #111a2e !important;
  border-color: #1e293b !important;
  color: #cbd5e1 !important;
}

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

[data-theme="dark"] .explanation-content strong,
html.dark .explanation-content strong {
  color: #38bdf8 !important;
}

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

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

[data-theme="dark"] .truth-table th,
html.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 {
  background: #0d1424 !important;
  color: #cbd5e1 !important;
  border-bottom: 1px solid #1e293b !important;
  border-color: #1e293b !important;
}

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

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

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

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

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

[data-theme="dark"] .val-pill.high,
html.dark .val-pill.high,
[data-theme="dark"] .bit-badge.high,
html.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"] .status-tag,
html.dark .status-tag {
  color: #94a3b8 !important;
}

/* Theory & Education */
[data-theme="dark"] .theory-card,
html.dark .theory-card,
[data-theme="dark"] .step-card,
html.dark .step-card,
[data-theme="dark"] .submodule-box,
html.dark .submodule-box {
  background: #111a2e !important;
  border-color: #1e293b !important;
  color: #cbd5e1 !important;
}

[data-theme="dark"] .theory-card h3,
html.dark .theory-card h3,
[data-theme="dark"] .info-section h3,
html.dark .info-section h3 {
  color: #38bdf8 !important;
  border-bottom-color: #1e293b !important;
}

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

[data-theme="dark"] .formula-block,
html.dark .formula-block,
[data-theme="dark"] .formula-box,
html.dark .formula-box {
  background: #0c192e !important;
  border-left-color: #38bdf8 !important;
  border-color: #38bdf8 !important;
  color: #f1f5f9 !important;
}

[data-theme="dark"] .formula-text,
html.dark .formula-text {
  color: #38bdf8 !important;
}

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