:root {
  --bg: #0f1419;
  --surface: #1a2332;
  --surface-2: #243044;
  --border: #334155;
  --text: #e2e8f0;
  --muted: #94a3b8;
  --accent: #38bdf8;
  --accent-2: #818cf8;
  --success: #34d399;
  --error: #f87171;
  --warning: #fbbf24;
  --head: #f59e0b;
  --highlight: rgba(56, 189, 248, 0.18);
  --last: rgba(129, 140, 248, 0.22);
  --radius: 10px;
  --font: 'Segoe UI', system-ui, sans-serif;
  --mono: 'Cascadia Code', 'Fira Code', monospace;
  --layout-pad-x: 1.5rem;
  --tape-cell-width: 2.5rem;
  --tape-cell-min: 1.55rem;
  --tape-cell-pad-x: 0.45rem;
  --tape-symbol-size: 1.2rem;
  --tape-view-min-h: 5rem;
  --table-cell-min: 4rem;
  --table-state-min: 4.05rem;
  --table-cell-pad: 0.22rem 0.1rem;
  --table-input-pad: 0.2rem 0.15rem;
  --table-font-size: 0.85rem;
  --table-input-font-size: 0.82rem;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-height: 100vh;
  font-family: var(--font);
  background: linear-gradient(160deg, #0b1020 0%, #121a2b 45%, #0f1419 100%);
  color: var(--text);
  line-height: 1.5;
}

.header {
  padding: 1.25rem 1.5rem 0.5rem;
}

.header-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  max-width: 1200px;
  margin: 0 auto;
}

.header h1 {
  margin: 0;
  font-size: 1.75rem;
  font-weight: 700;
  letter-spacing: -0.02em;
}

.subtitle {
  margin: 0.25rem 0 0;
  color: var(--muted);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  flex-shrink: 0;
}

.recent-dropdown {
  position: relative;
}

.recent-menu {
  position: absolute;
  top: calc(100% + 0.35rem);
  right: 0;
  z-index: 50;
  min-width: 220px;
  max-width: min(320px, 90vw);
  padding: 0.35rem;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  box-shadow: 0 12px 32px rgba(0, 0, 0, 0.35);
}

.recent-menu.hidden {
  display: none;
}

.status-banner {
  margin: 0.75rem auto;
  max-width: 1200px;
  padding: 0.75rem 1rem;
  border-radius: var(--radius);
  text-align: center;
  font-weight: 600;
}

.status-banner.hidden {
  display: none;
}

.status-error {
  background: rgba(248, 113, 113, 0.15);
  border: 1px solid var(--error);
  color: #fecaca;
}

.status-success {
  background: rgba(52, 211, 153, 0.12);
  border: 1px solid var(--success);
  color: #a7f3d0;
}

.status-info {
  background: rgba(56, 189, 248, 0.12);
  border: 1px solid var(--accent);
  color: #bae6fd;
}

.layout {
  display: grid;
  grid-template-columns: 1fr;
  gap: 1rem;
  max-width: 1200px;
  margin: 0 auto;
  padding: 1rem var(--layout-pad-x) 2rem;
  align-items: start;
  min-width: 0;
}

.panel {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1rem 1.1rem;
}

.panel h2 {
  margin: 0 0 0.75rem;
  font-size: 1rem;
  font-weight: 600;
}

.task-column {
  display: flex;
  flex-direction: column;
  gap: 1rem;
  min-width: 0;
}

.task-input {
  width: 100%;
  padding: 0.55rem 0.7rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface-2);
  color: var(--text);
  font: inherit;
}

.task-input::placeholder {
  color: var(--muted);
}

.recent-list {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
  max-height: 280px;
  overflow-y: auto;
}

.recent-empty {
  margin: 0;
  padding: 0.45rem 0.55rem;
  font-size: 0.82rem;
  color: var(--muted);
  background: var(--surface-2);
  border-radius: 8px;
}

.recent-item {
  display: flex;
  align-items: stretch;
  gap: 0.35rem;
}

.recent-load {
  flex: 1;
  min-width: 0;
  padding: 0.45rem 0.6rem;
  border: none;
  border-radius: 6px;
  background: transparent;
  color: var(--text);
  font: inherit;
  font-weight: 500;
  text-align: left;
  cursor: pointer;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.recent-load:hover {
  background: rgba(56, 189, 248, 0.1);
}

.recent-delete {
  flex-shrink: 0;
  width: 1.75rem;
  height: 1.75rem;
  border: none;
  border-radius: 6px;
  background: transparent;
  color: var(--muted);
  font-size: 1.1rem;
  line-height: 1;
  cursor: pointer;
}

.recent-delete:hover {
  color: var(--error);
  border-color: var(--error);
}

.tape-panel {
  display: flex;
  flex-direction: column;
  min-width: 0;
}

.tape-row {
  display: flex;
  align-items: stretch;
  gap: 0.5rem;
}

.tape-row .tape-view {
  flex: 1;
  min-width: 0;
}

.tape-menu {
  position: relative;
  flex-shrink: 0;
  display: flex;
  align-items: flex-start;
}

.tape-menu-btn {
  height: 100%;
  min-height: var(--tape-view-min-h);
  min-width: 2.5rem;
  padding: 0.5rem;
  font-size: 1.25rem;
  letter-spacing: 0.05em;
}

.tape-menu-popup {
  position: absolute;
  top: 0;
  right: calc(100% + 0.35rem);
  z-index: 50;
  width: min(320px, 90vw);
  padding: 0.85rem 1rem;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  box-shadow: 0 12px 32px rgba(0, 0, 0, 0.35);
}

.tape-nav {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 0.15rem;
  flex-shrink: 0;
  padding: 0.15rem 0;
}

.tape-nav-btn {
  min-width: 2rem;
  min-height: 1.75rem;
  padding: 0.15rem 0.35rem;
  font-size: 0.85rem;
  line-height: 1;
}

.tape-nav-label {
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--muted);
  white-space: nowrap;
  user-select: none;
}

.head-side-options {
  display: flex;
  gap: 0.75rem;
}

.head-side-option {
  display: flex;
  align-items: center;
  gap: 0.35rem;
  font-size: 0.88rem;
  cursor: pointer;
}

.test-strings-field {
  margin-bottom: 0;
}

.test-strings-hint {
  margin: 0 0 0.5rem;
  font-size: 0.78rem;
  line-height: 1.35;
  color: var(--text-muted);
}

.test-strings-scroll {
  max-height: min(220px, 38vh);
  overflow-x: hidden;
  overflow-y: auto;
  margin-bottom: 0.5rem;
  padding: 0.4rem;
  background: var(--surface-2);
  border: 1px solid var(--border);
  border-radius: 8px;
  scrollbar-width: thin;
  scrollbar-color: rgba(148, 163, 184, 0.45) transparent;
}

.test-strings-scroll::-webkit-scrollbar {
  width: 6px;
}

.test-strings-scroll::-webkit-scrollbar-track {
  margin: 4px 0;
  background: transparent;
}

.test-strings-scroll::-webkit-scrollbar-thumb {
  background: rgba(148, 163, 184, 0.35);
  border-radius: 999px;
  border: 1px solid transparent;
  background-clip: padding-box;
}

.test-strings-scroll::-webkit-scrollbar-thumb:hover {
  background: rgba(148, 163, 184, 0.55);
  background-clip: padding-box;
}

.test-strings-list {
  display: flex;
  flex-direction: column;
  gap: 0.45rem;
}

.test-string-row {
  display: grid;
  grid-template-columns: 1fr auto auto auto;
  gap: 0.25rem;
  align-items: center;
}

.test-string-row .test-string-input {
  min-width: 0;
}

.test-string-move,
.test-string-delete {
  min-width: 1.75rem;
  padding: 0.2rem 0.35rem;
}

.test-add-btn {
  width: 100%;
}

.modal-wide {
  width: min(720px, 100%);
}

.test-report-wrap {
  overflow-x: auto;
  margin-bottom: 0.75rem;
}

.test-report-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.88rem;
}

.test-report-table th,
.test-report-table td {
  padding: 0.45rem 0.55rem;
  border: 1px solid var(--border);
  text-align: left;
  vertical-align: top;
}

.test-report-table th {
  background: var(--surface-2, rgba(255, 255, 255, 0.04));
  font-weight: 600;
  color: var(--muted);
}

.test-report-table .test-report-tape {
  font-family: var(--mono, ui-monospace, monospace);
  word-break: break-all;
}

.test-report-table .test-report-result {
  font-family: var(--mono, ui-monospace, monospace);
  word-break: break-all;
}

.test-report-fail td {
  color: var(--muted);
}

.test-report-summary {
  margin: 0;
  font-weight: 600;
  font-size: 0.95rem;
}

.tape-menu-popup.hidden {
  display: none;
}

.tape-menu-title {
  margin: 0 0 0.75rem;
  font-size: 0.9rem;
  font-weight: 600;
}

.tape-menu-popup .field {
  margin-bottom: 0.75rem;
}

.tape-menu-popup .field:last-child {
  margin-bottom: 0;
}

.tape-menu-popup .field-label {
  display: block;
  margin-bottom: 0.35rem;
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--muted);
}

.tape-menu-popup .task-input {
  width: 100%;
}

.program-panel {
  min-height: 420px;
  display: flex;
  flex-direction: column;
  min-width: 0;
}

.program-panel .table-wrap {
  flex: 1;
}

.panel-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 0.5rem;
}

.run-controls {
  display: flex;
  gap: 0.5rem;
}

.field {
  margin-bottom: 0.9rem;
}

.field label {
  display: block;
  margin-bottom: 0.35rem;
  font-size: 0.875rem;
  font-weight: 600;
}

.row {
  display: flex;
  gap: 0.5rem;
}

input[type='text'],
input[type='number'] {
  flex: 1;
  min-width: 0;
  padding: 0.55rem 0.7rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface-2);
  color: var(--text);
  font: inherit;
}

input:disabled {
  opacity: 0.55;
  cursor: not-allowed;
}

.hint {
  margin: 0.35rem 0 0;
  font-size: 0.78rem;
  color: var(--muted);
}

.tape-hint {
  margin-bottom: 0.5rem;
}

.tape-hint span {
  font-family: var(--mono);
  font-weight: 600;
  color: var(--head);
}

.hint code,
kbd {
  font-family: var(--mono);
  font-size: 0.85em;
  background: var(--surface-2);
  padding: 0.1rem 0.35rem;
  border-radius: 4px;
}

.tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin-top: 0.5rem;
}

.tag {
  display: inline-flex;
  align-items: center;
  gap: 0.25rem;
  padding: 0.2rem 0.55rem;
  border-radius: 999px;
  background: var(--surface-2);
  border: 1px solid var(--border);
  font-family: var(--mono);
  font-size: 0.85rem;
}

.tag-blank {
  color: var(--muted);
}

.tag-remove,
.col-delete,
.row-delete {
  border: none;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  padding: 0 0.2rem;
  line-height: 1;
  font-size: 1rem;
}

.tag-remove:hover,
.col-delete:hover,
.row-delete:hover {
  color: var(--error);
}

.table-header-menu {
  position: fixed;
  z-index: 60;
  min-width: 10rem;
  padding: 0.35rem;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 8px;
  box-shadow: 0 12px 32px rgba(0, 0, 0, 0.35);
}

.table-header-menu.hidden {
  display: none;
}

.table-header-menu-body {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
}

.table-header-menu-item {
  display: block;
  width: 100%;
  padding: 0.45rem 0.65rem;
  border: none;
  border-radius: 6px;
  background: transparent;
  color: var(--text);
  font: inherit;
  font-size: 0.85rem;
  text-align: left;
  cursor: pointer;
}

.table-header-menu-item:hover:not(:disabled) {
  background: rgba(56, 189, 248, 0.12);
}

.table-header-menu-item--active {
  color: var(--accent);
  background: rgba(56, 189, 248, 0.1);
}

.table-header-menu-item--danger:hover:not(:disabled) {
  background: rgba(248, 113, 113, 0.12);
  color: #fecaca;
}

.table-header-menu-dirs {
  display: flex;
  gap: 0.25rem;
  padding: 0 0.2rem 0.15rem;
}

.table-header-menu-dir {
  flex: 1;
  padding: 0.35rem 0.5rem;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--surface-2);
  color: var(--text);
  font: inherit;
  font-size: 0.9rem;
  cursor: pointer;
}

.table-header-menu-dir:hover:not(:disabled) {
  border-color: var(--accent);
  color: var(--accent);
}

.table-header-menu-dir:disabled {
  opacity: 0.35;
  cursor: not-allowed;
}

.program-table .header-label {
  display: block;
  font-family: var(--mono);
}

.header-rename {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0;
  font-family: var(--mono);
}

.header-rename-prefix {
  color: var(--text);
  user-select: none;
}

.header-rename-input {
  width: 2.5em;
  min-width: 0;
  padding: 0.1rem 0.2rem;
  border: 1px solid var(--accent);
  border-radius: 3px;
  background: rgba(15, 23, 42, 0.5);
  color: var(--text);
  font-family: var(--mono);
  font-size: inherit;
  line-height: 1.2;
  text-align: left;
}

.header-rename-input:focus {
  outline: none;
}

.header-rename-input--invalid {
  border-color: var(--error);
  background: rgba(248, 113, 113, 0.08);
}

.state-cell.header-renaming {
  padding: 0.35rem 0.5rem;
}

.program-table th.header-interactive {
  cursor: pointer;
  transition: background 0.15s;
}

.program-table th.header-interactive:hover {
  background: rgba(56, 189, 248, 0.1);
}

.program-table thead th .header-label {
  font-family: inherit;
  font-weight: 600;
}

.row-move-mode .state-cell,
.program-table thead th.col-move-mode,
.program-table td.col-move-mode {
  background: rgba(56, 189, 248, 0.1);
  box-shadow: inset 0 0 0 1px rgba(56, 189, 248, 0.35);
}

.row-move-mode td {
  background: rgba(56, 189, 248, 0.06);
}

.btn {
  border: 1px solid var(--border);
  background: var(--surface-2);
  color: var(--text);
  border-radius: 8px;
  padding: 0.55rem 0.85rem;
  font: inherit;
  cursor: pointer;
  transition: background 0.15s, border-color 0.15s;
}

.btn:hover:not(:disabled) {
  background: #2d3a50;
  border-color: #475569;
}

.btn:disabled {
  opacity: 0.45;
  cursor: not-allowed;
}

.btn-primary {
  background: linear-gradient(135deg, #0284c7, #4f46e5);
  border-color: transparent;
}

.btn-primary:hover:not(:disabled) {
  filter: brightness(1.08);
}

.btn-small {
  padding: 0.35rem 0.6rem;
  font-size: 0.82rem;
}

.btn-icon {
  padding: 0.25rem 0.55rem;
  font-size: 1.4rem;
  line-height: 1;
}

.btn-file {
  display: inline-flex;
  align-items: center;
}

.io-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.table-actions {
  display: flex;
  gap: 0.4rem;
}

.table-wrap {
  overflow-x: hidden;
  overflow-y: hidden;
  border: 1px solid var(--border);
  border-radius: 8px;
  min-width: 0;
}

.table-wrap.table-wrap--scroll {
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

.program-table {
  width: max(
    100%,
    calc(var(--table-state-min) + var(--table-data-cols, 1) * var(--table-cell-min))
  );
  table-layout: fixed;
  border-collapse: collapse;
  font-size: var(--table-font-size);
}

.program-table th,
.program-table td {
  border: 1px solid var(--border);
  padding: var(--table-cell-pad);
  text-align: center;
  vertical-align: middle;
  overflow: hidden;
}

.program-table thead th {
  background: var(--surface-2);
  position: sticky;
  top: 0;
  z-index: 1;
}

.program-table thead th:first-child {
  left: 0;
  z-index: 2;
  width: var(--table-state-min);
  text-align: center;
}

.program-table .state-cell {
  background: var(--surface-2);
  position: sticky;
  left: 0;
  z-index: 1;
  font-family: var(--mono);
  white-space: nowrap;
  width: var(--table-state-min);
  text-align: center;
}

.program-table input {
  width: 100%;
  min-width: 0;
  padding: var(--table-input-pad);
  border: 1px solid transparent;
  border-radius: 3px;
  background: transparent;
  color: var(--text);
  font-family: var(--mono);
  font-size: var(--table-input-font-size);
  line-height: 1.2;
  text-align: center;
}

.program-table input:focus {
  outline: none;
  border-color: var(--accent);
  background: rgba(15, 23, 42, 0.5);
}

.program-table input.cell-invalid,
.program-table td.cell-invalid input {
  border-color: var(--error);
  background: rgba(248, 113, 113, 0.08);
}

.program-table td.cell-invalid {
  background: rgba(248, 113, 113, 0.06);
}

.row-active .state-cell {
  background: var(--highlight);
  box-shadow: inset 3px 0 0 var(--accent);
}

.col-head {
  box-shadow: inset 0 -3px 0 var(--head);
}

.cell-pending {
  background: var(--highlight);
}

.cell-last {
  background: var(--last);
}

.cell-selected {
  background: rgba(56, 189, 248, 0.12);
  box-shadow: inset 0 0 0 1px rgba(56, 189, 248, 0.45);
}

.program-table td.cell-selected input {
  background: rgba(15, 23, 42, 0.35);
}

.run-mode {
  display: flex;
  gap: 1rem;
  margin-bottom: 0.75rem;
}

.controls {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.state-grid {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.35rem 1rem;
  margin: 0;
}

.state-grid dt {
  color: var(--muted);
  font-size: 0.85rem;
}

.state-grid dd {
  margin: 0;
  font-family: var(--mono);
  font-weight: 600;
}

.tape-panel .tape-view {
  border-radius: 8px;
}

.tape-view {
  display: flex;
  flex-wrap: nowrap;
  gap: 0.35rem;
  padding: 0.75rem;
  background: var(--surface-2);
  min-height: var(--tape-view-min-h);
  align-items: flex-end;
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
  min-width: 0;
}

.tape-cell {
  display: flex;
  flex-direction: column;
  align-items: center;
  flex: 0 1 var(--tape-cell-width);
  min-width: var(--tape-cell-min);
  padding: 0.35rem var(--tape-cell-pad-x) 0.2rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: #111827;
  transition: border-color 0.15s, background 0.15s;
}

.tape-clickable {
  cursor: pointer;
}

.tape-clickable:hover {
  border-color: var(--accent);
  background: rgba(56, 189, 248, 0.08);
}

.tape-head {
  border-color: var(--head);
  background: rgba(245, 158, 11, 0.12);
  box-shadow: 0 0 0 2px rgba(245, 158, 11, 0.25);
}

.tape-index {
  font-size: 0.65rem;
  color: var(--muted);
}

.tape-symbol {
  font-family: var(--mono);
  font-size: var(--tape-symbol-size);
  font-weight: 700;
}

.head-marker {
  color: var(--head);
  font-size: 0.75rem;
  line-height: 1;
}

.step-log {
  max-height: 200px;
  overflow-y: auto;
  background: var(--surface-2);
  border-radius: 8px;
  padding: 0.6rem;
  font-family: var(--mono);
  font-size: 0.8rem;
}

.log-line {
  padding: 0.25rem 0;
  border-bottom: 1px solid rgba(51, 65, 85, 0.5);
}

.log-line:last-child {
  border-bottom: none;
}

.log-empty {
  margin: 0;
  color: var(--muted);
}

.modal-overlay {
  position: fixed;
  inset: 0;
  z-index: 100;
  display: flex;
  align-items: flex-start;
  justify-content: center;
  padding: 2rem 1rem;
  background: rgba(0, 0, 0, 0.55);
  backdrop-filter: blur(4px);
  overflow-y: auto;
}

.modal-overlay.hidden {
  display: none;
}

.modal {
  width: min(520px, 100%);
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  box-shadow: 0 20px 50px rgba(0, 0, 0, 0.45);
}

.modal-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 1rem 1.1rem 0.75rem;
  border-bottom: 1px solid var(--border);
}

.modal-header h2 {
  margin: 0;
  font-size: 1.1rem;
}

.modal-body {
  padding: 0.75rem 1.1rem 1.1rem;
}

.settings-section {
  padding: 0.75rem 0;
  border-bottom: 1px solid var(--border);
}

.settings-section:last-child {
  border-bottom: none;
  padding-bottom: 0;
}

.settings-section h3 {
  margin: 0 0 0.65rem;
  font-size: 0.9rem;
  font-weight: 600;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

@media (max-width: 768px) {
  :root {
    --layout-pad-x: 1rem;
    --tape-cell-width: 2rem;
    --tape-cell-min: 1.4rem;
    --tape-cell-pad-x: 0.3rem;
    --tape-symbol-size: 1.05rem;
    --tape-view-min-h: 4.25rem;
    --table-cell-min: 4rem;
    --table-state-min: 2.75rem;
    --table-font-size: 0.8rem;
    --table-input-font-size: 0.78rem;
  }

  .header {
    padding: 1rem var(--layout-pad-x) 0.5rem;
  }

  .header h1 {
    font-size: 1.45rem;
  }

  .panel {
    padding: 0.85rem 0.9rem;
  }

  .panel-head {
    flex-wrap: wrap;
    gap: 0.65rem;
  }

  .program-panel .hint {
    font-size: 0.74rem;
  }
}

@media (max-width: 480px) {
  :root {
    --layout-pad-x: 0.65rem;
    --tape-cell-width: 1.75rem;
    --tape-cell-min: 1.2rem;
    --tape-cell-pad-x: 0.2rem;
    --tape-symbol-size: 0.9rem;
    --tape-view-min-h: 3.75rem;
    --table-cell-min: 4rem;
    --table-state-min: 2.25rem;
    --table-font-size: 0.75rem;
    --table-input-font-size: 0.72rem;
  }

  .header-inner {
    flex-direction: column;
    align-items: stretch;
  }

  .header-actions {
    justify-content: flex-end;
  }

  .header h1 {
    font-size: 1.25rem;
  }

  .subtitle {
    font-size: 0.88rem;
  }

  .tape-view {
    gap: 0.25rem;
    padding: 0.55rem;
  }

  .tape-menu-btn {
    min-width: 2.1rem;
    padding: 0.35rem;
    font-size: 1.1rem;
  }

  .tape-index {
    font-size: 0.58rem;
  }

  .run-controls {
    flex: 1;
    min-width: 0;
  }

  .run-controls .btn {
    flex: 1;
    min-width: 0;
    padding-left: 0.45rem;
    padding-right: 0.45rem;
  }

  .program-table .state-cell {
    font-size: 0.72rem;
  }
}

.save-status {
  color: var(--muted);
  font-size: 0.9rem;
  margin-right: 0.5rem;
}

.save-status.save-saving {
  color: var(--warning);
}

.save-status.save-saved {
  color: var(--success);
}

.save-status.save-error {
  color: var(--error);
}

.condition-html {
  line-height: 1.6;
}

.condition-html .math {
  display: block;
  margin: 0.5rem 0;
  font-family: var(--mono);
  color: var(--accent);
}

.all-solved-panel {
  max-width: 600px;
  margin: 2rem auto;
  padding: 0 1.5rem;
}

.all-solved-panel.hidden,
.hidden {
  display: none !important;
}

.load-error {
  padding: 2rem;
  text-align: center;
  color: var(--error);
}