:root {
  --canvas: #f6f7f2;
  --surface: #ffffff;
  --surface-raised: #fbfcf7;
  --ink: #17201b;
  --muted: #667066;
  --line: #d9dfd2;
  --line-strong: #aab4a3;
  --glass: rgba(255, 255, 255, 0.68);
  --glass-soft: rgba(255, 255, 255, 0.48);
  --glass-line: rgba(255, 255, 255, 0.74);
  --panel-from: rgba(255, 255, 255, 0.82);
  --panel-to: rgba(255, 255, 255, 0.56);
  --ambient-a: rgba(210, 138, 34, 0.08);
  --ambient-b: rgba(22, 79, 132, 0.07);
  --grid-line: rgba(23, 32, 27, 0.035);
  --tab-bg: rgba(246, 248, 241, 0.64);
  --field-bg: rgba(255, 255, 255, 0.72);
  --metric-bg: rgba(251, 252, 247, 0.62);
  --section-bg: rgba(255, 255, 255, 0.54);
  --cell-bg: rgba(251, 252, 247, 0.58);
  --expression-bg: #101915;
  --expression-ink: #f3fff7;
  --error-bg: #fff1ef;
  --minterm-bg: rgba(233, 243, 255, 0.78);
  --dont-care-bg: rgba(255, 243, 218, 0.8);
  --essential-bg: rgba(233, 247, 241, 0.8);
  --pre-bg: #f9faf5;
  --primary: #1f5fbf;
  --primary-strong: #123f82;
  --primary-ink: #ffffff;
  --focus: #d28a22;
  --success: #2d8063;
  --warning: #b26b00;
  --error: #a33b35;
  --minterm: #164f84;
  --dont-care: #986c1f;
  --zero: #d9dfd2;
  --shadow: 0 22px 54px rgba(28, 42, 33, 0.14);
  --glass-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.82),
    0 18px 44px rgba(28, 42, 33, 0.11);
  color-scheme: light;
  --font-body: "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  --font-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-family: var(--font-body);
}

:root[data-theme="dark"] {
  --canvas: #0d1110;
  --surface: #111816;
  --surface-raised: #151f1c;
  --ink: #edf5ee;
  --muted: #a5b2a8;
  --line: #2b3833;
  --line-strong: #46574f;
  --glass: rgba(22, 30, 27, 0.72);
  --glass-soft: rgba(22, 30, 27, 0.48);
  --glass-line: rgba(218, 231, 220, 0.16);
  --panel-from: rgba(33, 45, 40, 0.78);
  --panel-to: rgba(15, 22, 19, 0.58);
  --ambient-a: rgba(210, 138, 34, 0.12);
  --ambient-b: rgba(82, 151, 191, 0.13);
  --grid-line: rgba(237, 245, 238, 0.055);
  --tab-bg: rgba(18, 27, 24, 0.68);
  --field-bg: rgba(9, 14, 12, 0.64);
  --metric-bg: rgba(16, 23, 21, 0.66);
  --section-bg: rgba(12, 18, 16, 0.42);
  --cell-bg: rgba(15, 22, 20, 0.58);
  --expression-bg: #e8f7ed;
  --expression-ink: #0d1913;
  --error-bg: rgba(88, 32, 30, 0.42);
  --minterm-bg: rgba(39, 96, 143, 0.36);
  --dont-care-bg: rgba(168, 116, 30, 0.34);
  --essential-bg: rgba(45, 128, 99, 0.34);
  --pre-bg: rgba(8, 13, 11, 0.76);
  --primary: #78b7ff;
  --primary-strong: #a7d1ff;
  --primary-ink: #06111f;
  --focus: #f0b84f;
  --success: #61cda4;
  --warning: #e5ab42;
  --error: #ef8b82;
  --minterm: #78b7e7;
  --dont-care: #e1b263;
  --zero: #2b3833;
  --shadow: 0 22px 54px rgba(0, 0, 0, 0.36);
  --glass-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1),
    0 24px 54px rgba(0, 0, 0, 0.34);
  color-scheme: dark;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-width: 320px;
  min-height: 100svh;
  background:
    radial-gradient(circle at 18% 12%, var(--ambient-a), transparent 26rem),
    radial-gradient(circle at 86% 4%, var(--ambient-b), transparent 30rem),
    linear-gradient(90deg, var(--grid-line) 1px, transparent 1px),
    linear-gradient(var(--grid-line) 1px, transparent 1px),
    var(--canvas);
  background-size: 28px 28px;
  color: var(--ink);
}

button,
input,
select,
textarea {
  font: inherit;
}

button:focus-visible,
input:focus-visible,
select:focus-visible,
textarea:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--focus) 55%, transparent);
  outline-offset: 2px;
}

.app-shell {
  min-height: 100svh;
  padding: 28px;
}

.workbench {
  max-width: 1360px;
  margin: 0 auto;
}

.topbar,
.layout-grid,
.result-head,
.section-head,
.toolbar-row,
.cost-meter {
  display: flex;
}

.topbar {
  align-items: end;
  justify-content: space-between;
  gap: 24px;
  margin-bottom: 18px;
}

.top-actions {
  display: inline-flex;
  align-items: center;
  justify-content: flex-end;
  gap: 10px;
  flex-wrap: wrap;
}

.eyebrow {
  margin: 0 0 6px;
  color: var(--primary);
  font: 700 0.82rem/1.2 var(--font-body);
  letter-spacing: 0;
  text-transform: uppercase;
}

.brand-mark {
  margin: 0 0 10px;
  color: var(--primary);
  font-family: var(--font-body);
  font-size: clamp(1.35rem, 2.2vw, 2.35rem);
  font-weight: 700;
  line-height: 1.05;
  letter-spacing: 0;
}

h1,
h2,
h3 {
  margin: 0;
  letter-spacing: 0;
}

h1 {
  font-family: var(--font-body);
  font-size: clamp(1.85rem, 3.8vw, 3.9rem);
  line-height: 0.95;
  font-weight: 800;
}

h2 {
  font-size: 1.35rem;
}

h3 {
  font-size: 0.95rem;
}

.status-strip {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 0 14px;
  border: 1px solid var(--glass-line);
  border-radius: 6px;
  background: var(--glass);
  backdrop-filter: blur(18px) saturate(1.15);
  color: var(--muted);
  box-shadow: var(--glass-shadow);
}

.theme-toggle {
  width: 44px;
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 9px;
  padding: 0;
  border: 1px solid var(--glass-line);
  border-radius: 6px;
  background: var(--glass);
  backdrop-filter: blur(18px) saturate(1.15);
  color: var(--ink);
  box-shadow: var(--glass-shadow);
  cursor: pointer;
  font-weight: 800;
}

.theme-toggle:hover {
  border-color: color-mix(in srgb, var(--primary) 42%, var(--glass-line));
}

.theme-toggle svg {
  width: 18px;
  height: 18px;
  fill: none;
  stroke: currentColor;
  stroke-width: 2;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.sun-icon,
:root[data-theme="dark"] .moon-icon {
  display: none;
}

:root[data-theme="dark"] .sun-icon {
  display: block;
}

.status-dot {
  width: 10px;
  height: 10px;
  border-radius: 99px;
  background: var(--success);
}

.status-dot.busy {
  background: var(--warning);
}

.status-dot.error {
  background: var(--error);
}

.layout-grid {
  align-items: flex-start;
  gap: 18px;
}

.input-panel,
.result-panel,
.mini-section,
.steps-section {
  border: 1px solid var(--glass-line);
  border-radius: 8px;
  background:
    linear-gradient(135deg, var(--panel-from), var(--panel-to)),
    var(--glass);
  backdrop-filter: blur(20px) saturate(1.12);
  box-shadow: var(--glass-shadow);
}

.input-panel {
  position: sticky;
  top: 16px;
  width: min(390px, 100%);
  max-height: calc(100svh - 32px);
  overflow-y: auto;
  overscroll-behavior: contain;
  padding: 18px;
  scrollbar-gutter: stable;
}

.result-panel {
  flex: 1;
  min-width: 0;
  padding: 20px;
}

.source-tabs {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
  padding: 0;
  margin-bottom: 16px;
  border: 0;
  background: transparent;
  box-shadow: none;
}

.source-tabs label,
.check-control {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  cursor: pointer;
}

.source-tabs input {
  position: absolute;
  opacity: 0;
}

.source-tabs span {
  width: 100%;
  min-height: 54px;
  display: inline-flex;
  align-items: center;
  justify-content: flex-start;
  gap: 10px;
  border: 1px solid color-mix(in srgb, var(--line-strong) 72%, transparent);
  border-radius: 8px;
  background: var(--field-bg);
  color: var(--ink);
  font-weight: 700;
  padding: 0 14px;
}

.source-tabs span::before {
  content: "";
  width: 16px;
  height: 16px;
  border: 2px solid color-mix(in srgb, var(--muted) 70%, transparent);
  border-radius: 99px;
}

.source-tabs input:checked + span {
  background:
    linear-gradient(180deg, rgba(255, 255, 255, 0.14), transparent),
    color-mix(in srgb, var(--primary) 10%, var(--field-bg));
  border-color: var(--focus);
  color: var(--ink);
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--focus) 18%, transparent);
}

.source-tabs input:checked + span::before {
  border-color: var(--focus);
  box-shadow: inset 0 0 0 4px var(--field-bg);
  background: var(--focus);
}

.kmap-tools {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
  margin-bottom: 14px;
}

.kmap-tools span {
  grid-column: 1 / -1;
  color: var(--muted);
  font-size: 0.8rem;
  font-weight: 700;
}

#input-kmap,
#input-truth-table {
  grid-column: 1 / -1;
  margin-top: 4px;
}

#input-kmap.truth-map.kmap {
  justify-items: stretch;
}

#input-kmap .kmap-panel {
  width: 100%;
  padding: 0;
}

#input-kmap .kmap-cell {
  width: auto;
  min-height: 56px;
}

#input-truth-table {
  max-height: 430px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: color-mix(in srgb, var(--surface) 70%, transparent);
}

#input-truth-table .truth-table {
  min-width: 360px;
}

#input-truth-table .truth-table th,
#input-truth-table .truth-table td {
  padding: 9px 8px;
  font-size: 0.82rem;
}

#input-truth-table .truth-choice {
  width: 32px;
  height: 32px;
}

.secondary-action {
  min-height: 42px;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  background: var(--glass-soft);
  color: var(--ink);
  cursor: pointer;
  font-weight: 800;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.66);
}

.secondary-action:hover {
  border-color: color-mix(in srgb, var(--primary) 48%, var(--line-strong));
  color: var(--primary);
}

.field {
  display: grid;
  gap: 7px;
  margin-bottom: 14px;
}

.field label,
.check-control,
.muted-label {
  color: var(--muted);
  font-size: 0.83rem;
  font-weight: 700;
}

.field input,
.field select,
.field textarea {
  width: 100%;
  min-height: 44px;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  background: var(--field-bg);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.8);
  color: var(--ink);
  padding: 11px 12px;
}

.field textarea {
  resize: vertical;
  min-height: 86px;
  line-height: 1.45;
}

.split-fields {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 92px;
  gap: 12px;
}

.toolbar-row {
  align-items: end;
  gap: 10px;
  flex-wrap: wrap;
  margin: 2px 0 16px;
}

.field.compact {
  min-width: 118px;
  margin-bottom: 0;
}

.check-control {
  gap: 8px;
  padding: 0 10px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--glass-soft);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.66);
}

.check-control input {
  width: 18px;
  height: 18px;
  accent-color: var(--primary);
}

.result-head {
  align-items: start;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 18px;
}

.cost-meter {
  gap: 8px;
  flex-wrap: wrap;
  justify-content: flex-end;
}

.cost-meter span {
  min-height: 34px;
  display: inline-flex;
  align-items: center;
  gap: 5px;
  padding: 0 10px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--metric-bg);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.72);
  color: var(--muted);
}

.cost-meter strong {
  color: var(--ink);
}

.expression-output {
  display: block;
  min-height: 86px;
  margin-bottom: 16px;
  padding: 18px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--expression-bg);
  color: var(--expression-ink);
  overflow-wrap: anywhere;
  font: 800 clamp(1.35rem, 2vw, 2rem)/1.25 var(--font-body);
  font-variant-numeric: lining-nums tabular-nums;
  letter-spacing: 0;
  word-spacing: normal;
}

.expression-output .expression-term {
  color: var(--term-color);
}

.expression-output .expression-operator {
  color: color-mix(in srgb, var(--expression-ink) 70%, transparent);
  margin: 0 12px;
}

.canonical-output {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 10px;
  margin-top: -6px;
  margin-bottom: 12px;
}

.canonical-output span {
  display: grid;
  gap: 5px;
  max-width: 100%;
  min-height: 58px;
  padding: 10px 11px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--metric-bg);
  color: var(--muted);
  overflow-wrap: anywhere;
}

.canonical-output strong {
  color: var(--primary);
  font: 800 0.72rem/1.15 var(--font-body);
  text-transform: uppercase;
}

.canonical-output em {
  color: var(--ink);
  font: 800 0.82rem/1.25 var(--font-body);
  font-variant-numeric: lining-nums tabular-nums;
  font-style: normal;
  letter-spacing: 0;
  word-spacing: normal;
}

.error-box {
  margin: 0 0 16px;
  padding: 12px 14px;
  border: 1px solid color-mix(in srgb, var(--error) 45%, white);
  border-radius: 6px;
  background: var(--error-bg);
  color: var(--error);
  font-weight: 700;
}

.mini-section,
.steps-section,
.result-workspace {
  padding: 14px;
  box-shadow: none;
  background: var(--section-bg);
}

.result-workspace {
  border: 1px solid var(--line);
  border-radius: 8px;
  margin-bottom: 14px;
}

.expression-section {
  margin-bottom: 14px;
}

.form-tabs {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0;
  padding: 3px;
  margin-bottom: 22px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--field-bg);
}

.form-tab {
  min-height: 46px;
  border: 1px solid transparent;
  border-radius: 7px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-weight: 800;
  text-transform: uppercase;
}

.form-tab.active {
  border-color: var(--focus);
  background: color-mix(in srgb, var(--focus) 10%, transparent);
  color: var(--ink);
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--focus) 16%, transparent);
}

.section-head {
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 12px;
}

.truth-map {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(54px, 1fr));
  gap: 7px;
}

.truth-map.kmap {
  grid-template-columns: 1fr;
  gap: 6px;
  justify-items: center;
}

.kmap-panel {
  display: grid;
  grid-template-columns: repeat(var(--kmap-cols), minmax(48px, 1fr));
  gap: 0;
  min-width: 0;
  width: min(520px, 100%);
  padding: 10px;
}

.kmap-plane {
  min-height: 32px;
  display: grid;
  place-items: center;
  border: 1px solid color-mix(in srgb, var(--primary) 32%, var(--line));
  border-radius: 6px;
  background: color-mix(in srgb, var(--primary) 11%, var(--metric-bg));
  color: var(--primary);
  font-size: 0.82rem;
  font-weight: 800;
}

.kmap-axis {
  min-height: 38px;
  display: grid;
  place-items: center;
  padding: 6px;
  border: 1px solid color-mix(in srgb, var(--line) 72%, transparent);
  border-radius: 6px;
  background: var(--metric-bg);
  color: var(--muted);
  font-size: 0.82rem;
  font-weight: 800;
}

.map-cell {
  position: relative;
  min-height: 46px;
  display: grid;
  align-content: center;
  gap: 2px;
  padding: 6px 8px;
  border: 1px solid var(--line);
  border-radius: 0;
  background: var(--cell-bg);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.62);
  overflow: visible;
}

button.map-cell {
  color: inherit;
  cursor: pointer;
  font: inherit;
}

button.map-cell:hover {
  border-color: color-mix(in srgb, var(--primary) 50%, var(--line));
}

.map-cell strong {
  position: relative;
  z-index: 2;
  font: 800 0.86rem/1 var(--font-mono);
}

.map-cell span {
  position: relative;
  z-index: 2;
  color: var(--muted);
  font: 700 0.7rem/1 var(--font-mono);
}

.group-outline {
  position: absolute;
  top: calc(6px + var(--group-offset, 0px));
  right: calc(6px + var(--group-offset, 0px));
  bottom: calc(6px + var(--group-offset, 0px));
  left: calc(6px + var(--group-offset, 0px));
  z-index: 1;
  pointer-events: none;
  background: color-mix(in srgb, var(--group-color) 12%, transparent);
  border-color: var(--group-color);
  border-style: solid;
  border-width: 0;
}

.group-outline.join-top {
  top: calc(-1px + var(--group-offset, 0px));
}

.group-outline.join-right {
  right: calc(-1px + var(--group-offset, 0px));
}

.group-outline.join-bottom {
  bottom: calc(-1px + var(--group-offset, 0px));
}

.group-outline.join-left {
  left: calc(-1px + var(--group-offset, 0px));
}

.group-outline.edge-top {
  border-top-width: 3px;
}

.group-outline.edge-right {
  border-right-width: 3px;
}

.group-outline.edge-bottom {
  border-bottom-width: 3px;
}

.group-outline.edge-left {
  border-left-width: 3px;
}

.group-outline.edge-top.edge-left {
  border-top-left-radius: 8px;
}

.group-outline.edge-top.edge-right {
  border-top-right-radius: 8px;
}

.group-outline.edge-bottom.edge-left {
  border-bottom-left-radius: 8px;
}

.group-outline.edge-bottom.edge-right {
  border-bottom-right-radius: 8px;
}

.kmap-cell {
  width: 82px;
  min-height: 74px;
  place-items: center;
  text-align: center;
}

.kmap-cell strong {
  font-size: 1.2rem;
}

.map-cell.minterm {
  border-color: color-mix(in srgb, var(--minterm) 55%, white);
  background: var(--minterm-bg);
}

.unavailable-map {
  display: block;
  padding: 18px;
  color: var(--muted);
}

.circuit-section,
.truth-table-section {
  margin-bottom: 14px;
}

.circuit-output {
  min-height: 240px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: color-mix(in srgb, var(--surface) 76%, transparent);
}

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

.circuit-wire {
  fill: none;
  stroke: var(--ink);
  stroke-width: 3;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.circuit-gate,
.circuit-output-gate,
.circuit-not {
  fill: var(--surface);
  stroke: var(--ink);
  stroke-width: 3;
}

.circuit-output-gate {
  fill: color-mix(in srgb, var(--primary) 10%, var(--surface));
}

.circuit-pin,
.circuit-bulb,
.circuit-bubble {
  fill: var(--surface);
  stroke: var(--ink);
  stroke-width: 3;
}

.circuit-bubble {
  fill: var(--surface);
}

.circuit-bulb-base {
  fill: color-mix(in srgb, var(--warning) 20%, var(--surface));
  stroke: var(--ink);
  stroke-width: 3;
  stroke-linejoin: round;
}

.circuit-filament {
  fill: none;
  stroke: var(--ink);
  stroke-width: 3;
  stroke-linecap: round;
}

.circuit-net-label,
.circuit-pin-text {
  fill: var(--ink);
  font-family: var(--font-body);
  font-weight: 800;
  text-anchor: middle;
}

.circuit-net-label {
  fill: var(--muted);
  font-size: 15px;
}

.circuit-pin-text {
  font-size: 18px;
}

.circuit-empty {
  margin: 0;
  padding: 22px;
  color: var(--muted);
  font-weight: 700;
}

.truth-table-output {
  max-height: 560px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: color-mix(in srgb, var(--surface) 76%, transparent);
}

.truth-table {
  width: 100%;
  border-collapse: collapse;
  min-width: 580px;
}

.truth-table th,
.truth-table td {
  padding: 13px 16px;
  border-bottom: 1px solid var(--line);
  text-align: center;
  font: 800 0.95rem/1.2 var(--font-mono);
}

.truth-table th {
  color: var(--ink);
  font-family: var(--font-body);
  font-size: 1rem;
}

.truth-table td:first-child,
.truth-table th:first-child {
  color: var(--muted);
}

.truth-output {
  display: flex;
  justify-content: center;
  gap: 6px;
}

.truth-choice {
  width: 38px;
  height: 38px;
  border: 0;
  border-radius: 999px;
  background: color-mix(in srgb, var(--line) 44%, transparent);
  color: var(--muted);
  cursor: pointer;
  font: 800 0.9rem/1 var(--font-mono);
}

.truth-choice:disabled {
  cursor: default;
}

.truth-choice.active.zero {
  border: 2px solid var(--error);
  background: color-mix(in srgb, var(--error) 18%, transparent);
  color: var(--error);
}

.truth-choice.active.minterm {
  border: 2px solid var(--success);
  background: var(--success);
  color: white;
}

.truth-choice.active.dont-care {
  border: 2px solid var(--warning);
  background: color-mix(in srgb, var(--warning) 18%, transparent);
  color: var(--warning);
}

.map-cell.dont-care {
  border-color: color-mix(in srgb, var(--dont-care) 55%, white);
  background: var(--dont-care-bg);
}

.chip-list,
.expression-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.chip,
.expression-pill {
  min-height: 34px;
  display: inline-flex;
  align-items: center;
  max-width: 100%;
  padding: 7px 10px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--metric-bg);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.72);
  overflow-wrap: anywhere;
  font: 700 0.88rem/1.2 var(--font-mono);
}

.chip.essential {
  border-color: color-mix(in srgb, var(--success) 50%, white);
  background: var(--essential-bg);
}

.steps-section {
  margin-top: 14px;
}

.steps-list {
  display: grid;
  gap: 10px;
}

.step-card {
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--section-bg);
  overflow: hidden;
}

.step-card summary {
  min-height: 44px;
  display: flex;
  align-items: center;
  padding: 0 12px;
  cursor: pointer;
  font-weight: 800;
}

.step-card pre {
  margin: 0;
  padding: 12px;
  max-height: 360px;
  overflow: auto;
  border-top: 1px solid var(--line);
  background: var(--pre-bg);
  font: 0.78rem/1.35 var(--font-mono);
}

.hidden {
  display: none !important;
}

@media (max-width: 960px) {
  .app-shell {
    height: auto;
    min-height: 100svh;
    overflow: visible;
  }

  .workbench {
    height: auto;
    min-height: 0;
  }

  .layout-grid {
    display: grid;
    overflow: visible;
  }

  .input-panel,
  .result-panel {
    max-height: none;
    overflow: visible;
  }

  .input-panel {
    position: static;
    width: 100%;
  }

}

@media (max-width: 640px) {
  .app-shell {
    padding: 16px;
  }

  .topbar,
  .result-head {
    align-items: stretch;
    display: grid;
  }

  .status-strip,
  .cost-meter {
    justify-content: flex-start;
  }

  .split-fields {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .toolbar-row {
    display: grid;
  }

  .field.compact {
    width: 100%;
  }

  .truth-map {
    grid-template-columns: repeat(auto-fit, minmax(48px, 1fr));
  }

  .truth-map.kmap {
    grid-template-columns: 1fr;
  }

  .kmap-panel {
    grid-template-columns: repeat(var(--kmap-cols), minmax(42px, 1fr));
    width: 100%;
  }

  .kmap-axis,
  .kmap-cell {
    min-height: 44px;
  }

  .kmap-cell {
    width: auto;
  }
}

@media (prefers-reduced-motion: no-preference) {
  .source-tabs span,
  .theme-toggle,
  .map-cell,
  .chip {
    transition: background-color 160ms ease, border-color 160ms ease, color 160ms ease, transform 160ms ease;
  }

  .map-cell:hover {
    transform: translateY(-1px);
  }
}