@import url("https://fonts.googleapis.com/css2?family=Inter:wght@400;600&display=swap");

:root {
  --primary: #2c3e50;
  --accent: #3498db;
  --bg-gradient: linear-gradient(to bottom right, #e6f0fa, #f0f4f8);
  --button: #2980b9;
  --button-hover: #1c6690;
  --vertex-cover: #e74c3c;
  --text-dark: #2c3e50;
  --card-bg: #ffffff;
  --card-shadow: 0 4px 15px rgba(0, 0, 0, 0.1);
  --graph-bg: #ffffff;
  --graph-border: #d3dce6;
  --nav-bg: transparent;
  --nav-text: #2c3e50;
  --nav-muted: #5f6f81;
  --active-dot: #3498db;
  --page-max: 1200px;
}

body,
.card,
.info-card,
button,
#cy {
  transition: background 0.4s ease, color 0.4s ease, border 0.3s ease;
}

body {
  font-family: "Inter", sans-serif;
  color: var(--text-dark);
  margin: 0;
  padding: 0;
}

.container {
  margin: 40px auto;
  padding: 20px;
}

h1 {
  text-align: center;
  margin-bottom: 30px;
  font-size: 32px;
  color: var(--primary);
}

.card,
.info-card {
  border-radius: 16px;
  padding: 24px;
  box-shadow: var(--card-shadow);
  margin-bottom: 24px;
}

.info-cards {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
  gap: 20px;
}

.info-card h3 {
  margin: 0 0 12px;
  font-size: 18px;
  color: var(--primary);
}

.info-card p,
.info-card ul {
  font-size: 15px;
  line-height: 1.6;
}

.input-group {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  align-items: center;
}

label {
  font-weight: 600;
  margin-right: 6px;
}

input,
select,
button {
  padding: 10px 14px;
  font-size: 15px;
  border: 1px solid #ccc;
  border-radius: 8px;
}

input:focus,
select:focus {
  outline: none;
  border-color: var(--accent);
}

button {
  background-color: var(--button);
  color: white;
  border: none;
  border-radius: 8px;
  transition: background 0.3s ease;
  cursor: pointer;
}

button:hover {
  background-color: var(--button-hover);
}

button:disabled {
  background-color: #dfe6ee;
  cursor: not-allowed;
  opacity: 1;
}

button:hover:not(:disabled) {
  transform: translateY(-1px);
  box-shadow: 0 4px 10px rgba(0,0,0,0.1);
}

#clauseInputs div {
  margin: 10px 0;
}

#formulaDisplay {
  background-color: #f4f6f8;
}

#graphSection {
  display: none;
  background: var(--graph-bg);
  border-radius: 16px;
  padding: 24px;
  box-shadow: var(--card-shadow);
}

#cy {
  width: 100%;
  margin-top: 0;
}

.graph-workspace {
  display: grid;
  align-items: start;
  margin-top: 12px;
}

.graph-workspace__left,
.graph-workspace__right {
  min-width: 0;
}

.graph-workspace__left,
.graph-workspace__right {
  display: flex;
  flex-direction: column;
  gap: 10px;
}

.workspace-block {
  border: 1px solid #dfe6ee;
  border-radius: 12px;
}

.workspace-block__title {
  font-size: 11px;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--primary);
  margin-bottom: 6px;
}

.workspace-formula {
  margin: 0;
}

#workspaceFormulaText {
  font-size: 14px;
  font-weight: 600;
  line-height: 1.35;
  word-break: break-word;
}

.controls-stack {
  display: flex;
  flex-direction: column;
  gap: 8px;
}

.controls-row {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 16px;
  flex-wrap: wrap;
  width: 100%;
}

.step-buttons,
#practiceControls,
#subsetSumPracticeControls,
.subset-sum-controls {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 8px;
}

.step-buttons,
#practiceControls {
  justify-content: flex-start;
}

.step-buttons button,
#practiceControls button {
  padding: 8px 12px;
  font-size: 14px;
}

.subset-sum-controls button,
#subsetSumPracticeControls button {
  background-color: var(--accent);
}

.assignment-panel {
  display: flex;
  flex-direction: column;
  gap: 10px;
  padding: 12px;
  margin: 0;
  background: #f8fafc;
  border: 1px solid #dfe6ee;
  border-radius: 12px;
}

.assignment-controls {
  flex-wrap: wrap;
  margin: 0;
}

.assignment-inline-title {
  font-size: 13px;
  font-weight: 600;
  margin-right: 4px;
  color: var(--primary);
}

.assignment-row {
  font-size: 12px;
}

.assignment-item {
  display: flex;
  align-items: center;
  gap: 4px;
  font-size: 12px;
}

.assignment-label {
  font-weight: 500;
}

.assignment-select {
  padding: 2px 4px;
  font-size: 12px;
}

#graphStepCounter {
  font-weight: 600;
  color: #2c3e50;
  margin: 0 0 6px;
  text-align: left;
  font-size: 14px;
}

#assignmentDisplay {
  text-align: left;
  background-color: #f4f6f8;
  width: 100%;
  box-sizing: border-box;
  margin: 0;
}

#assignmentDisplay strong {
  margin-bottom: 8px;
}

#subsetSumSection {
  background: #f8f9fa;
  padding: 16px;
  border-radius: 12px;
  border: 1px solid #dee2e6;
}

#subsetSumSection h3 {
  margin-top: 0;
  color: var(--primary);
  font-size: 18px;
}

#subsetSumTarget {
  font-weight: 600;
  color: #2c3e50;
  margin: 8px 0;
}

#subsetSumTable {
  width: 100%;
  border-collapse: collapse;
  margin-top: 10px;
  font-size: 14px;
}

#subsetSumTable th,
#subsetSumTable td {
  padding: 10px;
  text-align: center;
  border-bottom: 1px solid #dee2e6;
}

#subsetSumTable th {
  background-color: #e9ecef;
  font-weight: 600;
}

#subsetSumTable input[type="checkbox"] {
  transform: scale(1.3);
  cursor: pointer;
}

.subset-sum-correct {
  background-color: #d4edda !important;
  color: #155724;
}

.subset-sum-incorrect {
  background-color: #f8d7da !important;
  color: #721c24;
}

.subset-sum-highlight {
  background-color: #d1ecf1;
  font-weight: bold;
}

.subset-sum-footer {
  margin-top: 16px;
  text-align: center;
}

#subsetSumStepCounter {
  font-weight: 600;
  color: #2c3e50;
  margin: 4px 0;
}

#subsetSumMessage {
  margin-top: 8px;
  font-weight: 600;
  color: #2c3e50;
}

.subset-sum-active #messageDisplay,
.subset-sum-active #practiceControls {
  display: none !important;
}

.subset-input {
  cursor: pointer;
  text-align: center;
  user-select: none;
}

.subset-input:hover {
  background: rgba(52, 152, 219, 0.15);
}

.subset-sum-disabled {
  opacity: 0.4;
  pointer-events: none;
}

.subset-explanation th {
  background: #eef4fb;
  font-size: 13px;
  text-align: left;
  padding: 8px;
  font-weight: 500;
}

.reduction-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(210px, 1fr));
  gap: 14px;
  margin-top: 10px;
}

.reduction-card {
  text-align: left;
  padding: 16px;
  border-radius: 14px;
  background: #fff;
  border: 1px solid #e5e8ef;
  box-shadow: 0 3px 10px rgba(0, 0, 0, 0.06);
}

.reduction-card:hover {
  transform: translateY(-1px);
}

.reduction-card.is-active {
  border-color: var(--accent);
  box-shadow: 0 0 0 3px rgba(52, 152, 219, 0.18), 0 6px 18px rgba(0, 0, 0, 0.08);
}

.reduction-card .title {
  font-weight: 700;
  margin-bottom: 6px;
}

.reduction-card .desc {
  font-size: 13px;
  opacity: 0.85;
  line-height: 1.35;
}

.main-layout {
  display: grid;
  grid-template-columns: 360px 1fr;
  gap: 18px;
  align-items: start;
}

.sticky-panel {
  position: sticky;
  top: 18px;
}

.nav {
  position: sticky;
  top: 0;
  z-index: 1000;
  width: 100%;
  background: rgba(237, 244, 255, 0.86);
  backdrop-filter: blur(14px);
  -webkit-backdrop-filter: blur(14px);
  border-bottom: 1px solid rgba(191, 219, 254, 0.55);
  box-shadow: 0 10px 30px rgba(15, 23, 42, 0.06);
}

.nav__inner {
  max-width: var(--page-max);
  margin: 0 auto;
  padding: 18px 20px;
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.nav__brand {
  display: flex;
  align-items: center;
  gap: 14px;
}

.nav__logo {
  height: 80px;
  width: auto;
  object-fit: contain;
}

.nav__text {
  line-height: 1.05;
}

.nav__title {
  font-size: 32px;
  font-weight: 800;
  letter-spacing: -0.6px;
  color: var(--nav-text);
}

.nav__subtitle {
  margin-top: 6px;
  font-size: 15px;
  font-weight: 600;
  color: var(--nav-muted);
}

.lang {
  display: flex;
  align-items: center;
  gap: 10px;
}

.lang__btn {
  border: 1px solid #d8e0ea;
  background: #ffffff;
  cursor: pointer;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 6px 12px;
  font-size: 13px;
  font-weight: 700;
  color: var(--nav-muted);
  border-radius: 999px;
  transition: all 0.2s ease;
}

.lang__btn:hover {
  background: #f0f7ff;
  border-color: var(--accent);
  color: var(--nav-text);
}

.lang__btn:active {
  transform: scale(0.96);
}

.page {
  max-width: var(--page-max);
  margin: 0 auto;
  padding: 18px 20px;
}

#toggleInfo {
  background-color: var(--accent);
  color: white;
  border: none;
  border-radius: 8px;
  padding: 10px 16px;
  cursor: pointer;
  margin: 20px auto;
  display: block;
  transition: background 0.3s ease;
  font-size: 15px;
}

#toggleInfo:hover {
  background-color: var(--button-hover);
}

#infoCardsWrapper {
  transition: max-height 0.3s ease;
}

.practice-selectable {
  cursor: pointer;
  border-width: 2px;
  border-color: #ffdc00;
}

.mode-group {
  gap: 1px;
}

.graph-controls-card {
  align-self: center;
  width: fit-content;
  max-width: 100%;
}

.formula-clause {
  display: inline-block;
  padding: 2px 5px;
  border-radius: 7px;
  transition: background 0.25s ease, box-shadow 0.25s ease, color 0.25s ease;
}

#graphAssignmentArea:empty::before {
  content: "clause results will appear here after the construction/result step.";
  color: #7b8794;
  font-size: 13px;
}

.workspace-block__subtitle {
  margin-top: 10px;
  margin-bottom: 6px;
  font-size: 10px;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: #6b7280;
}

.formula-variable {
  display: inline-flex;
  align-items: center;
  justify-content: center;
}

.formula-pulse {
  animation: formulaFocusPulse 0.55s ease;
}

@keyframes formulaFocusPulse {
0% {
    transform: scale(0.96);
  }

  45% {
    transform: scale(1.08);
  }

  100% {
    transform: scale(1);
  }
}

#subsetWorkspaceFormulaText {
  font-size: 14px;
  font-weight: 600;
  line-height: 1.5;
  word-break: break-word;
}

.subset-controls-card {
  margin-top: 14px;
}

.subset-controls-card .subset-sum-controls {
  justify-content: flex-start;
}

.subset-controls-card #subsetSumMessage {
  margin-top: 8px;
  text-align: left;
}

@media (max-width: 700px) {
  .page {
    padding: 10px;
  }

  .container {
    margin: 12px auto;
    padding: 0;
    max-width: 100%;
  }

  .card,
  #graphSection,
  #subsetSumSection {
    padding: 14px;
    border-radius: 12px;
    box-sizing: border-box;
  }

  .nav__inner {
    padding: 12px;
  }

  .nav__logo {
    height: 54px;
  }

  .nav__title {
    font-size: 26px;
  }

  .nav__subtitle {
    font-size: 12px;
  }

  .input-group {
    gap: 8px;
  }

  input,
  select,
  button {
    font-size: 14px;
    padding: 8px 10px;
  }

  .graph-workspace {
    display: flex;
    flex-direction: column;
    gap: 12px;
  }

  #graphSection .graph-workspace__right {
    order: 1;
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 10px;
    width: 100%;
    min-width: 0;
  }

  #graphSection .workspace-formula {
    grid-column: 1;
  }

  #graphSection .workspace-block--primary {
    grid-column: 2;
  }

  #graphSection .clause-evaluation-panel {
    grid-column: 1;
  }

  #graphSection #assignmentPanel {
    grid-column: 2;
  }

  #graphSection .graph-workspace__left {
    order: 2;
    display: block;
    width: 100%;
    min-width: 0;
  }

  #cy {
    width: 100%;
    box-sizing: border-box;
  }

  #graphSection .graph-controls-card {
    width: 100%;
    max-width: 100%;
    margin-top: 10px;
    box-sizing: border-box;
    align-self: stretch;
  }

  #graphSection .step-buttons {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 8px;
    width: 100%;
  }

  #graphSection .step-buttons button {
    width: 100%;
    min-width: 0;
  }

  #subsetSumSection .graph-workspace__right {
    order: 1;
  }

  #subsetSumSection .graph-workspace__left {
    order: 2;
    display: block;
    width: 100%;
    min-width: 0;
  }

  #subsetSumTable {
    display: block;
    width: 100%;
    overflow-x: auto;
    white-space: nowrap;
    font-size: 12px;
  }

  #subsetSumTable th,
  #subsetSumTable td {
    padding: 7px;
  }

  #subsetSumSection .subset-controls-card {
    width: 100%;
    max-width: 100%;
    margin-top: 10px;
    box-sizing: border-box;
    align-self: stretch;
  }

  #subsetSumSection .subset-sum-controls {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 8px;
    width: 100%;
  }

  #subsetSumSection .subset-sum-controls button {
    width: 100%;
    min-width: 0;
  }

  .workspace-block {
    padding: 9px 10px;
    min-width: 0;
    box-sizing: border-box;
  }

  .workspace-block__title {
    font-size: 10px;
  }

  #assignmentDisplay {
    font-size: 12px;
    max-height: 150px;
  }

  .formula-variable {
    font-size: 12px;
    padding: 3px 7px;
  }

  #workspaceFormulaText,
  #subsetWorkspaceFormulaText {
    font-size: 12px;
  }

  .assignment-controls,
  #subsetAssignmentControls {
    flex-direction: column;
  }

  .assignment-row {
    width: 100%;
    justify-content: space-between;
    box-sizing: border-box;
  }
}

@media (max-width: 430px) {
  #graphSection .graph-workspace__right {
    grid-template-columns: 1fr 1fr;
  }

  #graphSection .workspace-formula {
    grid-column: 1;
  }

  #graphSection .workspace-block--primary {
    grid-column: 2;
  }

  #graphSection .clause-evaluation-panel {
    grid-column: 1;
  }

  #graphSection #assignmentPanel {
    grid-column: 2;
  }

  #cy {
    height: 260px !important;
    min-height: 260px;
    max-height: 260px;
  }
}

#graphStepCounter,
#subsetSumStepCounter {
  display: inline-flex;
  align-items: center;
  width: fit-content;
  font-weight: 800;
  color: #0f172a;
  background: #dbeafe;
  border: 1px solid #93c5fd;
  border-radius: 999px;
  padding: 5px 10px;
  margin: 0 0 10px;
  text-align: left;
  font-size: 13px;
  letter-spacing: 0.02em;
}

#messageDisplay,
#subsetSumStepMessage {
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  border-radius: 14px;
  border: 1px solid #bfdbfe;
  border-left: 7px solid #2563eb;
  line-height: 1.55;
  font-weight: 700;
  color: #172554;
  width: 100%;
  margin: 0;
  box-sizing: border-box;
  box-shadow: 0 8px 22px rgba(37, 99, 235, 0.14);
  transition: transform 0.25s ease, box-shadow 0.25s ease, background 0.25s ease;
}

.workspace-block--primary {
  background: linear-gradient(135deg, #eff6ff, #ffffff);
  border: 2px solid #93c5fd;
  box-shadow: 0 10px 26px rgba(37, 99, 235, 0.12);
}

.workspace-block--primary .workspace-block__title {
  color: #1d4ed8;
  font-size: 12px;
}

.step-attention {
  animation: stepAttention 0.45s ease;
}

@keyframes stepAttention {
0% {
    transform: scale(0.98);
    box-shadow: 0 0 0 rgba(37, 99, 235, 0);
  }
  45% {
    transform: scale(1.015);
    box-shadow: 0 0 0 5px rgba(37, 99, 235, 0.16);
  }
  100% {
    transform: scale(1);
    box-shadow: 0 8px 22px rgba(37, 99, 235, 0.14);
  }
}

.empty-state {
  display: flex;
  flex-direction: column;
  gap: 8px;
  justify-content: center;
  align-items: center;
  text-align: center;
  min-height: 180px;
  padding: 24px;
  border: 2px dashed #cbd5e1;
  border-radius: 14px;
  background: linear-gradient(135deg, #f8fafc, #eef6ff);
  color: #475569;
}

.empty-state__icon {
  width: 44px;
  height: 44px;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  background: #dbeafe;
  color: #1d4ed8;
  font-size: 22px;
  font-weight: 900;
}

.empty-state__title {
  font-size: 17px;
  font-weight: 800;
  color: #0f172a;
}

.empty-state__text {
  max-width: 420px;
  font-size: 14px;
  line-height: 1.45;
}

.result-banner {
  display: none;
  margin-bottom: 12px;
  padding: 12px 14px;
  border-radius: 14px;
  background: linear-gradient(135deg, #ecfdf5, #ffffff);
  border: 1px solid #86efac;
  border-left: 7px solid #22c55e;
  color: #064e3b;
  font-weight: 800;
  box-shadow: 0 8px 22px rgba(34, 197, 94, 0.14);
}

.result-banner.is-visible {
  display: block;
  animation: resultPop 0.55s ease;
}

.result-celebration {
  animation: resultPop 0.55s ease;
}

@keyframes resultPop {
0% { transform: translateY(4px) scale(0.98); opacity: 0; }
  55% { transform: translateY(-2px) scale(1.015); opacity: 1; }
  100% { transform: translateY(0) scale(1); opacity: 1; }
}

#subsetSumTable tr.result-row-highlight td {
  background: #dcfce7 !important;
  font-weight: 800;
}

@media (max-width: 700px) {
  #messageDisplay,
  #subsetSumStepMessage {
    font-size: 14px;
    padding: 12px 13px;
  }

  .empty-state {
    min-height: 130px;
    padding: 16px;
  }
}

.container {
  max-width: 1120px;
}

.card {
  margin-bottom: 28px;
}

body {
  background: radial-gradient(circle at top left, rgba(59,130,246,0.12), transparent 30%),
    radial-gradient(circle at top right, rgba(34,197,94,0.08), transparent 26%),
    linear-gradient(to bottom right, #edf4ff, #e8eef6);
}

.card,
.info-card {
  background: rgba(255,255,255,0.82);
  backdrop-filter: blur(10px);
  border: 1px solid rgba(191,219,254,0.55);
}

#graphSection,
#subsetSumSection {
  background: linear-gradient(135deg, rgba(255,255,255,0.88), rgba(239,246,255,0.82));
}

.workspace-block {
  background: linear-gradient(135deg, #f8fbff, #f1f5f9);
  transition: transform 0.25s ease, box-shadow 0.25s ease, border-color 0.25s ease;
}

.assignment-panel:hover,
.clause-evaluation-panel:hover,
.graph-controls-card:hover {
  transform: translateY(-2px);
  border-color: #93c5fd;
}

.card > h3 {
  margin: 0 0 16px;
  font-size: 20px;
  font-weight: 900;
  color: #0f172a;
  display: flex;
  align-items: center;
  gap: 8px;
}

.card > h3::before {
  content: "";
  width: 6px;
  height: 24px;
  border-radius: 999px;
  background: #2563eb;
}

.card:first-of-type {
  position: relative;
  overflow: hidden;
}

.card:first-of-type::before {
  content: "";
  position: absolute;
  inset: 0 0 auto 0;
  height: 5px;
  background: linear-gradient(90deg, #2563eb, #38bdf8);
}

.card:first-of-type .input-group:first-child {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  background: linear-gradient(135deg, #ffffff, #f7fbff);
  border: 1px solid #dbeafe;
  box-shadow: 0 10px 24px rgba(37, 99, 235, 0.07);
}

.card:first-of-type .input-group:first-child label {
  font-size: 13px;
  font-weight: 800;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: #1e3a8a;
}

#varCount,
#clauseCount {
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: white;
  font-weight: 800;
  color: #1e3a8a;
  transition: all 0.2s ease;
}

#varCount:hover,
#clauseCount:hover {
  border-color: #60a5fa;
}

#varCount:focus,
#clauseCount:focus {
  outline: none;
  border-color: #2563eb;
  box-shadow: 0 0 0 4px rgba(37, 99, 235, 0.14);
}

button[onclick="generateInputs()"] {
  border-radius: 999px;
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: white;
  font-weight: 900;
  letter-spacing: 0.01em;
  box-shadow: 0 8px 18px rgba(37, 99, 235, 0.22);
  transition: all 0.25s ease;
}

button[onclick="generateInputs()"]:hover:not(:disabled) {
  transform: translateY(-2px);
  box-shadow: 0 12px 24px rgba(37, 99, 235, 0.28);
}

#clauseInputs {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
}

#clauseInputs > div {
  display: inline-flex;
  align-items: center;
  flex-wrap: wrap;
  width: fit-content;
  max-width: 100%;
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  border: 1px solid #dbeafe;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.06);
  transition: all 0.25s ease;
}

#clauseInputs > div:hover {
  transform: translateY(-1px);
  border-color: #93c5fd;
  box-shadow: 0 12px 28px rgba(37, 99, 235, 0.10);
}

#clauseInputs strong,
#clauseInputs label {
  font-weight: 800;
  color: #1e3a8a;
}

#clauseInputs select {
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: white;
  color: #1e3a8a;
  font-weight: 800;
  transition: all 0.2s ease;
}

#clauseInputs select:focus {
  border-color: #2563eb;
  box-shadow: 0 0 0 4px rgba(37, 99, 235, 0.14);
}

#formulaDisplay {
  display: none;
  position: relative;
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  border: 1px solid #bfdbfe;
  box-shadow: 0 10px 26px rgba(37, 99, 235, 0.10);
  font-weight: 900;
  line-height: 1.55;
  color: #172554;
}

#formulaDisplay::before {
  content: "Formula";
  display: inline-flex;
  align-items: center;
  border-radius: 999px;
  background: #dbeafe;
  font-weight: 900;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: #2563eb;
}

#formulaDisplay .formula-clause {
  margin: 2px 3px;
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
}

#formulaDisplay .formula-clause.is-active {
  background: #dbeafe;
  border-color: #2563eb;
}

.mode-group {
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  border: 1px solid #dbeafe;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.06);
}

.mode-group label {
  font-size: 13px;
  font-weight: 800;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: #1e3a8a;
}

#appMode {
  appearance: none;
  -webkit-appearance: none;
  -moz-appearance: none;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  font-weight: 800;
  color: #1e3a8a;
  cursor: pointer;
  transition: all 0.2s ease;
}

#appMode:hover {
  border-color: #60a5fa;
}

#appMode:focus {
  outline: none;
  border-color: #2563eb;
  box-shadow: 0 0 0 4px rgba(37, 99, 235, 0.14);
}

.input-group button[onclick^="buildGraph"],
.input-group button[onclick="generateSubsetSum()"],
#practiceControls button,
#subsetSumPracticeControls button,
.step-buttons button,
.subset-sum-controls button {
  min-width: 88px;
  padding: 8px 14px;
  border-radius: 999px;
  font-size: 13px;
  font-weight: 800;
  background: white;
  color: #1e3a8a;
  border: 1px solid #bfdbfe;
  box-shadow: 0 3px 10px rgba(37, 99, 235, 0.08);
}

.input-group button[onclick^="buildGraph"]:hover:not(:disabled),
.input-group button[onclick="generateSubsetSum()"]:hover:not(:disabled),
#practiceControls button:hover:not(:disabled),
#subsetSumPracticeControls button:hover:not(:disabled),
.step-buttons button:hover:not(:disabled),
.subset-sum-controls button:hover:not(:disabled) {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: white;
  border-color: transparent;
  transform: translateY(-1px);
}

button:disabled {
  background: #f1f5f9 !important;
  color: #94a3b8 !important;
  border: 1px solid #e2e8f0 !important;
  box-shadow: none !important;
  transform: none !important;
}

.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card {
  position: relative;
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  border: 1px solid #c7d2fe;
  box-shadow: 0 10px 24px rgba(30, 64, 175, 0.08);
  overflow: hidden;
}

.assignment-panel::before,
.clause-evaluation-panel::before,
.graph-controls-card::before {
  content: "";
  position: absolute;
  inset: 0 0 auto 0;
  height: 4px;
  background: linear-gradient(90deg, #2563eb, #22c55e, #f59e0b);
}

.assignment-select {
  border-radius: 999px;
  border: 1px solid #93c5fd;
  background: #eff6ff;
  font-weight: 800;
  color: #1e3a8a;
}

#assignmentDisplay,
#subsetAssignmentArea {
  background: #ffffff;
  border: 1px solid #bbf7d0;
  border-left: 6px solid #22c55e;
  box-shadow: inset 0 0 0 1px rgba(34, 197, 94, 0.06);
}

.graph-controls-card,
.subset-controls-card {
  min-width: 0;
  backdrop-filter: blur(10px);
  border: 1px solid #dbeafe;
  box-shadow: 0 10px 24px rgba(37, 99, 235, 0.08);
}

.step-buttons,
.subset-sum-controls {
  justify-content: center;
  gap: 10px;
}

#cy {
  background: linear-gradient(135deg, #ffffff, #f8fafc);
  border: 1px solid #dbe3ef;
  box-shadow: 0 18px 42px rgba(15, 23, 42, 0.10),
    inset 0 1px 0 rgba(255, 255, 255, 0.9);
}

#cy,
#subsetSumTable {
  outline: 1px solid rgba(255,255,255,0.8);
  box-shadow: 0 18px 40px rgba(15, 23, 42, 0.10),
    inset 0 1px 0 rgba(255,255,255,0.9);
}

#subsetSumTable {
  border-radius: 14px;
  overflow: hidden;
  background: white;
  box-shadow: 0 8px 24px rgba(15, 23, 42, 0.08);
}

#subsetSumTable th {
  background: #dbeafe;
  color: #172554;
  text-transform: uppercase;
  font-size: 12px;
  letter-spacing: 0.04em;
}

#subsetSumTable tr:hover td {
  background: #f8fafc;
}

.input-group button[onclick^="buildGraph"].is-active,
.input-group button[onclick="generateSubsetSum()"].is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: white;
  border-color: transparent;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.25);
}

@media (max-width: 700px) {
  .card:first-of-type::after {
    display: none;
  }

  #clauseInputs > div,
  #formulaDisplay,
  .mode-group {
    width: 100%;
    box-sizing: border-box;
  }
}

.workspace-block {
  padding: 8px 10px;
}

#messageDisplay,
#subsetSumStepMessage {
  font-size: 14px;
  padding: 10px 12px;
}

.step-buttons button {
  min-width: 68px;
  padding: 6px 10px;
  font-size: 12px;
}

#cy {
  height: clamp(500px, 52vh, 500px);
  border-radius: 14px;
}

.graph-workspace {
  grid-template-columns: minmax(240px, 0.7fr) minmax(0, 1.6fr);
  gap: 12px;
}

.graph-controls-card,
.subset-controls-card {
  margin-top: 10px;
  padding: 8px 10px;
  border-radius: 12px;
}

@media (max-width: 700px) {
  #cy {
    height: clamp(240px, 42vh, 340px) !important;
    min-height: unset;
    max-height: unset;
  }
}

.graph-workspace__right {
  max-height: none;
  overflow: visible;
}

.clause-evaluation-panel {
  overflow: visible;
  max-height: none;
}

.card:first-of-type {
  padding: 14px 16px;
  margin-bottom: 18px;
}

.card:first-of-type .input-group:first-child {
  padding: 10px 12px;
  gap: 8px;
  margin-bottom: 10px;
  border-radius: 14px;
}

.card:first-of-type .input-group:first-child label,
.mode-group label {
  font-size: 11px;
  letter-spacing: 0.03em;
}

#varCount,
#clauseCount {
  width: 64px;
  padding: 6px 10px;
  font-size: 13px;
}

button[onclick="generateInputs()"] {
  padding: 7px 13px;
  font-size: 13px;
}

#clauseInputs {
  gap: 8px;
  margin-top: 10px;
}

#clauseInputs > div {
  padding: 9px 12px;
  gap: 7px;
  border-radius: 13px;
  margin: 0;
}

#clauseInputs strong,
#clauseInputs label {
  font-size: 12px;
  margin-right: 4px;
}

#clauseInputs select {
  min-width: 72px;
  padding: 6px 9px;
  font-size: 12px;
}

#formulaDisplay {
  margin-top: 10px;
  padding: 9px 13px;
  font-size: 13px;
  border-radius: 14px;
}

#formulaDisplay::before {
  padding: 4px 8px;
  margin-right: 8px;
  font-size: 10px;
}

.card:first-of-type > br {
  display: none;
}

.card:first-of-type .input-group {
  gap: 8px;
}

.input-group button[onclick^="buildGraph"],
.input-group button[onclick="generateSubsetSum()"] {
  min-width: 72px;
  padding: 6px 11px;
  font-size: 12px;
}

.mode-group {
  margin-top: 8px;
  padding: 8px 10px;
  border-radius: 13px;
}

#appMode {
  padding: 6px 28px 6px 10px;
  font-size: 12px;
}

.card:first-of-type {
  display: flex;
  flex-direction: column;
  gap: 10px;
}

.card:first-of-type .input-group:first-child,
#clauseInputs,
#formulaDisplay,
.reduction-actions,
.mode-group {
  margin-top: 0;
  margin-bottom: 0;
}

#formulaDisplay {
  width: fit-content;
  max-width: 100%;
}

.reduction-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
}

#formulaDisplay + .reduction-actions {
  margin-top: -2px;
}

.mode-group {
  width: fit-content;
}

.assignment-panel,
.clause-evaluation-panel {
  background: #ffffff;
  border: 1px solid #dbeafe;
  border-radius: 16px;
  box-shadow: 0 10px 24px rgba(15, 23, 42, 0.06);
  padding: 12px;
}

.assignment-panel::before,
.clause-evaluation-panel::before {
  height: 3px;
  background: linear-gradient(90deg, #2563eb, #38bdf8);
}

.assignment-panel .workspace-block__title,
.clause-evaluation-panel .workspace-block__title {
  margin-bottom: 10px;
  font-size: 11px;
  font-weight: 900;
  letter-spacing: 0.08em;
  color: #334155;
}

.assignment-controls {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(116px, 1fr));
  gap: 8px;
}

.assignment-row {
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: center;
  gap: 8px;
  padding: 8px 9px;
  border-radius: 12px;
  background: #f8fbff;
  border: 1px solid #dbeafe;
  box-shadow: none;
}

.assignment-row:hover {
  transform: none;
  border-color: #93c5fd;
  background: #f1f7ff;
}

.assignment-label,
.assignment-row label,
.assignment-item label {
  font-size: 13px;
  font-weight: 900;
  color: #1e3a8a;
}

.assignment-select,
.assignment-row select {
  width: 100%;
  min-width: 78px;
  padding: 6px 28px 6px 10px;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: #ffffff;
  color: #172554;
  font-size: 13px;
  font-weight: 800;
  cursor: pointer;
}

.assignment-select:focus,
.assignment-row select:focus {
  outline: none;
  border-color: #2563eb;
  box-shadow: 0 0 0 3px rgba(37, 99, 235, 0.14);
}

#assignmentDisplay {
  max-height: 190px;
  overflow-y: auto;
  padding: 12px 14px;
  border-radius: 13px;
  background: #f8fafc;
  border: 1px solid #dcfce7;
  border-left: 5px solid #22c55e;
  color: #334155;
  font-size: 13px;
  line-height: 1.55;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.9);
}

#assignmentDisplay strong {
  display: block;
  margin: 0 0 6px;
  color: #0f172a;
  font-size: 13px;
  font-weight: 900;
}

#assignmentDisplay .true,
#assignmentDisplay .is-true {
  color: #16a34a;
  font-weight: 900;
}

#assignmentDisplay .false,
#assignmentDisplay .is-false {
  color: #dc2626;
  font-weight: 900;
}

#assignmentDisplay::-webkit-scrollbar {
  width: 8px;
}

#assignmentDisplay::-webkit-scrollbar-track {
  background: #eef2f7;
  border-radius: 999px;
}

#assignmentDisplay::-webkit-scrollbar-thumb {
  background: #cbd5e1;
  border-radius: 999px;
}

#assignmentDisplay::-webkit-scrollbar-thumb:hover {
  background: #94a3b8;
}

.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card {
  background: #ffffff;
  border: 1px solid #dbeafe;
  border-radius: 16px;
  box-shadow: 0 10px 24px rgba(15, 23, 42, 0.06);
  padding: 12px;
  overflow: hidden;
}

.workspace-formula::before,
.assignment-panel::before,
.clause-evaluation-panel::before,
.graph-controls-card::before,
.subset-controls-card::before {
  content: "";
  position: absolute;
  inset: 0 0 auto 0;
  height: 3px;
  background: linear-gradient(90deg, #2563eb, #38bdf8);
}

.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card {
  position: relative;
}

.workspace-formula .workspace-block__title,
.assignment-panel .workspace-block__title,
.clause-evaluation-panel .workspace-block__title,
.graph-controls-card .workspace-block__title,
.subset-controls-card .workspace-block__title {
  margin-bottom: 10px;
  font-size: 11px;
  font-weight: 900;
  letter-spacing: 0.08em;
  color: #334155;
}

.workspace-formula {
  background: linear-gradient(135deg, #ffffff, #f8fbff);
}

#workspaceFormulaText,
#subsetWorkspaceFormulaText {
  padding: 10px 11px;
  border-radius: 12px;
  background: #f8fafc;
  border: 1px solid #e2e8f0;
  color: #172554;
  font-size: 13px;
  font-weight: 800;
  line-height: 1.45;
  word-break: break-word;
}

.workspace-formula .workspace-block__subtitle {
  margin-top: 10px;
  margin-bottom: 7px;
  font-size: 10px;
  font-weight: 900;
  letter-spacing: 0.08em;
  color: #64748b;
}

.formula-variables {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
}

.formula-variable {
  padding: 5px 9px;
  border-radius: 999px;
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 900;
  box-shadow: none;
}

.formula-variable.is-active {
  background: #dbeafe;
  border-color: #2563eb;
  color: #172554;
  box-shadow: 0 0 0 3px rgba(37, 99, 235, 0.14);
  transform: none;
}

.formula-clause.is-active {
  background: #dbeafe;
  border-color: #2563eb;
  color: #172554;
  font-weight: 900;
  box-shadow: 0 0 0 2px rgba(37, 99, 235, 0.18);
}

.graph-controls-card,
.subset-controls-card {
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  width: fit-content;
  max-width: 100%;
  align-self: center;
}

.graph-controls-card .workspace-block__title,
.subset-controls-card .workspace-block__title {
  text-align: center;
  margin-bottom: 9px;
}

.graph-controls-card .controls-stack,
.subset-controls-card .controls-stack {
  align-items: center;
  gap: 8px;
}

.step-buttons,
.subset-sum-controls,
#practiceControls,
#subsetSumPracticeControls {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 7px;
}

.step-buttons button,
.subset-sum-controls button,
#practiceControls button,
#subsetSumPracticeControls button {
  min-width: 72px;
  padding: 7px 11px;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: #ffffff;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 900;
  box-shadow: none;
  transition: background 0.2s ease,
    color 0.2s ease,
    border-color 0.2s ease,
    transform 0.2s ease,
    box-shadow 0.2s ease;
}

.step-buttons button:hover:not(:disabled),
.subset-sum-controls button:hover:not(:disabled),
#practiceControls button:hover:not(:disabled),
#subsetSumPracticeControls button:hover:not(:disabled) {
  background: #eff6ff;
  border-color: #60a5fa;
  color: #172554;
  transform: translateY(-1px);
  box-shadow: 0 6px 14px rgba(37, 99, 235, 0.12);
}

.step-buttons button:active,
.subset-sum-controls button:active,
#practiceControls button:active,
#subsetSumPracticeControls button:active {
  transform: translateY(0);
}

.step-buttons button[onclick="showResult()"],
.subset-sum-controls button[onclick="showResult()"] {
  background: #eff6ff;
  border-color: #93c5fd;
}

.step-buttons button:disabled,
.subset-sum-controls button:disabled,
#practiceControls button:disabled,
#subsetSumPracticeControls button:disabled {
  background: #f1f5f9 !important;
  color: #94a3b8 !important;
  border-color: #e2e8f0 !important;
  box-shadow: none !important;
  transform: none !important;
}

.clause-evaluation-panel {
  background: linear-gradient(135deg, #ffffff 0%, #f8fbff 100%);
  border: 1px solid #bfdbfe;
  box-shadow: 0 12px 28px rgba(15, 23, 42, 0.07);
}

.clause-evaluation-panel::before {
  height: 3px;
  background: linear-gradient(90deg, #2563eb, #38bdf8);
}

.clause-evaluation-panel .workspace-block__title {
  display: flex;
  align-items: center;
  gap: 7px;
  margin-bottom: 11px;
  color: #0f172a;
}

#graphAssignmentArea,
#subsetAssignmentArea {
  min-height: 72px;
}

#assignmentDisplay,
#subsetAssignmentArea {
  width: 100%;
  box-sizing: border-box;
  max-height: 210px;
  overflow-y: auto;
  margin: 0;
  padding: 12px;
  border-radius: 14px;
  background:
    linear-gradient(135deg, rgba(255, 255, 255, 0.96), rgba(248, 250, 252, 0.96));
  border: 1px solid #dbeafe;
  border-left: 0;
  color: #334155;
  font-size: 13px;
  line-height: 1.6;
  box-shadow:
    inset 0 1px 0 rgba(255, 255, 255, 0.95),
    0 6px 16px rgba(15, 23, 42, 0.04);
}

#assignmentDisplay:empty,
#subsetAssignmentArea:empty {
  display: flex;
  align-items: center;
  justify-content: center;
  min-height: 64px;
  border: 1px dashed #cbd5e1;
  background: linear-gradient(135deg, #f8fafc, #f1f7ff);
  box-shadow: none;
}

#assignmentDisplay:empty::before,
#subsetAssignmentArea:empty::before {
  content: "Clause evaluation and truth assignment will appear here when the construction is complete.";
  max-width: 220px;
  color: #64748b;
  font-size: 12px;
  font-weight: 700;
  line-height: 1.45;
  text-align: center;
}

#assignmentDisplay strong,
#subsetAssignmentArea strong {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  margin: 0 0 8px;
  padding: 4px 9px;
  border-radius: 999px;
  background: #eff6ff;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 900;
}

#assignmentDisplay .true,
#assignmentDisplay .is-true,
#subsetAssignmentArea .true,
#subsetAssignmentArea .is-true {
  display: inline-flex;
  align-items: center;
  padding: 2px 7px;
  border-radius: 999px;
  background: #dcfce7;
  color: #15803d;
  font-size: 12px;
  font-weight: 900;
}

#assignmentDisplay .false,
#assignmentDisplay .is-false,
#subsetAssignmentArea .false,
#subsetAssignmentArea .is-false {
  display: inline-flex;
  align-items: center;
  padding: 2px 7px;
  border-radius: 999px;
  background: #fee2e2;
  color: #b91c1c;
  font-size: 12px;
  font-weight: 900;
}

#assignmentDisplay::-webkit-scrollbar,
#subsetAssignmentArea::-webkit-scrollbar {
  width: 8px;
}

#assignmentDisplay::-webkit-scrollbar-track,
#subsetAssignmentArea::-webkit-scrollbar-track {
  background: #eef2f7;
  border-radius: 999px;
}

#assignmentDisplay::-webkit-scrollbar-thumb,
#subsetAssignmentArea::-webkit-scrollbar-thumb {
  background: #bfdbfe;
  border-radius: 999px;
}

#assignmentDisplay::-webkit-scrollbar-thumb:hover,
#subsetAssignmentArea::-webkit-scrollbar-thumb:hover {
  background: #93c5fd;
}

@media (max-width: 700px) {
  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 160px;
    padding: 10px;
    font-size: 12px;
  }

  #assignmentDisplay:empty,
  #subsetAssignmentArea:empty {
    min-height: 56px;
  }
}

.card:first-of-type > .input-group:not(:first-child):not(.mode-group) {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 10px;
  width: fit-content;
  max-width: 100%;
  padding: 10px;
  border-radius: 18px;
  background: linear-gradient(135deg, rgba(255,255,255,0.82), rgba(248,251,255,0.94));
  border: 1px solid #dbeafe;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.06);
}

.input-group button[onclick^="buildGraph"],
.input-group button[onclick="generateSubsetSum()"] {
  position: relative;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  min-width: 92px;
  min-height: 38px;
  padding: 8px 14px 8px 15px;
  border-radius: 14px;
  border: 1px solid #c7d2fe;
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 900;
  letter-spacing: 0.01em;
  box-shadow: 0 6px 16px rgba(37, 99, 235, 0.08);
  transition:
    background 0.2s ease,
    color 0.2s ease,
    border-color 0.2s ease,
    box-shadow 0.2s ease,
    transform 0.2s ease;
}

.input-group button[onclick^="buildGraph"]::before,
.input-group button[onclick="generateSubsetSum()"]::before {
  content: "";
  width: 7px;
  height: 7px;
  border-radius: 999px;
  background: #93c5fd;
  box-shadow: 0 0 0 3px rgba(147, 197, 253, 0.22);
  transition: background 0.2s ease, box-shadow 0.2s ease;
}

.input-group button[onclick^="buildGraph"]:hover:not(:disabled),
.input-group button[onclick="generateSubsetSum()"]:hover:not(:disabled) {
  background: linear-gradient(135deg, #eff6ff, #ffffff);
  color: #172554;
  border-color: #60a5fa;
  transform: translateY(-2px);
  box-shadow: 0 10px 22px rgba(37, 99, 235, 0.14);
}

.input-group button[onclick^="buildGraph"]:hover:not(:disabled)::before,
.input-group button[onclick="generateSubsetSum()"]:hover:not(:disabled)::before {
  background: #2563eb;
  box-shadow: 0 0 0 4px rgba(37, 99, 235, 0.18);
}

.input-group button[onclick^="buildGraph"]:focus-visible,
.input-group button[onclick="generateSubsetSum()"]:focus-visible {
  outline: none;
  border-color: #2563eb;
  box-shadow:
    0 0 0 4px rgba(37, 99, 235, 0.16),
    0 10px 22px rgba(37, 99, 235, 0.14);
}

.input-group button[onclick^="buildGraph"].is-active,
.input-group button[onclick="generateSubsetSum()"].is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: #ffffff;
  border-color: transparent;
  box-shadow: 0 12px 26px rgba(37, 99, 235, 0.26);
  transform: translateY(-1px);
}

.input-group button[onclick^="buildGraph"].is-active::before,
.input-group button[onclick="generateSubsetSum()"].is-active::before {
  background: #ffffff;
  box-shadow: 0 0 0 4px rgba(255, 255, 255, 0.22);
}

.input-group button[onclick^="buildGraph"]:disabled::before,
.input-group button[onclick="generateSubsetSum()"]:disabled::before {
  background: #cbd5e1;
  box-shadow: none;
}

@media (max-width: 700px) {
  .card:first-of-type > .input-group:not(:first-child):not(.mode-group) {
    width: 100%;
    box-sizing: border-box;
  }

  .input-group button[onclick^="buildGraph"],
  .input-group button[onclick="generateSubsetSum()"] {
    flex: 1 1 calc(50% - 8px);
    min-width: 0;
  }
}

#graphSection,
#subsetSumSection {
  position: relative;
  overflow: hidden;
  border: 1px solid rgba(191, 219, 254, 0.72);
  background: linear-gradient(135deg, rgba(255, 255, 255, 0.92), rgba(239, 246, 255, 0.86));
  box-shadow: 0 18px 44px rgba(15, 23, 42, 0.09);
}

#graphSection::before,
#subsetSumSection::before {
  content: "";
  position: absolute;
  inset: 0 0 auto 0;
  height: 5px;
  background: linear-gradient(90deg, #2563eb, #38bdf8, #22c55e);
}

#graphSection > h3,
#subsetSumSection > h3 {
  margin: 0 0 16px;
  color: #0f172a;
  font-size: 20px;
  font-weight: 900;
  letter-spacing: -0.02em;
}

#graphSection .graph-workspace,
#subsetSumSection .graph-workspace {
  grid-template-columns: minmax(240px, 0.7fr) minmax(0, 1.6fr);
  gap: 14px;
  align-items: start;
}

#graphSection .graph-workspace__right,
#subsetSumSection .graph-workspace__right,
#graphSection .graph-workspace__left,
#subsetSumSection .graph-workspace__left {
  display: flex;
  flex-direction: column;
  gap: 12px;
  min-width: 0;
}

#graphSection .workspace-block,
#subsetSumSection .workspace-block {
  border-radius: 16px;
}

#graphSection .workspace-formula,
#subsetSumSection .workspace-formula,
#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary,
#graphSection .assignment-panel,
#subsetSumSection .assignment-panel,
#graphSection .clause-evaluation-panel,
#subsetSumSection .clause-evaluation-panel,
#graphSection .graph-controls-card,
#subsetSumSection .subset-controls-card {
  border: 1px solid #dbeafe;
  background: linear-gradient(135deg, #ffffff, #f8fbff);
  box-shadow: 0 10px 24px rgba(15, 23, 42, 0.06);
}

#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  border-color: #93c5fd;
  box-shadow:
    0 0 0 1px rgba(37, 99, 235, 0.05),
    0 14px 30px rgba(37, 99, 235, 0.12);
}

#graphStepCounter,
#subsetSumStepCounter {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  border-color: transparent;
  color: #ffffff;
  box-shadow: 0 8px 18px rgba(37, 99, 235, 0.22);
}

#messageDisplay,
#subsetSumStepMessage {
  border-color: #93c5fd;
  border-left-color: #2563eb;
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  color: #172554;
}

#cy,
#subsetSumTable {
  border: 1px solid #dbeafe;
  border-radius: 18px;
  background: linear-gradient(135deg, #ffffff, #f8fafc);
  box-shadow:
    0 18px 42px rgba(15, 23, 42, 0.10),
    inset 0 1px 0 rgba(255, 255, 255, 0.92);
}

.formula-clause.is-active,
.formula-variable.is-active {
  background: linear-gradient(135deg, #dbeafe, #eff6ff);
  border-color: #2563eb;
  color: #172554;
  box-shadow:
    0 0 0 3px rgba(37, 99, 235, 0.16),
    0 6px 14px rgba(37, 99, 235, 0.12);
}

.formula-clause.is-active {
  font-weight: 900;
}

.input-group button[onclick^="buildGraph"].is-active,
.input-group button[onclick="generateSubsetSum()"].is-active {
  outline: 2px solid rgba(37, 99, 235, 0.22);
  outline-offset: 3px;
}

.input-group button[onclick^="buildGraph"].is-active::after,
.input-group button[onclick="generateSubsetSum()"].is-active::after {
  content: "selected";
  margin-left: 4px;
  padding: 2px 6px;
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.22);
  color: #ffffff;
  font-size: 9px;
  font-weight: 900;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

button:focus-visible,
select:focus-visible,
input:focus-visible {
  outline: 3px solid rgba(37, 99, 235, 0.24);
  outline-offset: 2px;
}

#subsetSumTable tr.result-row-highlight td,
#subsetSumTable tr.is-active td,
#subsetSumTable tr.is-selected td {
  background: #dbeafe !important;
  color: #172554;
  font-weight: 900;
}

#subsetSumTable input[type="checkbox"]:checked {
  accent-color: #2563eb;
}

.subset-input.is-active,
.subset-input.is-selected,
.subset-input[aria-selected="true"] {
  background: #dbeafe;
  color: #172554;
  font-weight: 900;
  box-shadow: inset 0 0 0 2px rgba(37, 99, 235, 0.28);
}

#graphResultBanner,
#subsetResultBanner {
  border-radius: 16px;
  border: 1px solid #bfdbfe;
  border-left: 6px solid #2563eb;
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  color: #172554;
  box-shadow: 0 10px 24px rgba(37, 99, 235, 0.12);
}

#graphResultBanner.is-visible,
#subsetResultBanner.is-visible {
  display: block;
  animation: resultPop 0.55s ease;
}

@media (max-width: 700px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: flex;
    flex-direction: column;
    gap: 12px;
  }

  #graphSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__right {
    width: 100%;
  }

  .input-group button[onclick^="buildGraph"].is-active::after,
  .input-group button[onclick="generateSubsetSum()"].is-active::after {
    display: none;
  }
}

:root {
  --surface: rgba(255, 255, 255, 0.92);
  --surface-soft: #f8fbff;
  --surface-muted: #f6f8fb;
  --line-soft: #dbe7f5;
  --line-strong: #93c5fd;
  --shadow-soft: 0 10px 24px rgba(15, 23, 42, 0.055);
  --shadow-focus: 0 18px 38px rgba(37, 99, 235, 0.16);
  --focus-blue: #2563eb;
  --focus-blue-soft: #eff6ff;
  --text-main: #0f172a;
  --text-muted: #64748b;
}

body {
  background:
    radial-gradient(circle at top left, rgba(37, 99, 235, 0.08), transparent 28%),
    linear-gradient(135deg, #f4f8ff 0%, #eef3f9 100%);
}

.card,
.info-card,
#graphSection,
#subsetSumSection {
  background: var(--surface);
  border: 1px solid var(--line-soft);
  box-shadow: var(--shadow-soft);
}

.workspace-formula::before,
.assignment-panel::before,
.clause-evaluation-panel::before,
.graph-controls-card::before,
.subset-controls-card::before {
  display: none;
}

#graphSection::before,
#subsetSumSection::before {
  height: 4px;
  background: linear-gradient(90deg, var(--focus-blue), #38bdf8);
}

#graphSection .graph-workspace,
#subsetSumSection .graph-workspace {
  grid-template-columns: minmax(260px, 0.72fr) minmax(0, 1.7fr);
  gap: 18px;
}

#graphSection .graph-workspace__right,
#subsetSumSection .graph-workspace__right,
#graphSection .graph-workspace__left,
#subsetSumSection .graph-workspace__left {
  gap: 14px;
}

.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card,
#graphSection .workspace-formula,
#subsetSumSection .workspace-formula,
#graphSection .assignment-panel,
#subsetSumSection .assignment-panel,
#graphSection .clause-evaluation-panel,
#subsetSumSection .clause-evaluation-panel,
#graphSection .graph-controls-card,
#subsetSumSection .subset-controls-card {
  background: #ffffff;
  border: 1px solid var(--line-soft);
  box-shadow: 0 8px 18px rgba(15, 23, 42, 0.045);
}

.workspace-formula:hover,
.assignment-panel:hover,
.clause-evaluation-panel:hover,
.graph-controls-card:hover,
.subset-controls-card:hover {
  transform: none;
  border-color: #c7d8ee;
  box-shadow: 0 10px 22px rgba(15, 23, 42, 0.06);
}

#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  position: relative;
  order: -1;
  background: linear-gradient(135deg, #ffffff 0%, var(--focus-blue-soft) 100%);
  border: 1px solid var(--line-strong);
  border-left: 6px solid var(--focus-blue);
  box-shadow: var(--shadow-focus);
  padding: 16px;
}

#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before {
  content: "Current step";
  position: absolute;
  top: 14px;
  right: 14px;
  padding: 4px 9px;
  border-radius: 999px;
  background: #dbeafe;
  color: #1d4ed8;
  font-size: 10px;
  font-weight: 900;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  color: var(--focus-blue);
  font-size: 12px;
  letter-spacing: 0.09em;
  margin-right: 110px;
}

#messageDisplay,
#subsetSumStepMessage {
  margin-top: 8px;
  background: transparent;
  border: 0;
  border-radius: 0;
  box-shadow: none;
  color: #172554;
  font-size: 15px;
  line-height: 1.65;
  font-weight: 750;
  padding: 0;
}

#graphStepCounter,
#subsetSumStepCounter {
  margin-bottom: 8px;
  background: #ffffff;
  color: var(--focus-blue);
  border: 1px solid #bfdbfe;
  box-shadow: none;
  font-size: 12px;
  padding: 5px 10px;
}

#workspaceFormulaText,
#subsetWorkspaceFormulaText,
#assignmentDisplay,
#subsetAssignmentArea {
  background: var(--surface-muted);
  border-color: #e2e8f0;
  box-shadow: none;
}

.workspace-block__title {
  color: #475569;
}

.workspace-block__subtitle,
.formula-variable {
  color: var(--text-muted);
}

.formula-variable {
  background: #f1f5f9;
  border-color: #e2e8f0;
  box-shadow: none;
}

.formula-clause.is-active,
.formula-variable.is-active,
.subset-input.is-active,
.subset-input.is-selected,
.subset-input[aria-selected="true"] {
  background: #dbeafe;
  border-color: var(--focus-blue);
  color: #172554;
  box-shadow: 0 0 0 3px rgba(37, 99, 235, 0.12);
}

#cy,
#subsetSumTable {
  background: #ffffff;
  border: 1px solid #dbe7f5;
  box-shadow: 0 16px 34px rgba(15, 23, 42, 0.08);
}

#cy {
  min-height: 500px;
}

.graph-controls-card,
.subset-controls-card {
  padding: 10px 12px;
  background: #ffffff;
  box-shadow: 0 8px 18px rgba(15, 23, 42, 0.045);
}

.graph-controls-card .workspace-block__title,
.subset-controls-card .workspace-block__title {
  color: #64748b;
  font-size: 10px;
}

.step-buttons button,
.subset-sum-controls button,
#practiceControls button,
#subsetSumPracticeControls button {
  background: #f8fafc;
  border-color: #dbe7f5;
  color: #1e3a8a;
  box-shadow: none;
}

.step-buttons button:hover:not(:disabled),
.subset-sum-controls button:hover:not(:disabled),
#practiceControls button:hover:not(:disabled),
#subsetSumPracticeControls button:hover:not(:disabled) {
  background: #eff6ff;
  border-color: #93c5fd;
  box-shadow: 0 6px 14px rgba(37, 99, 235, 0.10);
}

#graphResultBanner,
#subsetResultBanner {
  background: #f0fdf4;
  border: 1px solid #bbf7d0;
  border-left: 6px solid #22c55e;
  color: #14532d;
  box-shadow: 0 10px 22px rgba(34, 197, 94, 0.11);
}

@media (max-width: 700px) {
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 1 / -1;
    order: -2;
    padding: 14px;
  }

  #graphSection .workspace-block--primary::before,
  #subsetSumSection .workspace-block--primary::before {
    position: static;
    display: inline-flex;
    margin-bottom: 8px;
  }

  #graphSection .workspace-block--primary .workspace-block__title,
  #subsetSumSection .workspace-block--primary .workspace-block__title {
    margin-right: 0;
  }

  #messageDisplay,
  #subsetSumStepMessage {
    font-size: 14px;
    line-height: 1.55;
  }

  #cy {
    min-height: 300px;
  }
}

#graphSection .workspace-formula,
#subsetSumSection .workspace-formula {
  order: -2;
}

#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  order: -1;
}

#graphSection .assignment-panel,
#subsetSumSection .assignment-panel {
  order: 0;
}

#graphSection .clause-evaluation-panel,
#subsetSumSection .clause-evaluation-panel {
  order: 1;
}

@media (max-width: 700px) {
  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1 / -1;
    order: -3;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 1 / -1;
    order: -2;
  }

  #graphSection .assignment-panel,
  #subsetSumSection .assignment-panel {
    order: -1;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    order: 0;
  }
}

.nav__inner {
  padding: 8px 20px;
}

.nav__brand {
  gap: 10px;
}

.nav__logo {
  height: 54px;
}

.nav__title {
  font-size: 26px;
  letter-spacing: -0.4px;
}

.nav__subtitle {
  margin-top: 3px;
  font-size: 13px;
}

.lang {
  gap: 7px;
}

.lang__btn {
  padding: 5px 10px;
  font-size: 12px;
}

.page {
  padding-top: 12px;
}

.container {
  margin-top: 18px;
}

.input-group button[onclick^="buildGraph"]::before,
.input-group button[onclick="generateSubsetSum()"]::before {
  background: #93c5fd;
  box-shadow: 0 0 0 3px rgba(147, 197, 253, 0.22);
}

.input-group button[onclick^="buildGraph"].is-active,
.input-group button[onclick="generateSubsetSum()"].is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: #ffffff;
  border-color: transparent;
  box-shadow: 0 10px 22px rgba(37, 99, 235, 0.24);
  transform: translateY(-1px);
}

.input-group button[onclick^="buildGraph"].is-active::before,
.input-group button[onclick="generateSubsetSum()"].is-active::before {
  background: #ffffff;
  box-shadow:
    0 0 0 4px rgba(255, 255, 255, 0.24),
    0 0 0 7px rgba(37, 99, 235, 0.18);
}

.input-group button[onclick^="buildGraph"]:disabled::before,
.input-group button[onclick="generateSubsetSum()"]:disabled::before {
  background: #cbd5e1;
  box-shadow: none;
}

#subsetSumSection .clause-evaluation-panel {
  overflow: hidden;
  max-height: none;
}

#subsetSumSection #subsetAssignmentArea {
  overflow: visible;
  max-height: none;
}

#subsetAssignmentArea {
  overflow-y: auto;
  overflow-x: hidden;
  max-height: 210px;
}

#subsetAssignmentArea:empty {
  overflow: hidden;
}

@media (max-width: 700px) {
  .nav__inner {
    padding: 7px 12px;
  }

  .nav__logo {
    height: 42px;
  }

  .nav__title {
    font-size: 22px;
  }

  .nav__subtitle {
    font-size: 11px;
  }

  .lang__btn {
    padding: 4px 8px;
    font-size: 11px;
  }

  .page {
    padding-top: 8px;
  }

  .container {
    margin-top: 10px;
  }

  #subsetAssignmentArea {
    max-height: 160px;
  }
}

@media (max-width: 700px) {

  

  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 10px;
    align-items: stretch;
  }

  
  #graphSection .graph-workspace__right,
  #graphSection .graph-workspace__left,
  #subsetSumSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__left {
    display: contents;
  }

  

  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1;
    grid-row: 1;
    min-width: 0;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 2;
    grid-row: 1;
    min-width: 0;
  }

  

  #graphSection #graphResultBanner,
  #subsetSumSection #subsetResultBanner {
    grid-column: 1 / -1;
    grid-row: 2;
    margin-bottom: 0;
  }

  #graphSection #cy {
    grid-column: 1 / -1;
    grid-row: 3;
    width: 100%;
    height: 300px !important;
    min-height: 300px;
    max-height: 300px;
    border-radius: 12px;
  }

  #subsetSumSection #subsetSumTable {
    grid-column: 1 / -1;
    grid-row: 3;
    display: block;
    width: 100%;
    max-height: 310px;
    overflow: auto;
    white-space: nowrap;
    font-size: 11px;
    border-radius: 12px;
  }

  #subsetSumTable th,
  #subsetSumTable td {
    padding: 6px 7px;
  }

  

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    grid-column: 1 / -1;
    grid-row: 4;
    width: 100%;
    max-width: 100%;
    box-sizing: border-box;
    align-self: stretch;
    justify-self: stretch;
    padding: 8px;
    margin-top: 0;
    border-radius: 13px;
  }

  #graphSection .graph-controls-card .workspace-block__title,
  #subsetSumSection .subset-controls-card .workspace-block__title {
    display: none;
  }

  #graphSection .controls-stack,
  #subsetSumSection .controls-stack {
    gap: 6px;
  }

  #graphSection .step-buttons,
  #subsetSumSection .subset-sum-controls {
    display: grid !important;
    grid-template-columns: repeat(4, 1fr);
    gap: 6px;
    width: 100%;
  }

  #graphSection .step-buttons button,
  #subsetSumSection .subset-sum-controls button {
    min-width: 0;
    width: 100%;
    padding: 7px 4px;
    font-size: 11px;
    border-radius: 10px;
    line-height: 1.1;
  }

  #practiceControls,
  #subsetSumPracticeControls {
    width: 100%;
  }

  #practiceControls:not([style*="display: none"]),
  #subsetSumPracticeControls:not([style*="display:none"]) {
    display: grid !important;
    grid-template-columns: 1fr 1fr;
    gap: 6px;
  }

  #practiceControls button,
  #subsetSumPracticeControls button {
    min-width: 0;
    width: 100%;
    padding: 7px 4px;
    font-size: 11px;
    border-radius: 10px;
  }

  

  #graphSection #assignmentPanel,
  #subsetSumSection #subsetAssignmentPanel {
    grid-column: 1;
    grid-row: 5;
    min-width: 0;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    grid-column: 2;
    grid-row: 5;
    min-width: 0;
  }

  

  #graphSection .workspace-block,
  #subsetSumSection .workspace-block,
  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula,
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary,
  #graphSection .assignment-panel,
  #subsetSumSection .assignment-panel,
  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    padding: 9px 10px;
    border-radius: 13px;
    box-sizing: border-box;
  }

  .workspace-block__title {
    font-size: 9px;
    margin-bottom: 7px;
  }

  .workspace-block__subtitle {
    font-size: 9px;
    margin-top: 8px;
    margin-bottom: 5px;
  }

  #workspaceFormulaText,
  #subsetWorkspaceFormulaText {
    padding: 8px 9px;
    font-size: 12px;
    line-height: 1.4;
    border-radius: 10px;
  }

  #messageDisplay,
  #subsetSumStepMessage {
    padding: 9px 10px;
    font-size: 12px;
    line-height: 1.45;
    border-left-width: 4px;
    border-radius: 11px;
    box-shadow: none;
  }

  #graphStepCounter,
  #subsetSumStepCounter {
    padding: 4px 8px;
    font-size: 11px;
    margin-bottom: 7px;
  }

  

  .assignment-controls,
  #subsetAssignmentControls {
    display: grid;
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .assignment-row {
    padding: 6px 7px;
    gap: 6px;
    border-radius: 10px;
  }

  .assignment-label,
  .assignment-row label,
  .assignment-item label {
    font-size: 11px;
  }

  .assignment-select,
  .assignment-row select {
    min-width: 0;
    padding: 5px 22px 5px 8px;
    font-size: 11px;
  }

  

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 145px;
    padding: 9px;
    font-size: 11px;
    line-height: 1.45;
    border-radius: 10px;
    overflow-y: auto;
    overflow-x: hidden;
  }

  #assignmentDisplay strong,
  #subsetAssignmentArea strong {
    font-size: 11px;
    padding: 3px 7px;
  }

  

  .result-banner {
    padding: 9px 10px;
    font-size: 12px;
    border-radius: 11px;
    margin-bottom: 0;
  }
}

@media (max-width: 700px) {

  

  #graphSection,
  #subsetSumSection {
    padding: 8px;
    border-radius: 12px;
  }

  #graphSection .workspace-block,
  #subsetSumSection .workspace-block,
  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula,
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary,
  #graphSection .assignment-panel,
  #subsetSumSection .assignment-panel,
  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel,
  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    padding: 7px 8px;
    border-radius: 11px;
  }

  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    gap: 7px;
  }

  .workspace-block__title {
    font-size: 8.5px;
    margin-bottom: 5px;
    letter-spacing: 0.06em;
  }

  .workspace-block__subtitle {
    font-size: 8.5px;
    margin-top: 6px;
    margin-bottom: 4px;
  }

  

  #workspaceFormulaText,
  #subsetWorkspaceFormulaText {
    padding: 6px 7px;
    font-size: 11px;
    line-height: 1.3;
    border-radius: 9px;
  }

  .formula-variables {
    gap: 4px;
  }

  .formula-variable {
    padding: 3px 6px;
    font-size: 10px;
  }

  #graphStepCounter,
  #subsetSumStepCounter {
    padding: 3px 7px;
    font-size: 10px;
    margin-bottom: 5px;
  }

  #messageDisplay,
  #subsetSumStepMessage {
    padding: 7px 8px;
    font-size: 11px;
    line-height: 1.35;
    border-left-width: 3px;
    border-radius: 9px;
  }

  

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    padding: 6px;
    border-radius: 10px;
    box-shadow: none;
  }

  #graphSection .graph-controls-card::before,
  #subsetSumSection .subset-controls-card::before {
    height: 2px;
  }

  #graphSection .graph-controls-card .workspace-block__title,
  #subsetSumSection .subset-controls-card .workspace-block__title {
    display: none;
  }

  #graphSection .controls-stack,
  #subsetSumSection .controls-stack {
    gap: 4px;
  }

  #graphSection .step-buttons,
  #subsetSumSection .subset-sum-controls {
    display: grid !important;
    grid-template-columns: repeat(4, 1fr);
    gap: 4px;
    width: 100%;
  }

  #graphSection .step-buttons button,
  #subsetSumSection .subset-sum-controls button,
  #practiceControls button,
  #subsetSumPracticeControls button {
    min-width: 0;
    width: 100%;
    min-height: 28px;
    padding: 4px 3px;
    font-size: 10px;
    line-height: 1;
    border-radius: 8px;
    box-shadow: none;
  }

  #graphSection .step-buttons button:hover:not(:disabled),
  #subsetSumSection .subset-sum-controls button:hover:not(:disabled),
  #practiceControls button:hover:not(:disabled),
  #subsetSumPracticeControls button:hover:not(:disabled) {
    transform: none;
    box-shadow: none;
  }

  

  .assignment-controls,
  #subsetAssignmentControls {
    gap: 4px;
  }

  .assignment-row {
    padding: 5px 6px;
    gap: 5px;
    border-radius: 8px;
  }

  .assignment-label,
  .assignment-row label,
  .assignment-item label {
    font-size: 10px;
  }

  .assignment-select,
  .assignment-row select {
    padding: 4px 20px 4px 7px;
    font-size: 10px;
    min-height: 26px;
  }

  

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 120px;
    padding: 7px;
    font-size: 10.5px;
    line-height: 1.35;
    border-radius: 8px;
  }

  #assignmentDisplay strong,
  #subsetAssignmentArea strong {
    font-size: 10px;
    padding: 3px 6px;
    margin-bottom: 5px;
  }

  

  #graphSection #cy {
    height: 270px !important;
    min-height: 270px;
    max-height: 270px;
  }

  #subsetSumSection #subsetSumTable {
    max-height: 270px;
    font-size: 10px;
  }

  #subsetSumTable th,
  #subsetSumTable td {
    padding: 5px 6px;
  }
}

@media (max-width: 430px) {
  #graphSection #cy {
    height: 245px !important;
    min-height: 245px;
    max-height: 245px;
  }

  #graphSection .step-buttons,
  #subsetSumSection .subset-sum-controls {
    grid-template-columns: repeat(4, 1fr);
  }

  #graphSection .step-buttons button,
  #subsetSumSection .subset-sum-controls button {
    font-size: 9.5px;
    min-height: 27px;
  }
}

html[lang="el"] #formulaDisplay::before {
  content: "Έκφραση";
}

html[lang="el"] .input-group button[onclick^="buildGraph"].is-active::after,
html[lang="el"] .input-group button[onclick="generateSubsetSum()"].is-active::after {
  content: "επιλεγμένο";
}

html[lang="el"] #graphSection .workspace-block--primary::before,
html[lang="el"] #subsetSumSection .workspace-block--primary::before {
  content: "τρέχον βήμα";
}

html[lang="en"] #formulaDisplay::before {
  content: "Formula";
}

html[lang="en"] .input-group button[onclick^="buildGraph"].is-active::after,
html[lang="en"] .input-group button[onclick="generateSubsetSum()"].is-active::after {
  content: "selected";
}

html[lang="en"] #graphSection .workspace-block--primary::before,
html[lang="en"] #subsetSumSection .workspace-block--primary::before {
  content: "Current step";
}

html[lang="el"] #assignmentDisplay:empty::before,
html[lang="el"] #subsetAssignmentArea:empty::before,
body[data-lang="gr"] #assignmentDisplay:empty::before,
body[data-lang="gr"] #subsetAssignmentArea:empty::before {
  content: "Η αξιολόγηση προτάσεων και η ανάθεση αλήθειας θα εμφανιστούν εδώ όταν ολοκληρωθεί η κατασκευή.";
}

html[lang="en"] #assignmentDisplay:empty::before,
html[lang="en"] #subsetAssignmentArea:empty::before,
body[data-lang="en"] #assignmentDisplay:empty::before,
body[data-lang="en"] #subsetAssignmentArea:empty::before {
  content: "Clause evaluation and truth assignment will appear here when the construction is complete.";
}

#subsetSumMessage:empty {
  display: none;
}

.input-group button[onclick^="buildGraph"].is-active::after,
.input-group button[onclick="generateSubsetSum()"].is-active::after,
html[lang="el"] .input-group button[onclick^="buildGraph"].is-active::after,
html[lang="el"] .input-group button[onclick="generateSubsetSum()"].is-active::after,
html[lang="en"] .input-group button[onclick^="buildGraph"].is-active::after,
html[lang="en"] .input-group button[onclick="generateSubsetSum()"].is-active::after {
  content: none !important;
  display: none !important;
}

.mode-group {
  width: fit-content;
  gap: 8px !important;
}

.mode-label {
  font-size: 11px;
  font-weight: 800;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: #1e3a8a;
}

#appMode {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  opacity: 0 !important;
  pointer-events: none !important;
  padding: 0 !important;
  border: 0 !important;
}

.mode-btn,
.practice-type-btn {
  min-width: 92px;
  min-height: 36px;
  padding: 8px 14px;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: #ffffff;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 900;
  box-shadow: 0 4px 12px rgba(37, 99, 235, 0.08);
}

.mode-btn:hover:not(:disabled),
.practice-type-btn:hover:not(:disabled) {
  background: #eff6ff;
  border-color: #60a5fa;
  color: #172554;
}

.mode-btn.is-active,
.practice-type-btn.is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: #ffffff;
  border-color: transparent;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24);
}

.practice-type-group {
  margin-top: -2px;
}

.step-buttons button.is-current-action,
.subset-sum-controls button.is-current-action {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
}

.step-buttons button.is-current-action:hover:not(:disabled),
.subset-sum-controls button.is-current-action:hover:not(:disabled) {
  background: linear-gradient(135deg, #1d4ed8, #0ea5e9) !important;
  color: #ffffff !important;
}

@media (max-width: 700px) {
  .mode-group {
    width: 100%;
    box-sizing: border-box;
  }

  .mode-btn,
.practice-type-btn {
    flex: 1 1 0;
    min-width: 0;
  }
}

.assignment-select--readonly,
#assignmentControls select:disabled {
  cursor: not-allowed;
  opacity: 0.78;
  background: #f1f5f9;
}

.info-jump {
  width: 30px;
  height: 30px;
  min-width: 30px;
  padding: 0;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: linear-gradient(135deg, #eff6ff, #ffffff);
  color: #1e3a8a;
  font-size: 15px;
  font-weight: 900;
  line-height: 1;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  box-shadow: 0 4px 12px rgba(37, 99, 235, 0.10);
}

.info-jump:hover {
  background: linear-gradient(135deg, #2563eb, #38bdf8);
  color: #ffffff;
  border-color: transparent;
  transform: translateY(-1px);
}

#toggleInfo.info-jump-target {
  animation: infoJumpTarget 0.8s ease;
}

@keyframes infoJumpTarget {
  0% { transform: scale(1); box-shadow: 0 0 0 rgba(37, 99, 235, 0); }
  45% { transform: scale(1.06); box-shadow: 0 0 0 8px rgba(37, 99, 235, 0.20); }
  100% { transform: scale(1); box-shadow: 0 0 0 rgba(37, 99, 235, 0); }
}

@media (max-width: 700px) {
  .info-jump {
    width: 28px;
    height: 28px;
    min-width: 28px;
    font-size: 14px;
  }
}

.result-explanation-banner {
  display: none;
  margin-bottom: 12px;
  padding: 12px 14px;
  border-radius: 16px;
  border: 1px solid #bfdbfe;
  border-left: 6px solid #2563eb;
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  color: #172554;
  font-size: 14px;
  font-weight: 800;
  line-height: 1.5;
  box-shadow: 0 10px 24px rgba(37, 99, 235, 0.12);
}

.result-explanation-banner.is-visible {
  display: block;
  animation: resultPop 0.35s ease;
}

.result-explanation-banner strong {
  display: inline-flex;
  margin-right: 6px;
  padding: 3px 8px;
  border-radius: 999px;
  background: #dbeafe;
  color: #1e3a8a;
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.practice-type-help {
  flex-basis: 100%;
  margin-top: 2px;
  padding: 9px 12px;
  border-radius: 13px;
  background: linear-gradient(135deg, #ffffff, #eff6ff);
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 750;
  line-height: 1.45;
}

.practice-type-help strong {
  font-weight: 950;
}

body.practice-mode #graphSection .graph-controls-card,
body.practice-mode #subsetSumSection .subset-controls-card,
body.practice-mode #practiceControls,
body.practice-mode #subsetSumPracticeControls {
  display: none !important;
}

#subsetSumMessage,
.practice-type-help {
  display: none !important;
}

.clause-evaluation-placeholder {
  color: #64748b;
  font-weight: 700;
  line-height: 1.55;
  padding: 4px 2px;
}

.formula-toolbar {
  gap: 10px;
}

.primary-action-btn,
.random-formula-btn {
  min-height: 40px;
  padding: 8px 16px;
  border-radius: 999px;
  color: #ffffff;
  font-size: 13px;
  font-weight: 900;
  letter-spacing: 0.01em;
  transition: transform 0.22s ease, box-shadow 0.22s ease, filter 0.22s ease;
}

.primary-action-btn,
button[onclick="generateInputs()"] {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  box-shadow: 0 8px 18px rgba(37, 99, 235, 0.22);
}

.random-formula-btn,
button[onclick="generateRandomFormula()"] {
  background: linear-gradient(135deg, #0f766e, #14b8a6) !important;
  box-shadow: 0 8px 18px rgba(20, 184, 166, 0.24);
}

.primary-action-btn:hover:not(:disabled),
.random-formula-btn:hover:not(:disabled) {
  transform: translateY(-2px);
  filter: saturate(1.06);
}

body.practice-mode {
  background:
    radial-gradient(circle at top left, rgba(59, 130, 246, 0.16), transparent 30%),
    radial-gradient(circle at bottom right, rgba(147, 197, 253, 0.16), transparent 28%),
    linear-gradient(135deg, #eef4ff 0%, #f7faff 56%, #eaf2ff 100%) !important;
}

body.learning-mode {
  background:
    radial-gradient(circle at top left, rgba(20, 184, 166, 0.15), transparent 30%),
    radial-gradient(circle at bottom right, rgba(45, 212, 191, 0.12), transparent 28%),
    linear-gradient(135deg, #effdf8 0%, #f8fffd 56%, #edf8ff 100%) !important;
}

body.practice-mode .card:first-of-type::before {
  background: linear-gradient(90deg, #2563eb, #38bdf8) !important;
}

body.learning-mode .card:first-of-type::before {
  background: linear-gradient(90deg, #0f766e, #2dd4bf) !important;
}

body.practice-mode .mode-group {
  background: linear-gradient(135deg, rgba(255,255,255,0.96), rgba(239,246,255,0.96)) !important;
  border-color: #bfdbfe !important;
  box-shadow: 0 12px 26px rgba(37, 99, 235, 0.10) !important;
}

body.learning-mode .mode-group {
  background: linear-gradient(135deg, rgba(255,255,255,0.96), rgba(236,253,245,0.96)) !important;
  border-color: #99f6e4 !important;
  box-shadow: 0 12px 26px rgba(20, 184, 166, 0.10) !important;
}

body.practice-mode .mode-btn.is-active,
body.practice-mode .practice-type-btn.is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
}

body.learning-mode .mode-btn.is-active {
  background: linear-gradient(135deg, #0f766e, #2dd4bf) !important;
  color: #ffffff !important;
  border-color: transparent !important;
}

.practice-message-correct {
  border-left-color: #22c55e !important;
  background: linear-gradient(135deg, #ecfdf5, #ffffff) !important;
  color: #064e3b !important;
}

.practice-message-wrong {
  border-left-color: #f59e0b !important;
  background: linear-gradient(135deg, #fffbeb, #ffffff) !important;
  color: #78350f !important;
}

.practice-message-redirect {
  border-left-color: #ef4444 !important;
  background: linear-gradient(135deg, #fef2f2, #ffffff) !important;
  color: #7f1d1d !important;
}

@media (max-width: 700px) {
  .formula-toolbar {
    width: 100%;
  }

  .primary-action-btn,
  .random-formula-btn {
    flex: 1 1 calc(50% - 8px);
  }
}

body.learning-mode {
  background:
    radial-gradient(circle at top left, rgba(59, 130, 246, 0.12), transparent 30%),
    radial-gradient(circle at top right, rgba(34, 197, 94, 0.08), transparent 26%),
    linear-gradient(to bottom right, #edf4ff, #e8eef6) !important;
}

body.practice-mode {
  background:
    radial-gradient(circle at top left, rgba(99, 102, 241, 0.14), transparent 30%),
    radial-gradient(circle at top right, rgba(14, 165, 233, 0.10), transparent 26%),
    radial-gradient(circle at bottom left, rgba(168, 85, 247, 0.10), transparent 30%),
    linear-gradient(to bottom right, #eef4ff, #f7f9ff 52%, #edf2ff) !important;
}

.primary-action-btn,
.random-formula-btn,
button[onclick="generateInputs()"],
button[onclick="generateRandomFormula()"],
button[onclick^="buildGraph"],
button[onclick="generateSubsetSum()"],
.mode-btn.is-active,
.practice-type-btn.is-active,
.step-buttons button.is-current-action,
.subset-sum-controls button.is-current-action {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
}

.mode-btn,
.practice-type-btn,
.input-group button[onclick^="buildGraph"],
.input-group button[onclick="generateSubsetSum()"],
.step-buttons button,
.subset-sum-controls button,
#practiceControls button,
#subsetSumPracticeControls button {
  border-color: #bfdbfe !important;
  color: #1e3a8a !important;
}

.mode-btn:not(.is-active),
.practice-type-btn:not(.is-active),
.input-group button[onclick^="buildGraph"]:not(.is-active),
.input-group button[onclick="generateSubsetSum()"]:not(.is-active),
.step-buttons button:not(.is-current-action),
.subset-sum-controls button:not(.is-current-action),
#practiceControls button,
#subsetSumPracticeControls button {
  background: #ffffff !important;
  box-shadow: 0 4px 12px rgba(37, 99, 235, 0.08) !important;
}

.mode-btn:hover:not(:disabled),
.practice-type-btn:hover:not(:disabled),
.input-group button[onclick^="buildGraph"]:hover:not(:disabled),
.input-group button[onclick="generateSubsetSum()"]:hover:not(:disabled),
.step-buttons button:hover:not(:disabled),
.subset-sum-controls button:hover:not(:disabled),
#practiceControls button:hover:not(:disabled),
#subsetSumPracticeControls button:hover:not(:disabled) {
  background: #eff6ff !important;
  border-color: #60a5fa !important;
  color: #172554 !important;
}

body.learning-mode .card:first-of-type::before,
body.practice-mode .card:first-of-type::before {
  background: linear-gradient(90deg, #2563eb, #38bdf8) !important;
}

body.learning-mode .mode-group,
body.practice-mode .mode-group,
.mode-group {
  background: linear-gradient(135deg, #ffffff, #f8fbff) !important;
  border: 1px solid #dbeafe !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.06) !important;
}

body.learning-mode .mode-label,
body.practice-mode .mode-label,
.mode-label {
  color: #1e3a8a !important;
}

.random-formula-btn,
button[onclick="generateRandomFormula()"] {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
}

button:disabled {
  background: #f1f5f9 !important;
  color: #94a3b8 !important;
  border: 1px solid #e2e8f0 !important;
  box-shadow: none !important;
  transform: none !important;
}

.mode-btn[data-mode="learning"].is-active,
body.learning-mode .mode-btn[data-mode="learning"].is-active,
body.practice-mode .mode-btn[data-mode="learning"].is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
}

.mode-btn[data-mode="practice"].is-active,
body.practice-mode .mode-btn[data-mode="practice"].is-active {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
}

body.learning-mode #messageDisplay,
body.learning-mode #subsetSumStepMessage {
  background: linear-gradient(135deg, #ffffff, #eff6ff) !important;
  border: 1px solid #bfdbfe !important;
  border-left: 7px solid #2563eb !important;
  color: #172554 !important;
  box-shadow: 0 8px 22px rgba(37, 99, 235, 0.14) !important;
}

body.learning-mode #graphStepCounter,
body.learning-mode #subsetSumStepCounter {
  color: #0f172a !important;
  background: #dbeafe !important;
  border: 1px solid #93c5fd !important;
}

body.learning-mode .practice-message-correct,
body.learning-mode .practice-message-wrong,
body.learning-mode .practice-message-redirect {
  background: linear-gradient(135deg, #ffffff, #eff6ff) !important;
  border: 1px solid #bfdbfe !important;
  border-left: 7px solid #2563eb !important;
  color: #172554 !important;
}

#messageDisplay,
#subsetSumStepMessage,
body.learning-mode #messageDisplay,
body.learning-mode #subsetSumStepMessage,
body.practice-mode #messageDisplay,
body.practice-mode #subsetSumStepMessage {
  border-left-width: 1px !important;
  border-left-style: solid !important;
  border-left-color: #bfdbfe !important;
}

button.result-ready-after-assignment,
.step-buttons button.result-ready-after-assignment,
.subset-sum-controls button.result-ready-after-assignment,
button[onclick="showResult()"].result-ready-after-assignment {
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
  opacity: 1 !important;
  cursor: pointer !important;
}

.next-practice-instance-btn {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  margin-top: 12px;
  min-height: 38px;
  padding: 8px 16px;
  border-radius: 999px;
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border: none !important;
  font-size: 13px;
  font-weight: 900;
  box-shadow: 0 8px 20px rgba(37, 99, 235, 0.24) !important;
}

.next-practice-instance-btn:hover {
  transform: translateY(-1px);
  box-shadow: 0 12px 24px rgba(37, 99, 235, 0.28) !important;
}

.workspace-block--primary {
  overflow: visible !important;
}

.workspace-block--primary #messageDisplay,
.workspace-block--primary #subsetSumStepMessage {
  min-height: 48px;
  display: flex;
  align-items: center;
  padding: 12px 14px !important;
  border-radius: 13px !important;
  background: linear-gradient(135deg, #f8fbff, #ffffff) !important;
  border: 1px solid #bfdbfe !important;
  color: #172554 !important;
  font-size: 13px;
  font-weight: 800;
  line-height: 1.45;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.9), 0 8px 18px rgba(37,99,235,0.08) !important;
}

.workspace-block--primary.step-pulse {
  animation: stepPanelPulse 0.58s ease;
}

#messageDisplay.step-attention,
#subsetSumStepMessage.step-attention {
  animation: stepTextPulse 0.58s ease;
}

@keyframes stepPanelPulse {
  0% {
    transform: scale(0.985);
    box-shadow: 0 10px 24px rgba(15, 23, 42, 0.06), 0 0 0 0 rgba(37, 99, 235, 0);
  }
  45% {
    transform: scale(1.018);
    box-shadow: 0 14px 32px rgba(37, 99, 235, 0.16), 0 0 0 6px rgba(37, 99, 235, 0.14);
  }
  100% {
    transform: scale(1);
    box-shadow: 0 10px 24px rgba(15, 23, 42, 0.06), 0 0 0 0 rgba(37, 99, 235, 0);
  }
}

@keyframes stepTextPulse {
  0% { transform: translateY(1px); }
  45% { transform: translateY(-1px); }
  100% { transform: translateY(0); }
}

.next-practice-instance-btn {
  margin-top: 9px;
  padding: 7px 12px !important;
  border-radius: 999px !important;
  background: linear-gradient(135deg, #2563eb, #38bdf8) !important;
  color: #ffffff !important;
  border: 0 !important;
  font-size: 12px !important;
  font-weight: 900 !important;
  box-shadow: 0 8px 18px rgba(37,99,235,0.22) !important;
}

.next-practice-instance-btn:hover:not(:disabled) {
  transform: translateY(-1px);
  box-shadow: 0 12px 24px rgba(37,99,235,0.28) !important;
}

@media (max-width: 700px) {
  .workspace-block--primary #messageDisplay,
  .workspace-block--primary #subsetSumStepMessage {
    min-height: 42px;
    padding: 9px 10px !important;
    font-size: 11.5px;
    line-height: 1.35;
  }
}

.practice-type-group {
  align-items: flex-start !important;
}

.practice-type-option {
  display: flex;
  flex-direction: column;
  gap: 6px;
  max-width: 280px;
}

.practice-type-desc {
  color: #475569;
  font-size: 12px;
  font-weight: 700;
  line-height: 1.35;
  padding: 0 6px;
}

.practice-type-desc strong {
  color: #1e3a8a;
}

.practice-message-correct {
  border-color: #86efac !important;
  background: linear-gradient(135deg, #ecfdf5, #ffffff) !important;
  color: #064e3b !important;
}

.practice-message-wrong {
  border-color: #fecaca !important;
  background: linear-gradient(135deg, #fff1f2, #ffffff) !important;
  color: #7f1d1d !important;
}

.practice-message-redirect {
  border-color: #fcd34d !important;
  background: linear-gradient(135deg, #fffbeb, #ffffff) !important;
  color: #78350f !important;
}

@media (max-width: 700px) {
  .practice-type-option {
    max-width: 100%;
    width: 100%;
  }
}

.practice-type-group {
  align-items: center !important;
}

.practice-type-group .practice-type-btn {
  flex: 0 0 auto;
}

.practice-type-help {
  flex: 1 1 100%;
  margin-top: 4px;
  padding: 8px 10px;
  border-radius: 12px;
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 800;
  line-height: 1.35;
}

.practice-type-option,
.practice-type-desc {
  display: none !important;
}

#practiceTypeGroup .practice-type-help {
  display: block !important;
  flex: 1 1 100%;
  width: 100%;
  margin-top: 6px;
  padding: 8px 10px;
  border-radius: 12px;
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 800;
  line-height: 1.35;
}

#practiceTypeGroup.practice-type-group {
  display: flex;
  flex-wrap: wrap;
  align-items: center !important;
  width: min(640px, 100%) !important;
  max-width: 100%;
  box-sizing: border-box;
}

#practiceTypeGroup .practice-type-btn {
  flex: 0 0 auto;
}

#practiceTypeGroup #practiceTypeHelp.practice-type-help {
  display: block !important;
  flex: 0 0 100%;
  width: 100%;
  box-sizing: border-box;
  margin-top: 8px;
  padding: 9px 12px;
  border-radius: 12px;
  background: #eff6ff;
  border: 1px solid #bfdbfe;
  color: #1e3a8a;
  font-size: 12px;
  font-weight: 800;
  line-height: 1.4;
}

.practice-success-text {
  min-width: 0;
}

@media (max-width: 700px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: grid !important;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) !important;
    gap: 10px !important;
    align-items: stretch !important;
  }

  #graphSection .graph-workspace__right,
  #graphSection .graph-workspace__left,
  #subsetSumSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__left {
    display: contents !important;
  }

  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 2 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection #graphResultBanner,
  #subsetSumSection #subsetResultBanner {
    grid-column: 1 / -1 !important;
    grid-row: 2 !important;
    margin-bottom: 0 !important;
  }

  #graphSection #graphResultExplanation,
  #subsetSumSection #subsetResultExplanation {
    grid-column: 1 / -1 !important;
    grid-row: 3 !important;
    margin-bottom: 0 !important;
  }

  #graphSection #cy {
    grid-column: 1 / -1 !important;
    grid-row: 4 !important;
    width: 100% !important;
    height: 300px !important;
    min-height: 300px !important;
    max-height: 300px !important;
  }

  #subsetSumSection #subsetSumTable {
    grid-column: 1 / -1 !important;
    grid-row: 4 !important;
    display: block !important;
    width: 100% !important;
    max-height: 310px !important;
    overflow: auto !important;
    white-space: nowrap !important;
  }

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    grid-column: 1 / -1 !important;
    grid-row: 5 !important;
    width: 100% !important;
    max-width: 100% !important;
    box-sizing: border-box !important;
    align-self: stretch !important;
    justify-self: stretch !important;
    margin-top: 0 !important;
  }

  #graphSection #assignmentPanel,
  #subsetSumSection #assignmentPanel {
    grid-column: 1 !important;
    grid-row: 6 !important;
    min-width: 0 !important;
    width: 100% !important;
    box-sizing: border-box !important;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    grid-column: 2 !important;
    grid-row: 6 !important;
    min-width: 0 !important;
    width: 100% !important;
    box-sizing: border-box !important;
  }

  #subsetSumSection .workspace-block--primary #subsetSumStepMessage,
  #graphSection .workspace-block--primary #messageDisplay {
    width: 100% !important;
    box-sizing: border-box !important;
  }
}

@media (max-width: 700px) {
  .card:first-of-type > .input-group:not(:first-child):not(.mode-group):not(.practice-type-group) {
    width: 100%;
    box-sizing: border-box;
    justify-content: center;
    gap: 8px;
  }

  .card:first-of-type > .input-group:not(:first-child):not(.mode-group):not(.practice-type-group)
    button[onclick^="buildGraph"],
  .card:first-of-type > .input-group:not(:first-child):not(.mode-group):not(.practice-type-group)
    button[onclick="generateSubsetSum()"] {
    flex: 0 0 auto !important;
    width: auto !important;
    min-width: 88px !important;
    max-width: max-content;
    padding: 8px 12px !important;
    white-space: nowrap;
  }

  body .uwy,
  body .uwy.userway_p1,
  body .uwy.userway_p2,
  body .uwy.userway_p3,
  body .uwy.userway_p4,
  body .uwy.userway_p5,
  body .uwy.userway_p6,
  body .uwy.userway_p7,
  body .uwy.userway_p8,
  body .uwy.userway_p9,
  body .uwy.userway_p10,
  body .uwy.userway_p11,
  body .uwy.userway_p12,
  body .uwy.userway_p13,
  body .uwy.userway_p14,
  body .uwy.userway_p15,
  body .uwy.userway_p16,
  body .uwy.userway_p17,
  body .uwy.userway_p18,
  body .uwy.userway_p19,
  body .uwy.userway_p20,
  body .uwy.userway_p21,
  body .uwy.userway_p22,
  body .uwy.userway_p23,
  body .uwy.userway_p24,
  body .uwy.userway_p25,
  body .uwy.userway_p26,
  body .uwy.userway_p27,
  body .uwy.userway_p28,
  body .uwy.userway_p29,
  body .uwy.userway_p30 {
    top: auto !important;
    right: auto !important;
    bottom: 14px !important;
    left: 12px !important;
    transform: none !important;
    z-index: 999 !important;
  }

  body .uwy .uai,
  body .uwy #userwayAccessibilityIcon,
  body .uwy .userway_buttons_wrapper {
    top: auto !important;
    right: auto !important;
    bottom: 0 !important;
    left: 0 !important;
    transform: none !important;
  }

  body {
    padding-bottom: 76px;
  }
}

/* Practice lives HUD */
.practice-lives-hud {
  position: relative;
  left: auto;
  right: auto;
  bottom: auto;
  top: auto;
  z-index: 2;
  display: none;
  width: fit-content;
  max-width: 100%;
  margin: -1px auto 10px;
  padding: 7px 14px 8px;
  border-radius: 0 0 14px 14px;
  background: rgba(255, 255, 255, 0.86);
  border: 1px solid #f0abfc;
  border-top: 0;
  box-shadow: 0 10px 22px rgba(112, 26, 117, 0.10);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  transform: none;
}

.practice-lives-hud.is-visible {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  animation: practiceLivesEnter 0.22s ease;
}

.practice-lives-hud__meta {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  margin: 0;
  min-width: 0;
}

.practice-lives-hud__label {
  color: #701a75;
  font-size: 13px;
  font-weight: 950;
  letter-spacing: 0.01em;
  white-space: nowrap;
}

.practice-lives-hud__count {
  color: #64748b;
  font-size: 12px;
  font-weight: 850;
  white-space: nowrap;
}

.practice-lives-hud__dots {
  display: inline-flex;
  gap: 8px;
  align-items: center;
  flex: 0 0 auto;
}

.practice-life-dot {
  width: 13px;
  height: 13px;
  border-radius: 999px;
  display: inline-block;
  box-shadow: 0 0 0 4px rgba(250, 204, 21, 0.18);
  transition: background 0.22s ease, box-shadow 0.22s ease, transform 0.22s ease;
}

.practice-life-dot.is-live {
  background: #facc15;
}

.practice-life-dot.is-burned {
  background: #d946ef;
  box-shadow: 0 0 0 4px rgba(217, 70, 239, 0.18);
  transform: scale(0.92);
}

.practice-lives-hud.is-redirecting {
  padding: 10px 14px 11px;
  border-color: #d946ef;
  box-shadow: 0 12px 30px rgba(217, 70, 239, 0.16);
}

.practice-lives-hud__redirect {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  color: #86198f;
  font-size: 12px;
  font-weight: 900;
  line-height: 1.35;
  max-width: min(360px, calc(100vw - 170px));
}

.practice-lives-hud__redirect[hidden] {
  display: none !important;
}

.practice-lives-spinner {
  width: 14px;
  height: 14px;
  flex: 0 0 14px;
  border-radius: 999px;
  border: 2px solid rgba(217, 70, 239, 0.22);
  border-top-color: #d946ef;
  animation: practiceLivesSpin 0.8s linear infinite;
}

.is-practice-paused {
  pointer-events: none !important;
  opacity: 0.72;
}

@keyframes practiceLivesEnter {
  0% { opacity: 0; transform: translateY(-4px); }
  100% { opacity: 1; transform: translateY(0); }
}

@keyframes practiceLivesSpin {
  to { transform: rotate(360deg); }
}

@media (max-width: 700px) {
  .practice-lives-hud {
    max-width: calc(100% - 14px);
    margin: -1px auto 8px;
    padding: 6px 10px 7px;
    border-radius: 0 0 12px 12px;
  }

  .practice-lives-hud.is-visible {
    gap: 8px;
  }

  .practice-lives-hud__meta {
    gap: 7px;
  }

  .practice-lives-hud__label {
    font-size: 11px;
  }

  .practice-lives-hud__count {
    font-size: 10.5px;
  }

  .practice-lives-hud__dots {
    gap: 6px;
  }

  .practice-life-dot {
    width: 11px;
    height: 11px;
    box-shadow: 0 0 0 3px rgba(250, 204, 21, 0.18);
  }

  .practice-life-dot.is-burned {
    box-shadow: 0 0 0 3px rgba(217, 70, 239, 0.18);
  }

  .practice-lives-hud.is-redirecting {
    align-items: flex-start;
    flex-wrap: wrap;
    max-width: calc(100% - 14px);
    padding: 8px 10px 9px;
  }

  .practice-lives-hud__redirect {
    flex-basis: 100%;
    max-width: 100%;
    font-size: 10.5px;
    gap: 6px;
  }

  .practice-lives-spinner {
    width: 12px;
    height: 12px;
    flex-basis: 12px;
  }
}

@media (max-width: 430px) {
  .practice-lives-hud {
    max-width: calc(100% - 10px);
    padding: 5px 8px 6px;
  }

  .practice-lives-hud.is-visible {
    gap: 6px;
  }

  .practice-lives-hud__meta {
    gap: 6px;
  }

  .practice-lives-hud__label {
    font-size: 10px;
  }

  .practice-lives-hud__count {
    font-size: 9.5px;
  }

  .practice-lives-hud__dots {
    gap: 5px;
  }

  .practice-life-dot {
    width: 10px;
    height: 10px;
  }
}


/* User-requested UX refinements */
.assignment-row--unknown {
  background: inherit !important;
  border-color: inherit !important;
  box-shadow: none !important;
}

.assignment-select--unknown {
  background: inherit !important;
  color: inherit !important;
  border-color: inherit !important;
  font-weight: 950 !important;
  animation: unknownAssignmentPulse 1.35s ease-in-out infinite;
}


.assignment-row--given-pulse {
  background: inherit !important;
  border-color: inherit !important;
  box-shadow: none !important;
}

.assignment-select--given-pulse {
  background: inherit !important;
  color: inherit !important;
  border-color: inherit !important;
  font-weight: 950 !important;
  animation: unknownAssignmentPulse 1.35s ease-in-out infinite;
}

@keyframes unknownAssignmentPulse {
  0%, 100% {
    box-shadow: 0 0 0 0 rgba(15, 23, 42, 0);
    transform: translateY(0) scale(1);
  }
  50% {
    box-shadow: 0 0 0 4px rgba(15, 23, 42, 0.12);
    transform: translateY(-1px) scale(1.035);
  }
}

.practice-instance-control {
  display: none;
  justify-content: center;
  width: fit-content;
  max-width: 100%;
  margin: -1px auto 0;
  padding: 0;
}

.practice-instance-control.is-visible {
  display: flex;
}

.practice-lives-hud {
  display: none;
}

.practice-lives-hud.is-visible {
  display: inline-flex;
}

.new-practice-instance-btn {
  width: auto;
  min-width: 0;
  border-radius: 999px;
  padding: 6px 13px;
  background: linear-gradient(135deg, #fdf4ff, #ffffff);
  color: #701a75;
  border: 1px solid #f0abfc;
  font-size: 12px;
  font-weight: 900;
  box-shadow: 0 6px 14px rgba(112, 26, 117, 0.08);
}

.new-practice-instance-btn:hover:not(:disabled) {
  background: #fae8ff;
  color: #581c87;
  border-color: #e879f9;
  transform: translateY(-1px);
  box-shadow: 0 8px 16px rgba(112, 26, 117, 0.11);
}

.new-practice-instance-btn:disabled {
  background: #f8fafc !important;
  color: #94a3b8 !important;
  border-color: #e2e8f0 !important;
  box-shadow: none !important;
}


/* Active left-side card clarity */
#graphSection .graph-workspace__right .workspace-block,
#subsetSumSection .graph-workspace__right .workspace-block {
  position: relative;
}

#graphSection .graph-workspace__right .workspace-block.is-active-card,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card {
  border-color: #14b8a6 !important;
  background: linear-gradient(135deg, #ffffff, #f0fdfa) !important;
  box-shadow:
    0 0 0 3px rgba(20, 184, 166, 0.14),
    0 14px 30px rgba(15, 118, 110, 0.14) !important;
  transform: translateY(-1px);
}

#graphSection .graph-workspace__right .workspace-block.is-active-card::after,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card::after {
  content: "";
  position: absolute;
  top: 12px;
  bottom: 12px;
  left: 0;
  width: 4px;
  border-radius: 0 999px 999px 0;
  background: linear-gradient(180deg, #14b8a6, #22c55e);
}

#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  border: 2px solid #60a5fa !important;
  background: linear-gradient(135deg, #eef6ff, #ffffff) !important;
  box-shadow: 0 16px 36px rgba(37, 99, 235, 0.16) !important;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  color: #1d4ed8 !important;
}

#graphSection .workspace-block--primary #messageDisplay,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  border-color: #93c5fd !important;
  border-left: 6px solid #2563eb !important;
  background: linear-gradient(135deg, #ffffff, #eff6ff) !important;
  color: #0f172a !important;
  box-shadow: inset 0 0 0 1px rgba(37, 99, 235, 0.06) !important;
}

#graphSection .workspace-block--primary.is-active-card,
#subsetSumSection .workspace-block--primary.is-active-card {
  border-color: #0f766e !important;
  box-shadow:
    0 0 0 4px rgba(20, 184, 166, 0.16),
    0 18px 38px rgba(15, 118, 110, 0.18) !important;
}

@media (max-width: 700px) {
  #graphSection .graph-workspace__right .workspace-block.is-active-card,
  #subsetSumSection .graph-workspace__right .workspace-block.is-active-card {
    transform: none;
  }
}

/* Pulse the New instance button after a correct practice answer. */
.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: newInstanceSuccessPulse 1.05s ease-in-out infinite;
}

@keyframes newInstanceSuccessPulse {
  0% {
    transform: scale(1);
    box-shadow: 0 6px 14px rgba(112, 26, 117, 0.08), 0 0 0 0 rgba(232, 121, 249, 0.0);
  }
  50% {
    transform: scale(1.045);
    box-shadow: 0 10px 22px rgba(112, 26, 117, 0.18), 0 0 0 6px rgba(232, 121, 249, 0.20);
  }
  100% {
    transform: scale(1);
    box-shadow: 0 6px 14px rgba(112, 26, 117, 0.08), 0 0 0 0 rgba(232, 121, 249, 0.0);
  }
}

/* --------------------------------------------------------------------------
   v8 practice/subset cleanup: calmer, consistent panels and feedback.
   -------------------------------------------------------------------------- */
:root {
  --ux-info: #2563eb;
  --ux-info-soft: #eff6ff;
  --ux-info-border: #bfdbfe;
  --ux-success: #16a34a;
  --ux-success-soft: #f0fdf4;
  --ux-success-border: #bbf7d0;
  --ux-error: #dc2626;
  --ux-error-soft: #fef2f2;
  --ux-error-border: #fecaca;
  --ux-neutral-border: #dbeafe;
  --ux-neutral-soft: #f8fbff;
}

#assignmentPanel,
#subsetAssignmentPanel,
#graphSection .clause-evaluation-panel,
#subsetSumSection .clause-evaluation-panel,
#graphSection .workspace-formula,
#subsetSumSection .workspace-formula,
#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary,
#graphSection .graph-controls-card,
#subsetSumSection .graph-controls-card {
  position: relative;
  border: 1px solid var(--ux-neutral-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-neutral-soft)) !important;
  box-shadow: 0 10px 22px rgba(15, 23, 42, 0.06) !important;
  overflow: hidden;
}

#assignmentPanel::before,
#subsetAssignmentPanel::before,
#graphSection .clause-evaluation-panel::before,
#subsetSumSection .clause-evaluation-panel::before,
#graphSection .workspace-formula::before,
#subsetSumSection .workspace-formula::before,
#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before,
#graphSection .graph-controls-card::before,
#subsetSumSection .graph-controls-card::before {
  content: "";
  position: absolute;
  inset: 0 0 auto 0;
  height: 3px;
  background: linear-gradient(90deg, var(--ux-info), #38bdf8);
}

#assignmentPanel .workspace-block__title,
#subsetAssignmentPanel .workspace-block__title,
#graphSection .clause-evaluation-panel .workspace-block__title,
#subsetSumSection .clause-evaluation-panel .workspace-block__title {
  margin-bottom: 10px;
  color: #334155 !important;
  font-size: 11px;
  font-weight: 900;
  letter-spacing: 0.08em;
}

#assignmentControls,
#subsetAssignmentControls,
.assignment-controls {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(116px, 1fr));
  gap: 8px;
  width: 100%;
}

#assignmentControls .assignment-row,
#subsetAssignmentControls .assignment-row,
.assignment-row {
  display: grid;
  grid-template-columns: auto minmax(74px, 1fr);
  align-items: center;
  gap: 8px;
  padding: 8px 9px;
  border-radius: 12px;
  background: #f8fbff !important;
  border: 1px solid var(--ux-neutral-border) !important;
  box-shadow: none !important;
}

#assignmentControls .assignment-row:hover,
#subsetAssignmentControls .assignment-row:hover {
  background: #f1f7ff !important;
  border-color: #93c5fd !important;
  transform: none !important;
}

#assignmentControls label,
#subsetAssignmentControls label,
.assignment-label,
.assignment-row label {
  font-size: 13px;
  font-weight: 900;
  color: #1e3a8a;
}

#assignmentControls select,
#subsetAssignmentControls select,
.assignment-select,
.assignment-row select {
  width: 100%;
  min-width: 78px;
  padding: 6px 28px 6px 10px;
  border-radius: 999px;
  border: 1px solid #bfdbfe;
  background: #ffffff;
  color: #172554;
  font-size: 13px;
  font-weight: 800;
  cursor: pointer;
}

#assignmentControls select:focus,
#subsetAssignmentControls select:focus,
.assignment-select:focus {
  outline: none;
  border-color: var(--ux-info);
  box-shadow: 0 0 0 3px rgba(37, 99, 235, 0.14);
}

#assignmentDisplay,
#subsetAssignmentArea {
  width: 100%;
  box-sizing: border-box;
  max-height: 210px;
  overflow-y: auto;
  margin: 0;
  padding: 12px;
  border-radius: 14px;
  background: #ffffff !important;
  border: 1px solid #e2e8f0 !important;
  color: #334155;
  font-size: 13px;
  line-height: 1.55;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.95) !important;
}

#assignmentDisplay:empty,
#subsetAssignmentArea:empty {
  display: flex;
  align-items: center;
  justify-content: center;
  min-height: 64px;
  border: 1px dashed #cbd5e1 !important;
  background: linear-gradient(135deg, #f8fafc, #f1f7ff) !important;
}

#assignmentDisplay:empty::before,
#subsetAssignmentArea:empty::before {
  content: "Clause evaluation will appear here.";
  color: #64748b;
  font-size: 12px;
  font-weight: 700;
  text-align: center;
}

.assignment-summary,
.clause-eval-list {
  display: grid;
  gap: 8px;
  margin-bottom: 11px;
}

.assignment-summary__title {
  font-size: 10px;
  font-weight: 950;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: #64748b;
}

.assignment-pill-list {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
}

.assignment-pill {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 5px 8px;
  border-radius: 999px;
  border: 1px solid #dbeafe;
  background: #f8fbff;
  color: #1e3a8a;
  font-size: 12px;
}

.truth-token,
.literal-chip,
.clause-eval-row__result,
.formula-result-chip {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 999px;
  padding: 2px 7px;
  font-size: 11px;
  font-weight: 950;
  line-height: 1.35;
}

.truth-token--true,
.literal-chip.is-true,
.clause-eval-row__result.is-true,
.formula-result-chip.is-true {
  background: var(--ux-success-soft);
  color: #166534;
  border: 1px solid var(--ux-success-border);
}

.truth-token--false,
.literal-chip.is-false,
.clause-eval-row__result.is-false,
.formula-result-chip.is-false {
  background: var(--ux-error-soft);
  color: #991b1b;
  border: 1px solid var(--ux-error-border);
}

.truth-token--unknown,
.literal-chip.is-unknown {
  background: #f8fafc;
  color: #64748b;
  border: 1px solid #e2e8f0;
}

.clause-eval-row {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  align-items: center;
  gap: 8px;
  padding: 7px 8px;
  border-radius: 12px;
  background: #f8fafc;
  border: 1px solid #e2e8f0;
}

.clause-eval-row__label {
  font-size: 12px;
  font-weight: 950;
  color: #1e3a8a;
}

.clause-eval-row__formula {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 5px;
  min-width: 0;
}

.logic-or {
  color: #94a3b8;
  font-weight: 900;
}

.formula-result-chip {
  width: fit-content;
  margin-top: 2px;
}

#assignmentPanel.is-success-panel,
#subsetAssignmentPanel.is-success-panel,
#graphSection .clause-evaluation-panel.is-success-panel,
#subsetSumSection .clause-evaluation-panel.is-success-panel {
  border-color: var(--ux-success-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-success-soft)) !important;
}

#assignmentPanel.is-success-panel::before,
#subsetAssignmentPanel.is-success-panel::before,
#graphSection .clause-evaluation-panel.is-success-panel::before,
#subsetSumSection .clause-evaluation-panel.is-success-panel::before {
  background: linear-gradient(90deg, var(--ux-success), #86efac) !important;
}

#assignmentPanel.is-error-panel,
#subsetAssignmentPanel.is-error-panel,
#graphSection .clause-evaluation-panel.is-error-panel,
#subsetSumSection .clause-evaluation-panel.is-error-panel {
  border-color: var(--ux-error-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-error-soft)) !important;
}

#assignmentPanel.is-error-panel::before,
#subsetAssignmentPanel.is-error-panel::before,
#graphSection .clause-evaluation-panel.is-error-panel::before,
#subsetSumSection .clause-evaluation-panel.is-error-panel::before {
  background: linear-gradient(90deg, var(--ux-error), #fb7185) !important;
}

.practice-message-correct {
  border-color: var(--ux-success-border) !important;
  border-left-color: var(--ux-success) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-success-soft)) !important;
  color: #14532d !important;
}

.practice-message-wrong {
  border-color: var(--ux-error-border) !important;
  border-left-color: var(--ux-error) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-error-soft)) !important;
  color: #7f1d1d !important;
}

#subsetSumTable tr.subset-sum-user-selected td {
  background: #fee2e2 !important;
  color: #7f1d1d;
  font-weight: 800;
}

#subsetSumTable tr.subset-sum-correct td,
#subsetSumTable tr.result-row-highlight td {
  background: #dcfce7 !important;
  color: #14532d;
  font-weight: 850;
}

#subsetSumLiveSum td {
  background: #f8fafc !important;
  border-top: 2px solid #dbeafe;
}

#subsetSumLiveSum .sum-cell-match {
  background: #f0fdf4 !important;
  color: #166534;
}

.assignment-select--unknown,
.assignment-select--given-pulse {
  animation: calmAssignmentPulse 1.45s ease-in-out infinite;
}

@keyframes calmAssignmentPulse {
  0%, 100% { box-shadow: 0 0 0 0 rgba(37, 99, 235, 0); }
  50% { box-shadow: 0 0 0 3px rgba(37, 99, 235, 0.13); }
}

/* Tone down the previous bright practice HUD so it does not dominate the task. */
.practice-lives-hud,
.practice-instance-control {
  margin-top: 6px !important;
}

.practice-lives-hud.is-visible {
  border-color: #e2e8f0 !important;
  background: rgba(255, 255, 255, 0.92) !important;
  box-shadow: 0 8px 18px rgba(15, 23, 42, 0.06) !important;
}

.practice-life-dot.is-live {
  background: #facc15;
  box-shadow: none !important;
}

.practice-life-dot.is-burned {
  background: #ef4444;
  box-shadow: none !important;
}

.new-practice-instance-btn {
  background: #ffffff !important;
  color: #1e3a8a !important;
  border-color: #bfdbfe !important;
  box-shadow: 0 4px 10px rgba(37, 99, 235, 0.08) !important;
}

.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: calmNewInstancePulse 1.15s ease-in-out infinite;
}

@keyframes calmNewInstancePulse {
  0%, 100% { box-shadow: 0 4px 10px rgba(37, 99, 235, 0.08), 0 0 0 0 rgba(22, 163, 74, 0); }
  50% { box-shadow: 0 6px 14px rgba(37, 99, 235, 0.10), 0 0 0 4px rgba(22, 163, 74, 0.16); }
}

@media (max-width: 700px) {
  #assignmentControls,
  #subsetAssignmentControls,
  .assignment-controls {
    grid-template-columns: 1fr;
  }

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 170px;
    font-size: 12px;
  }

  .clause-eval-row {
    grid-template-columns: auto 1fr;
  }

  .clause-eval-row__result {
    grid-column: 2;
    justify-self: start;
  }
}

@media (prefers-reduced-motion: reduce) {
  .assignment-select--unknown,
  .assignment-select--given-pulse,
  .new-practice-instance-btn.is-success-pulse:not(:disabled) {
    animation: none !important;
  }
}

/* v9: purple practice accents + clearer assignment-to-solution guidance. */
:root {
  --practice-purple: #9333ea;
  --practice-purple-dark: #6b21a8;
  --practice-purple-soft: #f5f3ff;
  --practice-purple-border: #c4b5fd;
  --practice-purple-ring: rgba(147, 51, 234, 0.22);
}

.practice-life-dot.is-burned {
  background: var(--practice-purple) !important;
  box-shadow: 0 0 0 4px var(--practice-purple-ring) !important;
}

.practice-life-dot.is-burned::after {
  content: "";
  display: block;
  width: 100%;
  height: 100%;
  border-radius: inherit;
  background: radial-gradient(circle at 35% 30%, rgba(255,255,255,0.85), rgba(255,255,255,0) 38%);
}

.new-practice-instance-btn {
  background: linear-gradient(135deg, var(--practice-purple), #c026d3) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 8px 18px rgba(147, 51, 234, 0.18) !important;
}

.new-practice-instance-btn:hover:not(:disabled) {
  background: linear-gradient(135deg, var(--practice-purple-dark), #a21caf) !important;
  color: #ffffff !important;
  box-shadow: 0 10px 22px rgba(147, 51, 234, 0.24) !important;
}

.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: purpleNewInstancePulse 1.08s ease-in-out infinite !important;
}

@keyframes purpleNewInstancePulse {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 8px 18px rgba(147, 51, 234, 0.18), 0 0 0 0 rgba(147, 51, 234, 0);
  }
  50% {
    transform: scale(1.045);
    box-shadow: 0 12px 26px rgba(147, 51, 234, 0.28), 0 0 0 7px var(--practice-purple-ring);
  }
}

.assignment-row--given-pulse {
  border-color: var(--practice-purple-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--practice-purple-soft)) !important;
}

.assignment-select--given-pulse {
  border-color: var(--practice-purple-border) !important;
  color: var(--practice-purple-dark) !important;
  background: #ffffff !important;
  animation: purpleAssignmentPulse 1.18s ease-in-out infinite !important;
}

@keyframes purpleAssignmentPulse {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 0 0 0 rgba(147, 51, 234, 0);
  }
  50% {
    transform: translateY(-1px) scale(1.035);
    box-shadow: 0 0 0 4px var(--practice-purple-ring);
  }
}

.practice-type-help--task {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  width: 100%;
  margin-top: 6px;
  padding: 8px 10px;
  border-radius: 12px;
  border: 1px solid var(--practice-purple-border);
  background: linear-gradient(135deg, #ffffff, var(--practice-purple-soft));
  color: var(--practice-purple-dark);
  font-size: 12px;
  font-weight: 850;
  line-height: 1.35;
}

.practice-type-help--task::before {
  content: "↳";
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 18px;
  height: 18px;
  flex: 0 0 18px;
  border-radius: 999px;
  background: var(--practice-purple);
  color: #ffffff;
  font-size: 12px;
  font-weight: 950;
}

@media (prefers-reduced-motion: reduce) {
  .assignment-select--given-pulse,
  .new-practice-instance-btn.is-success-pulse:not(:disabled) {
    animation: none !important;
  }
}

/* v10: Fancy but calmer guidance system.
   Goal: make the current step readable, move color to the left action rail,
   make pulses obvious, and avoid red for neutral subset-sum selections. */
:root {
  --ux-step-blue: #2563eb;
  --ux-step-blue-soft: #eff6ff;
  --ux-step-purple: #8b5cf6;
  --ux-step-purple-dark: #5b21b6;
  --ux-step-purple-soft: #f5f3ff;
  --ux-step-purple-border: #c4b5fd;
  --ux-step-amber: #f59e0b;
  --ux-step-amber-soft: #fffbeb;
  --ux-step-amber-border: #fcd34d;
  --ux-step-green: #16a34a;
  --ux-step-green-soft: #f0fdf4;
  --ux-step-red: #dc2626;
  --ux-step-red-soft: #fef2f2;
  --ux-panel-ink: #0f172a;
  --ux-panel-muted: #64748b;
}

/* Step explanation: replace the loud top bar with a focused left rail. */
#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  position: relative !important;
  overflow: hidden !important;
  padding: 14px 14px 14px 18px !important;
  border-radius: 20px !important;
  border: 1px solid rgba(148, 163, 184, 0.22) !important;
  background:
    radial-gradient(circle at top right, rgba(37, 99, 235, 0.08), transparent 32%),
    linear-gradient(135deg, rgba(255,255,255,0.98), rgba(248,250,252,0.94)) !important;
  box-shadow: 0 16px 34px rgba(15, 23, 42, 0.08) !important;
}

#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before {
  content: "" !important;
  position: absolute !important;
  inset: 12px auto 12px 8px !important;
  width: 5px !important;
  height: auto !important;
  border-radius: 999px !important;
  background: linear-gradient(180deg, var(--ux-step-blue), #38bdf8) !important;
  box-shadow: 0 0 0 5px rgba(37, 99, 235, 0.08) !important;
}

body.practice-mode #graphSection .workspace-block--primary::before,
body.practice-mode #subsetSumSection .workspace-block--primary::before {
  background: linear-gradient(180deg, var(--ux-step-purple), #d946ef) !important;
  box-shadow: 0 0 0 5px rgba(139, 92, 246, 0.10) !important;
}

body.practice-assignment-to-component #graphSection .workspace-block--primary::before,
body.practice-assignment-to-component #subsetSumSection .workspace-block--primary::before {
  background: linear-gradient(180deg, var(--ux-step-purple), #ec4899) !important;
}

body.practice-solution-to-assignment #graphSection .workspace-block--primary::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary::before {
  background: linear-gradient(180deg, var(--ux-step-amber), #fb7185) !important;
  box-shadow: 0 0 0 5px rgba(245, 158, 11, 0.11) !important;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  display: inline-flex !important;
  align-items: center !important;
  gap: 7px !important;
  width: fit-content !important;
  margin: 0 0 10px !important;
  padding: 5px 10px !important;
  border-radius: 999px !important;
  background: rgba(241, 245, 249, 0.9) !important;
  border: 1px solid rgba(226, 232, 240, 0.95) !important;
  color: #334155 !important;
  font-size: 10px !important;
  letter-spacing: 0.09em !important;
  text-transform: uppercase !important;
  font-weight: 950 !important;
}

#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: "✦";
  color: var(--ux-step-blue);
  font-size: 11px;
}

body.practice-mode #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #subsetSumSection .workspace-block--primary .workspace-block__title::before {
  color: var(--ux-step-purple);
}

#graphStepCounter,
#subsetSumStepCounter {
  display: inline-flex !important;
  align-items: center !important;
  width: fit-content !important;
  margin: 0 0 8px !important;
  padding: 4px 9px !important;
  border-radius: 999px !important;
  background: #ffffff !important;
  border: 1px solid #dbeafe !important;
  color: #1e3a8a !important;
  font-size: 12px !important;
  font-weight: 950 !important;
  letter-spacing: 0.015em !important;
  box-shadow: 0 5px 12px rgba(37, 99, 235, 0.07) !important;
}

body.practice-mode #graphStepCounter,
body.practice-mode #subsetSumStepCounter {
  border-color: var(--ux-step-purple-border) !important;
  color: var(--ux-step-purple-dark) !important;
  box-shadow: 0 5px 12px rgba(139, 92, 246, 0.08) !important;
}

#graphSection .workspace-block--primary #messageDisplay,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  min-height: 58px !important;
  padding: 13px 14px !important;
  border-radius: 16px !important;
  border: 1px solid rgba(219, 234, 254, 0.95) !important;
  border-left: 0 !important;
  background:
    linear-gradient(135deg, rgba(255,255,255,0.98), rgba(239,246,255,0.75)) !important;
  color: var(--ux-panel-ink) !important;
  font-size: 14px !important;
  font-weight: 800 !important;
  line-height: 1.55 !important;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.96), 0 8px 18px rgba(15, 23, 42, 0.045) !important;
}

body.practice-mode #graphSection .workspace-block--primary #messageDisplay,
body.practice-mode #subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  border-color: rgba(196, 181, 253, 0.85) !important;
  background: linear-gradient(135deg, #ffffff, rgba(245, 243, 255, 0.82)) !important;
}

body.practice-solution-to-assignment #graphSection .workspace-block--primary #messageDisplay,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  border-color: rgba(252, 211, 77, 0.88) !important;
  background: linear-gradient(135deg, #ffffff, rgba(255, 251, 235, 0.86)) !important;
}

/* Success/error remain targeted and readable. */
#graphSection .workspace-block--primary.has-success #messageDisplay,
#subsetSumSection .workspace-block--primary.has-success #subsetSumStepMessage,
#graphSection .workspace-block--primary #messageDisplay.practice-message-correct,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage.practice-message-correct {
  border-color: #bbf7d0 !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-step-green-soft)) !important;
  color: #14532d !important;
}

#graphSection .workspace-block--primary.has-error #messageDisplay,
#subsetSumSection .workspace-block--primary.has-error #subsetSumStepMessage,
#graphSection .workspace-block--primary #messageDisplay.practice-message-wrong,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage.practice-message-wrong {
  border-color: #fecaca !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-step-red-soft)) !important;
  color: #7f1d1d !important;
}

/* Subset Sum practice: user-selected rows are purple/working state, not red/error. */
#subsetSumTable tr.subset-sum-user-selected td {
  background: linear-gradient(135deg, #faf5ff, #f5f3ff) !important;
  color: var(--ux-step-purple-dark) !important;
  font-weight: 850 !important;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.85) !important;
}

#subsetSumTable tr.subset-sum-user-selected td:first-child {
  box-shadow: inset 4px 0 0 var(--ux-step-purple), inset 0 1px 0 rgba(255,255,255,0.85) !important;
}

#subsetSumTable tr.subset-sum-user-selected input[type="checkbox"] {
  accent-color: var(--ux-step-purple);
  transform: scale(1.22);
}

/* More visible assignment-to-solution pulse. */
.assignment-row--given-pulse {
  border-color: var(--ux-step-purple-border) !important;
  background:
    radial-gradient(circle at 94% 50%, rgba(139, 92, 246, 0.16), transparent 34%),
    linear-gradient(135deg, #ffffff, var(--ux-step-purple-soft)) !important;
  animation: v10AssignmentRowPulse 1.05s ease-in-out infinite !important;
}

.assignment-select--given-pulse {
  border-color: var(--ux-step-purple) !important;
  color: var(--ux-step-purple-dark) !important;
  background: #ffffff !important;
  animation: v10AssignmentSelectPulse 0.95s ease-in-out infinite !important;
}

@keyframes v10AssignmentRowPulse {
  0%, 100% {
    transform: translateY(0);
    box-shadow: 0 0 0 0 rgba(139, 92, 246, 0), 0 6px 14px rgba(15,23,42,0.04);
  }
  50% {
    transform: translateY(-2px);
    box-shadow: 0 0 0 5px rgba(139, 92, 246, 0.16), 0 12px 24px rgba(139, 92, 246, 0.14);
  }
}

@keyframes v10AssignmentSelectPulse {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(139, 92, 246, 0);
  }
  50% {
    transform: scale(1.06);
    box-shadow: 0 0 0 6px rgba(139, 92, 246, 0.24);
  }
}

/* Make New Instance a clear next action, without taking over the whole UI. */
.new-practice-instance-btn {
  background: linear-gradient(135deg, #7c3aed, #c026d3) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 10px 24px rgba(124, 58, 237, 0.22) !important;
}

.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: v10NewInstancePulse 0.95s ease-in-out infinite !important;
}

@keyframes v10NewInstancePulse {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 10px 24px rgba(124, 58, 237, 0.22), 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: translateY(-2px) scale(1.05);
    box-shadow: 0 14px 30px rgba(124, 58, 237, 0.30), 0 0 0 8px rgba(124, 58, 237, 0.20);
  }
}

/* A little more polish across the page, still restrained. */
.card,
#graphSection,
#subsetSumSection,
.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card {
  border-radius: 20px !important;
}

button:not(:disabled) {
  transition: transform 0.18s ease, box-shadow 0.18s ease, background 0.18s ease, border-color 0.18s ease, color 0.18s ease !important;
}

button:hover:not(:disabled) {
  transform: translateY(-2px) !important;
}

.practice-type-help--task {
  border-color: rgba(196, 181, 253, 0.9) !important;
  background: linear-gradient(135deg, #ffffff, #f5f3ff) !important;
  color: var(--ux-step-purple-dark) !important;
  box-shadow: 0 8px 18px rgba(139, 92, 246, 0.08) !important;
}

body.practice-solution-to-assignment .practice-type-help--task {
  border-color: var(--ux-step-amber-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-step-amber-soft)) !important;
  color: #92400e !important;
}

body.practice-solution-to-assignment .practice-type-help--task::before {
  background: var(--ux-step-amber) !important;
}

@media (max-width: 700px) {
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    padding: 12px 12px 12px 17px !important;
  }

  #graphSection .workspace-block--primary #messageDisplay,
  #subsetSumSection .workspace-block--primary #subsetSumStepMessage {
    min-height: 48px !important;
    font-size: 13px !important;
  }
}

@media (prefers-reduced-motion: reduce) {
  .assignment-row--given-pulse,
  .assignment-select--given-pulse,
  .new-practice-instance-btn.is-success-pulse:not(:disabled) {
    animation: none !important;
  }
}

/* v11: visual uplift + softer guidance palette.
   Keeps practice logic untouched; this is a restrained presentation layer. */
:root {
  --ux-v11-ink: #0f172a;
  --ux-v11-muted: #64748b;
  --ux-v11-line: rgba(148, 163, 184, 0.22);
  --ux-v11-glass: rgba(255, 255, 255, 0.84);
  --ux-v11-blue: #2563eb;
  --ux-v11-blue-2: #38bdf8;
  --ux-v11-violet: #7c3aed;
  --ux-v11-violet-2: #6366f1;
  --ux-v11-violet-soft: #f4f3ff;
  --ux-v11-violet-border: #c7d2fe;
  --ux-v11-success: #16a34a;
  --ux-v11-danger: #dc2626;
}

body {
  background:
    radial-gradient(circle at 10% -10%, rgba(124, 58, 237, 0.13), transparent 30%),
    radial-gradient(circle at 92% 6%, rgba(56, 189, 248, 0.14), transparent 28%),
    radial-gradient(circle at 50% 100%, rgba(34, 197, 94, 0.08), transparent 30%),
    linear-gradient(135deg, #eef5ff 0%, #f7f8ff 48%, #eef2ff 100%) !important;
}

.nav {
  background: rgba(248, 250, 252, 0.78) !important;
  border-bottom: 1px solid rgba(199, 210, 254, 0.72) !important;
  box-shadow: 0 14px 40px rgba(15, 23, 42, 0.07) !important;
}

.nav__inner {
  padding-top: 14px !important;
  padding-bottom: 14px !important;
}

.nav__title {
  background: linear-gradient(135deg, #1e3a8a, #7c3aed 58%, #0ea5e9);
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent !important;
}

.nav__subtitle {
  color: #64748b !important;
}

.lang__btn,
.info-jump,
.mode-btn,
.practice-type-btn {
  border: 1px solid rgba(199, 210, 254, 0.9) !important;
  background: rgba(255, 255, 255, 0.86) !important;
  color: #334155 !important;
  box-shadow: 0 5px 14px rgba(15, 23, 42, 0.045) !important;
}

.lang__btn:hover,
.info-jump:hover,
.mode-btn:hover:not(:disabled),
.practice-type-btn:hover:not(:disabled) {
  border-color: #a5b4fc !important;
  background: #f5f7ff !important;
  color: #312e81 !important;
}

.mode-btn.is-active,
.practice-type-btn.is-active,
.lang__btn.is-active,
.lang__btn[aria-pressed="true"] {
  background: linear-gradient(135deg, #2563eb, #7c3aed) !important;
  border-color: transparent !important;
  color: #ffffff !important;
  box-shadow: 0 10px 24px rgba(99, 102, 241, 0.22) !important;
}

.card,
#graphSection,
#subsetSumSection,
.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card {
  background: linear-gradient(145deg, rgba(255,255,255,0.92), rgba(248,250,252,0.82)) !important;
  border-color: rgba(199, 210, 254, 0.52) !important;
  box-shadow: 0 18px 48px rgba(15, 23, 42, 0.08) !important;
}

.card:hover,
.workspace-formula:hover,
.assignment-panel:hover,
.clause-evaluation-panel:hover,
.graph-controls-card:hover,
.subset-controls-card:hover {
  border-color: rgba(165, 180, 252, 0.72) !important;
}

.formula-toolbar,
.card:first-of-type > .input-group:not(:first-child):not(.mode-group),
.mode-group,
.practice-type-group {
  background: rgba(255, 255, 255, 0.80) !important;
  border: 1px solid rgba(199, 210, 254, 0.62) !important;
  box-shadow: 0 12px 28px rgba(99, 102, 241, 0.08) !important;
}

.primary-action-btn,
button[onclick="generateInputs()"] {
  background: linear-gradient(135deg, #2563eb, #7c3aed) !important;
  border-color: transparent !important;
  color: #ffffff !important;
  box-shadow: 0 12px 26px rgba(99, 102, 241, 0.24) !important;
}

.random-formula-btn {
  background: linear-gradient(135deg, #ffffff, #f4f3ff) !important;
  border-color: #c7d2fe !important;
  color: #4338ca !important;
}

/* Step explanation: slimmer rail, stronger hierarchy, no heavy bar. */
#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  padding: 13px 14px 14px 16px !important;
  border-radius: 18px !important;
  border: 1px solid rgba(199, 210, 254, 0.55) !important;
  background:
    radial-gradient(circle at 100% 0%, rgba(99, 102, 241, 0.08), transparent 24%),
    linear-gradient(145deg, rgba(255,255,255,0.98), rgba(248,250,252,0.92)) !important;
  box-shadow: 0 14px 34px rgba(15, 23, 42, 0.07) !important;
}

#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before {
  inset: 14px auto 14px 8px !important;
  width: 2px !important;
  border-radius: 999px !important;
  background: linear-gradient(180deg, #2563eb, #38bdf8) !important;
  box-shadow: none !important;
  opacity: 0.95 !important;
}

body.practice-mode #graphSection .workspace-block--primary::before,
body.practice-mode #subsetSumSection .workspace-block--primary::before,
body.practice-assignment-to-component #graphSection .workspace-block--primary::before,
body.practice-assignment-to-component #subsetSumSection .workspace-block--primary::before,
body.practice-solution-to-assignment #graphSection .workspace-block--primary::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary::before {
  background: linear-gradient(180deg, var(--ux-v11-violet), var(--ux-v11-violet-2)) !important;
  box-shadow: none !important;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  padding: 0 !important;
  margin: 0 0 8px !important;
  border: 0 !important;
  background: transparent !important;
  color: #475569 !important;
  font-size: 10px !important;
  letter-spacing: 0.11em !important;
}

#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: "" !important;
  width: 7px !important;
  height: 7px !important;
  border-radius: 999px !important;
  background: #38bdf8 !important;
  box-shadow: 0 0 0 4px rgba(56, 189, 248, 0.12) !important;
}

body.practice-mode #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #subsetSumSection .workspace-block--primary .workspace-block__title::before {
  background: var(--ux-v11-violet) !important;
  box-shadow: 0 0 0 4px rgba(124, 58, 237, 0.12) !important;
}

#graphStepCounter,
#subsetSumStepCounter {
  margin: 0 0 9px !important;
  padding: 5px 10px !important;
  background: linear-gradient(135deg, #ffffff, #eef6ff) !important;
  border: 1px solid rgba(191, 219, 254, 0.95) !important;
  color: #1d4ed8 !important;
  box-shadow: 0 7px 16px rgba(37, 99, 235, 0.08) !important;
}

body.practice-mode #graphStepCounter,
body.practice-mode #subsetSumStepCounter {
  background: linear-gradient(135deg, #ffffff, var(--ux-v11-violet-soft)) !important;
  border-color: var(--ux-v11-violet-border) !important;
  color: #4c1d95 !important;
  box-shadow: 0 7px 16px rgba(124, 58, 237, 0.09) !important;
}

#graphSection .workspace-block--primary #messageDisplay,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  min-height: 52px !important;
  padding: 12px 13px !important;
  border-radius: 14px !important;
  border: 1px solid rgba(226, 232, 240, 0.98) !important;
  background: linear-gradient(135deg, #ffffff, #f8fafc) !important;
  color: #172554 !important;
  font-size: 14px !important;
  font-weight: 750 !important;
  line-height: 1.5 !important;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.96), 0 8px 18px rgba(15, 23, 42, 0.04) !important;
}

body.practice-mode #graphSection .workspace-block--primary #messageDisplay,
body.practice-mode #subsetSumSection .workspace-block--primary #subsetSumStepMessage,
body.practice-solution-to-assignment #graphSection .workspace-block--primary #messageDisplay,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  border-color: rgba(199, 210, 254, 0.92) !important;
  background: linear-gradient(135deg, #ffffff, var(--ux-v11-violet-soft)) !important;
  color: #312e81 !important;
}

body.practice-solution-to-assignment .practice-type-help--task,
body.practice-solution-to-assignment .practice-type-help--task::before {
  border-color: var(--ux-v11-violet-border) !important;
  color: #3730a3 !important;
}

body.practice-solution-to-assignment .practice-type-help--task {
  background: linear-gradient(135deg, #ffffff, var(--ux-v11-violet-soft)) !important;
}

body.practice-solution-to-assignment .practice-type-help--task::before {
  background: linear-gradient(135deg, var(--ux-v11-violet-2), var(--ux-v11-violet)) !important;
  color: #ffffff !important;
}

/* Stronger but cleaner pulses. */
.assignment-row--given-pulse {
  border-color: #a78bfa !important;
  background:
    radial-gradient(circle at 96% 50%, rgba(124, 58, 237, 0.22), transparent 34%),
    linear-gradient(135deg, #ffffff, #f4f3ff) !important;
  animation: v11AssignmentRowPulse 0.9s ease-in-out infinite !important;
}

.assignment-select--given-pulse {
  border-color: #7c3aed !important;
  color: #4c1d95 !important;
  animation: v11AssignmentSelectPulse 0.82s ease-in-out infinite !important;
}

@keyframes v11AssignmentRowPulse {
  0%, 100% {
    transform: translateY(0);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0), 0 8px 18px rgba(15,23,42,0.045);
  }
  50% {
    transform: translateY(-2px);
    box-shadow: 0 0 0 7px rgba(124, 58, 237, 0.18), 0 16px 30px rgba(124, 58, 237, 0.16);
  }
}

@keyframes v11AssignmentSelectPulse {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: scale(1.08);
    box-shadow: 0 0 0 7px rgba(124, 58, 237, 0.25);
  }
}

/* Subset Sum user selection: lavender/working, never error-red. */
#subsetSumTable tr.subset-sum-user-selected td {
  background: linear-gradient(135deg, #f8f7ff, #eef2ff) !important;
  color: #3730a3 !important;
  border-bottom-color: rgba(199, 210, 254, 0.9) !important;
}

#subsetSumTable tr.subset-sum-user-selected td:first-child {
  box-shadow: inset 3px 0 0 #7c3aed, inset 0 1px 0 rgba(255,255,255,0.92) !important;
}

#subsetSumTable tr.subset-sum-user-selected input[type="checkbox"] {
  accent-color: #7c3aed !important;
}

#subsetSumTable th {
  background: linear-gradient(135deg, #eef2ff, #e0f2fe) !important;
  color: #1e3a8a !important;
}

#cy,
#subsetSumTable {
  border-color: rgba(199, 210, 254, 0.74) !important;
  box-shadow: 0 20px 46px rgba(15, 23, 42, 0.10), inset 0 1px 0 rgba(255,255,255,0.95) !important;
}

.new-practice-instance-btn {
  background: linear-gradient(135deg, #6366f1, #8b5cf6) !important;
  box-shadow: 0 12px 28px rgba(99, 102, 241, 0.24) !important;
}

.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: v11NewInstancePulse 0.9s ease-in-out infinite !important;
}

@keyframes v11NewInstancePulse {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 12px 28px rgba(99, 102, 241, 0.24), 0 0 0 0 rgba(99, 102, 241, 0);
  }
  50% {
    transform: translateY(-2px) scale(1.05);
    box-shadow: 0 18px 36px rgba(99, 102, 241, 0.34), 0 0 0 9px rgba(99, 102, 241, 0.20);
  }
}

@media (max-width: 700px) {
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    padding: 12px 12px 12px 15px !important;
  }

  #graphSection .workspace-block--primary::before,
  #subsetSumSection .workspace-block--primary::before {
    inset: 13px auto 13px 7px !important;
    width: 2px !important;
  }
}

/* --------------------------------------------------------------------------
   v12 visual guidance uplift
   - remove the oversized step rail
   - colors indicate the user's current action
   - both practice directions use the same visible pulse
   -------------------------------------------------------------------------- */
:root {
  --guide-green: #10b981;
  --guide-green-2: #22c55e;
  --guide-green-soft: #ecfdf5;
  --guide-green-border: #86efac;
  --guide-violet: #7c3aed;
  --guide-violet-2: #6366f1;
  --guide-violet-soft: #f4f3ff;
  --guide-violet-border: #c4b5fd;
  --guide-blue-soft: #eff6ff;
  --guide-card-border: rgba(199, 210, 254, 0.52);
  --guide-ink: #111827;
  --guide-muted: #64748b;
}

/* Overall uplift: more glass, less heavy color blocks. */
body {
  background:
    radial-gradient(circle at 8% -8%, rgba(124, 58, 237, 0.12), transparent 30%),
    radial-gradient(circle at 95% 4%, rgba(56, 189, 248, 0.13), transparent 28%),
    radial-gradient(circle at 50% 105%, rgba(16, 185, 129, 0.10), transparent 34%),
    linear-gradient(135deg, #f0f6ff 0%, #fbfbff 48%, #eef2ff 100%) !important;
}

.card,
#graphSection,
#subsetSumSection,
.workspace-formula,
.assignment-panel,
.clause-evaluation-panel,
.graph-controls-card,
.subset-controls-card {
  border-color: var(--guide-card-border) !important;
  background:
    linear-gradient(145deg, rgba(255, 255, 255, 0.94), rgba(248, 250, 252, 0.86)) !important;
  box-shadow:
    0 18px 46px rgba(15, 23, 42, 0.075),
    inset 0 1px 0 rgba(255, 255, 255, 0.78) !important;
}

/* Step explanation: tiny indicator, not a giant bar. */
#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  padding: 13px 14px !important;
  border-radius: 18px !important;
  border: 1px solid rgba(199, 210, 254, 0.54) !important;
  background:
    linear-gradient(145deg, rgba(255,255,255,0.98), rgba(248,250,252,0.90)) !important;
  box-shadow: 0 14px 32px rgba(15, 23, 42, 0.07) !important;
  overflow: hidden !important;
}

#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before {
  content: "" !important;
  position: absolute !important;
  inset: auto !important;
  top: 12px !important;
  left: 12px !important;
  width: 9px !important;
  height: 9px !important;
  min-width: 0 !important;
  max-width: none !important;
  border-radius: 999px !important;
  background: #93c5fd !important;
  box-shadow: 0 0 0 4px rgba(147, 197, 253, 0.12) !important;
  opacity: 1 !important;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  margin: 0 0 8px 17px !important;
  padding: 0 !important;
  border: 0 !important;
  background: transparent !important;
  color: var(--guide-muted) !important;
  font-size: 10px !important;
  font-weight: 950 !important;
  letter-spacing: 0.12em !important;
  text-transform: uppercase !important;
}

#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: none !important;
}

#graphStepCounter,
#subsetSumStepCounter {
  margin: 0 0 9px !important;
  padding: 5px 10px !important;
  border-radius: 999px !important;
  background: #ffffff !important;
  border: 1px solid #dbeafe !important;
  color: #1d4ed8 !important;
  font-size: 12px !important;
  font-weight: 950 !important;
  box-shadow: 0 6px 14px rgba(37, 99, 235, 0.07) !important;
}

#graphSection .workspace-block--primary #messageDisplay,
#subsetSumSection .workspace-block--primary #subsetSumStepMessage {
  min-height: 46px !important;
  padding: 11px 12px !important;
  border-radius: 14px !important;
  border: 1px solid rgba(226, 232, 240, 0.98) !important;
  border-left: 1px solid rgba(226, 232, 240, 0.98) !important;
  background: linear-gradient(135deg, #ffffff, #f8fafc) !important;
  color: var(--guide-ink) !important;
  font-size: 13.5px !important;
  font-weight: 760 !important;
  line-height: 1.48 !important;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.96), 0 7px 16px rgba(15, 23, 42, 0.04) !important;
}

/* Current-action guidance. Green means: look here / do this now. */
.ux-focus-step {
  border-color: var(--guide-green-border) !important;
  background:
    radial-gradient(circle at 98% 0%, rgba(16, 185, 129, 0.12), transparent 30%),
    linear-gradient(145deg, #ffffff, var(--guide-green-soft)) !important;
  box-shadow:
    0 0 0 3px rgba(16, 185, 129, 0.12),
    0 18px 40px rgba(16, 185, 129, 0.13) !important;
}

#graphSection .workspace-block--primary.ux-focus-step::before,
#subsetSumSection .workspace-block--primary.ux-focus-step::before {
  background: var(--guide-green) !important;
  box-shadow: 0 0 0 5px rgba(16, 185, 129, 0.16) !important;
}

.ux-focus-step #messageDisplay,
.ux-focus-step #subsetSumStepMessage {
  border-color: #bbf7d0 !important;
  background: linear-gradient(135deg, #ffffff, #f0fdf4) !important;
}

.ux-focus-assignment,
.ux-focus-evaluation,
.ux-focus-workarea {
  border-color: var(--guide-green-border) !important;
  background: linear-gradient(145deg, #ffffff, var(--guide-green-soft)) !important;
  box-shadow:
    0 0 0 3px rgba(16, 185, 129, 0.10),
    0 16px 34px rgba(16, 185, 129, 0.10) !important;
}

.ux-focus-assignment::before,
.ux-focus-evaluation::before {
  background: linear-gradient(90deg, var(--guide-green), var(--guide-green-2)) !important;
}

.ux-focus-success {
  border-color: var(--guide-green-border) !important;
  background: linear-gradient(145deg, #ffffff, #f0fdf4) !important;
  box-shadow:
    0 0 0 3px rgba(16, 185, 129, 0.13),
    0 18px 38px rgba(16, 185, 129, 0.14) !important;
}

.ux-focus-success::before {
  background: linear-gradient(90deg, #16a34a, #86efac) !important;
}

.ux-focus-muted {
  opacity: 0.96;
}

/* In practice, the assignment panel is always a guided area; both directions pulse identically. */
body.practice-mode .ux-focus-assignment {
  border-color: var(--guide-violet-border) !important;
  background:
    radial-gradient(circle at 95% 10%, rgba(124, 58, 237, 0.11), transparent 30%),
    linear-gradient(145deg, #ffffff, var(--guide-violet-soft)) !important;
  box-shadow:
    0 0 0 3px rgba(124, 58, 237, 0.12),
    0 18px 38px rgba(99, 102, 241, 0.13) !important;
}

body.practice-mode .ux-focus-assignment::before {
  background: linear-gradient(90deg, var(--guide-violet-2), var(--guide-violet)) !important;
}

.assignment-row--given-pulse {
  border-color: #a78bfa !important;
  background:
    radial-gradient(circle at 96% 50%, rgba(124, 58, 237, 0.23), transparent 34%),
    linear-gradient(135deg, #ffffff, #f4f3ff) !important;
  animation: v12AssignmentRowPulse 0.82s ease-in-out infinite !important;
}

.assignment-select--given-pulse {
  border-color: #7c3aed !important;
  color: #4c1d95 !important;
  background: #ffffff !important;
  animation: v12AssignmentSelectPulse 0.82s ease-in-out infinite !important;
}

@keyframes v12AssignmentRowPulse {
  0%, 100% {
    transform: translateY(0);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0), 0 8px 18px rgba(15,23,42,0.04);
  }
  50% {
    transform: translateY(-2px);
    box-shadow: 0 0 0 8px rgba(124, 58, 237, 0.20), 0 18px 34px rgba(124, 58, 237, 0.18);
  }
}

@keyframes v12AssignmentSelectPulse {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: scale(1.09);
    box-shadow: 0 0 0 8px rgba(124, 58, 237, 0.28);
  }
}

/* Solution -> assignment now uses the same violet-blue palette, never orange. */
body.practice-solution-to-assignment #graphSection .workspace-block--primary::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary::before,
body.practice-solution-to-assignment .practice-type-help--task::before {
  background: linear-gradient(135deg, var(--guide-violet-2), var(--guide-violet)) !important;
  box-shadow: 0 0 0 4px rgba(124, 58, 237, 0.12) !important;
}

body.practice-solution-to-assignment #graphSection .workspace-block--primary #messageDisplay,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary #subsetSumStepMessage,
body.practice-solution-to-assignment .practice-type-help--task {
  border-color: var(--guide-violet-border) !important;
  background: linear-gradient(135deg, #ffffff, var(--guide-violet-soft)) !important;
  color: #3730a3 !important;
}

/* Subset Sum practice selection: lavender means working selection, not error. */
#subsetSumTable tr.subset-sum-user-selected td {
  background: linear-gradient(135deg, #f8f7ff, #eef2ff) !important;
  color: #3730a3 !important;
  border-bottom-color: rgba(199, 210, 254, 0.9) !important;
  font-weight: 850 !important;
}

#subsetSumTable tr.subset-sum-user-selected td:first-child {
  box-shadow: inset 3px 0 0 var(--guide-violet), inset 0 1px 0 rgba(255,255,255,0.92) !important;
}

#subsetSumTable tr.subset-sum-user-selected input[type="checkbox"] {
  accent-color: var(--guide-violet) !important;
}

/* Fancy but calmer controls. */
.primary-action-btn,
button[onclick="generateInputs()"],
.mode-btn.is-active,
.practice-type-btn.is-active,
.step-buttons button.is-current-action,
.subset-sum-controls button.is-current-action {
  background: linear-gradient(135deg, #2563eb, #7c3aed) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 12px 26px rgba(99, 102, 241, 0.24) !important;
}

.new-practice-instance-btn {
  background: linear-gradient(135deg, #6366f1, #8b5cf6) !important;
  color: #ffffff !important;
  border-color: transparent !important;
  box-shadow: 0 12px 28px rgba(99, 102, 241, 0.24) !important;
}

.new-practice-instance-btn.is-success-pulse:not(:disabled) {
  animation: v12NewInstancePulse 0.82s ease-in-out infinite !important;
}

@keyframes v12NewInstancePulse {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 12px 28px rgba(99, 102, 241, 0.24), 0 0 0 0 rgba(99, 102, 241, 0);
  }
  50% {
    transform: translateY(-2px) scale(1.055);
    box-shadow: 0 18px 36px rgba(99, 102, 241, 0.34), 0 0 0 10px rgba(99, 102, 241, 0.22);
  }
}

@media (max-width: 700px) {
  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    padding: 12px !important;
  }

  #graphSection .workspace-block--primary::before,
  #subsetSumSection .workspace-block--primary::before {
    top: 11px !important;
    left: 11px !important;
    width: 8px !important;
    height: 8px !important;
  }

  #graphSection .workspace-block--primary .workspace-block__title,
  #subsetSumSection .workspace-block--primary .workspace-block__title {
    margin-left: 15px !important;
  }

  #graphSection .workspace-block--primary #messageDisplay,
  #subsetSumSection .workspace-block--primary #subsetSumStepMessage {
    min-height: 42px !important;
    font-size: 12.5px !important;
    line-height: 1.4 !important;
  }
}

@media (prefers-reduced-motion: reduce) {
  .assignment-row--given-pulse,
  .assignment-select--given-pulse,
  .new-practice-instance-btn.is-success-pulse:not(:disabled) {
    animation: none !important;
  }
}

/* v13 guidance refinement: only green the panel the user should inspect now. */
#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: "" !important;
  width: 5px !important;
  height: 5px !important;
  flex: 0 0 5px !important;
  border-radius: 999px !important;
  background: #16a34a !important;
  box-shadow: 0 0 0 2px rgba(22, 163, 74, 0.12) !important;
}

body.practice-mode #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #subsetSumSection .workspace-block--primary .workspace-block__title::before,
body.practice-solution-to-assignment #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary .workspace-block__title::before {
  background: #16a34a !important;
  box-shadow: 0 0 0 2px rgba(22, 163, 74, 0.12) !important;
}

#cy.ux-focus-workarea,
#subsetSumTable.ux-focus-workarea {
  border-color: inherit !important;
  background: inherit !important;
  box-shadow: inherit !important;
}

/* v14: targeted guidance fix + calmer practice motion.
   The guidance lifecycle now owns active-card state; these styles keep the
   active cue clear without making Step Explanation look permanently selected. */
#graphSection .graph-workspace__right .workspace-block.is-active-card,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card {
  border-color: #86efac !important;
  background: linear-gradient(145deg, #ffffff, #f7fef9) !important;
  box-shadow:
    0 0 0 2px rgba(34, 197, 94, 0.08),
    0 12px 26px rgba(21, 128, 61, 0.08) !important;
  transform: none !important;
}

#graphSection .graph-workspace__right .workspace-block.is-active-card::after,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card::after {
  top: 14px !important;
  bottom: 14px !important;
  width: 2px !important;
  background: #22c55e !important;
  opacity: 0.65 !important;
}

#graphSection .workspace-block--primary,
#subsetSumSection .workspace-block--primary {
  padding: 12px 13px !important;
  border-width: 1px !important;
  background: linear-gradient(145deg, #ffffff, #f8fbff) !important;
  box-shadow: 0 10px 22px rgba(15, 23, 42, 0.055) !important;
}

#graphSection .workspace-block--primary::before,
#subsetSumSection .workspace-block--primary::before,
#graphSection .workspace-block--primary.ux-focus-step::before,
#subsetSumSection .workspace-block--primary.ux-focus-step::before,
body.practice-mode #graphSection .workspace-block--primary::before,
body.practice-mode #subsetSumSection .workspace-block--primary::before,
body.practice-solution-to-assignment #graphSection .workspace-block--primary::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary::before {
  display: none !important;
}

#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  margin: 0 0 8px !important;
  padding: 0 !important;
  border: 0 !important;
  background: transparent !important;
  color: #64748b !important;
  font-size: 10px !important;
  letter-spacing: 0.10em !important;
  line-height: 1.2 !important;
  box-shadow: none !important;
}

#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #subsetSumSection .workspace-block--primary .workspace-block__title::before,
body.practice-solution-to-assignment #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-solution-to-assignment #subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: "" !important;
  width: 4px !important;
  height: 4px !important;
  flex: 0 0 4px !important;
  border-radius: 999px !important;
  background: #94a3b8 !important;
  box-shadow: none !important;
}

#graphSection .workspace-block--primary.ux-focus-step .workspace-block__title::before,
#subsetSumSection .workspace-block--primary.ux-focus-step .workspace-block__title::before {
  background: #22c55e !important;
}

.ux-focus-step {
  border-color: #86efac !important;
  background: linear-gradient(145deg, #ffffff, #f8fff9) !important;
  box-shadow:
    0 0 0 2px rgba(34, 197, 94, 0.07),
    0 12px 26px rgba(21, 128, 61, 0.08) !important;
}

.ux-focus-step #messageDisplay,
.ux-focus-step #subsetSumStepMessage,
#graphSection .workspace-block--primary.ux-focus-step #messageDisplay,
#subsetSumSection .workspace-block--primary.ux-focus-step #subsetSumStepMessage {
  border-color: #dcfce7 !important;
  background: linear-gradient(135deg, #ffffff, #fbfffc) !important;
  box-shadow: inset 0 1px 0 rgba(255,255,255,0.96), 0 6px 14px rgba(15, 23, 42, 0.035) !important;
}

.ux-focus-success {
  border-color: #86efac !important;
  background: linear-gradient(145deg, #ffffff, #f0fdf4) !important;
  box-shadow:
    0 0 0 2px rgba(34, 197, 94, 0.09),
    0 14px 30px rgba(21, 128, 61, 0.10) !important;
}

/* Softer variable/assignment pulse: visible, but not urgent. */
.formula-pulse {
  animation: formulaFocusPulse 0.72s ease-out !important;
}

@keyframes formulaFocusPulse {
  0% { transform: scale(1); }
  45% { transform: scale(1.025); }
  100% { transform: scale(1); }
}

.formula-variable.is-active {
  box-shadow: 0 0 0 2px rgba(37, 99, 235, 0.08) !important;
  transform: none !important;
}

.assignment-row--given-pulse {
  border-color: #c7d2fe !important;
  background: linear-gradient(135deg, #ffffff, #f8f7ff) !important;
  animation: v14GentleAssignmentRowPulse 1.65s ease-in-out infinite !important;
}

.assignment-select--given-pulse {
  border-color: #a5b4fc !important;
  color: #3730a3 !important;
  background: #ffffff !important;
  animation: v14GentleAssignmentSelectPulse 1.65s ease-in-out infinite !important;
}

@keyframes v14GentleAssignmentRowPulse {
  0%, 100% {
    transform: translateY(0);
    box-shadow: 0 0 0 0 rgba(99, 102, 241, 0), 0 5px 12px rgba(15,23,42,0.035);
  }
  50% {
    transform: translateY(-0.5px);
    box-shadow: 0 0 0 3px rgba(99, 102, 241, 0.08), 0 7px 16px rgba(99, 102, 241, 0.055);
  }
}

@keyframes v14GentleAssignmentSelectPulse {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(99, 102, 241, 0);
  }
  50% {
    transform: scale(1.015);
    box-shadow: 0 0 0 3px rgba(99, 102, 241, 0.10);
  }
}

@media (max-width: 700px) {
  #graphSection .workspace-block--primary .workspace-block__title,
  #subsetSumSection .workspace-block--primary .workspace-block__title {
    margin-left: 0 !important;
  }
}

/* v15: construction guidance correction + calmer variable pulse.
   Construction: before final step -> Step Explanation; final step -> Truth Assignment + Clause Evaluation. */
.formula-pulse {
  animation: formulaFocusPulseV15 0.85s ease-out !important;
}

@keyframes formulaFocusPulseV15 {
  0% { transform: scale(1); }
  45% { transform: scale(1.012); }
  100% { transform: scale(1); }
}

.formula-variable.is-active {
  box-shadow: 0 0 0 1px rgba(37, 99, 235, 0.06) !important;
  transform: none !important;
}

.assignment-row--given-pulse {
  animation: v15GentleAssignmentRowPulse 2.4s ease-in-out infinite !important;
}

.assignment-select--given-pulse {
  animation: v15GentleAssignmentSelectPulse 2.4s ease-in-out infinite !important;
}

@keyframes v15GentleAssignmentRowPulse {
  0%, 100% {
    transform: none;
    box-shadow: 0 0 0 0 rgba(99, 102, 241, 0), 0 4px 10px rgba(15,23,42,0.025);
  }
  50% {
    transform: none;
    box-shadow: 0 0 0 2px rgba(99, 102, 241, 0.055), 0 5px 12px rgba(99, 102, 241, 0.035);
  }
}

@keyframes v15GentleAssignmentSelectPulse {
  0%, 100% {
    transform: none;
    box-shadow: 0 0 0 0 rgba(99, 102, 241, 0);
  }
  50% {
    transform: none;
    box-shadow: 0 0 0 2px rgba(99, 102, 241, 0.07);
  }
}


/* v16: title consistency + unified clause evaluation panels. */
#graphSection .workspace-block--primary .workspace-block__title,
#subsetSumSection .workspace-block--primary .workspace-block__title {
  display: flex !important;
  align-items: center !important;
  gap: 7px !important;
  margin: 0 0 10px !important;
  padding: 0 !important;
  border: 0 !important;
  background: transparent !important;
  color: #334155 !important;
  font-size: 11px !important;
  font-weight: 900 !important;
  letter-spacing: 0.08em !important;
  line-height: 1.2 !important;
  text-transform: uppercase !important;
  box-shadow: none !important;
}

#graphSection .workspace-block--primary .workspace-block__title::before,
#subsetSumSection .workspace-block--primary .workspace-block__title::before,
#graphSection .workspace-block--primary.ux-focus-step .workspace-block__title::before,
#subsetSumSection .workspace-block--primary.ux-focus-step .workspace-block__title::before,
body.practice-mode #graphSection .workspace-block--primary .workspace-block__title::before,
body.practice-mode #subsetSumSection .workspace-block--primary .workspace-block__title::before {
  content: none !important;
  display: none !important;
}

#assignmentDisplay,
#subsetAssignmentArea,
#graphSection #assignmentDisplay,
#subsetSumSection #subsetAssignmentArea {
  width: 100% !important;
  box-sizing: border-box !important;
  max-height: none !important;
  overflow: visible !important;
  margin: 0 !important;
  padding: 12px !important;
  border-radius: 14px !important;
  background: linear-gradient(135deg, rgba(255, 255, 255, 0.96), rgba(248, 250, 252, 0.96)) !important;
  border: 1px solid #dbeafe !important;
  border-left: 0 !important;
  color: #334155 !important;
  font-size: 13px !important;
  line-height: 1.6 !important;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.95), 0 6px 16px rgba(15, 23, 42, 0.04) !important;
}

#assignmentDisplay:empty,
#subsetAssignmentArea:empty,
#graphSection #assignmentDisplay:empty,
#subsetSumSection #subsetAssignmentArea:empty {
  display: flex !important;
  align-items: center !important;
  justify-content: center !important;
  min-height: 64px !important;
  border: 1px dashed #cbd5e1 !important;
  background: linear-gradient(135deg, #f8fafc, #f1f7ff) !important;
  box-shadow: none !important;
}

#assignmentDisplay::-webkit-scrollbar,
#subsetAssignmentArea::-webkit-scrollbar {
  display: none !important;
}

/* even calmer variable pulse */
.formula-pulse {
  animation: formulaFocusPulseV16 1.05s ease-out !important;
}

@keyframes formulaFocusPulseV16 {
  0% { transform: scale(1); }
  45% { transform: scale(1.006); }
  100% { transform: scale(1); }
}

.formula-variable.is-active {
  box-shadow: 0 0 0 1px rgba(37, 99, 235, 0.04) !important;
  transform: none !important;
}


/* v17: stronger visual guidance requested by user. */
.formula-pulse {
  animation: formulaFocusPulseV17Strong 0.72s ease-in-out infinite !important;
  border-color: #1d4ed8 !important;
  background: #dbeafe !important;
  color: #172554 !important;
  box-shadow: 0 0 0 0 rgba(37, 99, 235, 0.70), 0 10px 22px rgba(37, 99, 235, 0.22) !important;
  will-change: transform, box-shadow;
}

@keyframes formulaFocusPulseV17Strong {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(37, 99, 235, 0.70), 0 8px 18px rgba(37, 99, 235, 0.20);
  }
  50% {
    transform: scale(1.16);
    box-shadow: 0 0 0 9px rgba(37, 99, 235, 0.22), 0 16px 34px rgba(37, 99, 235, 0.36);
  }
}

.assignment-row--given-pulse {
  border-color: #6d28d9 !important;
  background:
    radial-gradient(circle at 96% 48%, rgba(124, 58, 237, 0.34), transparent 34%),
    linear-gradient(135deg, #ffffff, #ede9fe) !important;
  animation: assignmentRowPulseV17Strong 0.78s ease-in-out infinite !important;
  will-change: transform, box-shadow;
}

.assignment-select--given-pulse {
  border-color: #5b21b6 !important;
  background: #ffffff !important;
  color: #3b0764 !important;
  animation: assignmentSelectPulseV17Strong 0.78s ease-in-out infinite !important;
  will-change: transform, box-shadow;
}

@keyframes assignmentRowPulseV17Strong {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0.72), 0 7px 16px rgba(76, 29, 149, 0.12);
  }
  50% {
    transform: translateY(-3px) scale(1.045);
    box-shadow: 0 0 0 9px rgba(124, 58, 237, 0.23), 0 18px 34px rgba(76, 29, 149, 0.30);
  }
}

@keyframes assignmentSelectPulseV17Strong {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0.70);
  }
  50% {
    transform: scale(1.10);
    box-shadow: 0 0 0 7px rgba(124, 58, 237, 0.25);
  }
}

#graphSection .graph-workspace__right .workspace-block.is-active-card,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card,
.ux-focus-success {
  border-color: #16a34a !important;
  border-width: 2px !important;
  background: linear-gradient(145deg, #ffffff, #dcfce7) !important;
  box-shadow:
    0 0 0 4px rgba(34, 197, 94, 0.20),
    0 20px 42px rgba(21, 128, 61, 0.22) !important;
}

#graphSection .graph-workspace__right .workspace-block.is-active-card::before,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card::before,
.ux-focus-success::before {
  height: 5px !important;
  background: linear-gradient(90deg, #15803d, #22c55e, #86efac) !important;
  opacity: 1 !important;
}

#graphSection .graph-workspace__right .workspace-block.is-active-card::after,
#subsetSumSection .graph-workspace__right .workspace-block.is-active-card::after {
  width: 5px !important;
  background: #16a34a !important;
  opacity: 1 !important;
  box-shadow: 0 0 12px rgba(22, 163, 74, 0.55) !important;
}

body.practice-mode #assignmentDisplay:empty::before,
body.practice-mode #subsetAssignmentArea:empty::before {
  content: "" !important;
  display: none !important;
}

body.practice-mode .clause-evaluation-placeholder {
  display: none !important;
}

body.practice-mode #assignmentDisplay:empty,
body.practice-mode #subsetAssignmentArea:empty {
  min-height: 64px;
}

.graph-controls-card .result-banner,
.subset-controls-card .result-banner,
.graph-controls-card .result-explanation-banner,
.subset-controls-card .result-explanation-banner {
  margin-top: 10px;
  margin-bottom: 0;
  width: 100%;
  box-sizing: border-box;
}

.graph-controls-card .result-banner,
.subset-controls-card .result-banner {
  text-align: left;
}

@media (prefers-reduced-motion: reduce) {
  .formula-pulse,
  .assignment-row--given-pulse,
  .assignment-select--given-pulse {
    animation: none !important;
    box-shadow: 0 0 0 4px rgba(37, 99, 235, 0.20) !important;
  }
}

/* v18: calmer but clearly visible pulse, and feedback outside graph controls. */
.formula-pulse {
  animation: formulaFocusPulseV18 1.05s ease-in-out infinite !important;
  border-color: #1d4ed8 !important;
  background: #dbeafe !important;
  color: #172554 !important;
  box-shadow: 0 8px 18px rgba(37, 99, 235, 0.18), 0 0 0 0 rgba(37, 99, 235, 0) !important;
  will-change: transform, box-shadow;
}

@keyframes formulaFocusPulseV18 {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 8px 18px rgba(37, 99, 235, 0.18), 0 0 0 0 rgba(37, 99, 235, 0);
  }
  50% {
    transform: scale(1.045);
    box-shadow: 0 12px 26px rgba(37, 99, 235, 0.28), 0 0 0 6px rgba(37, 99, 235, 0.20);
  }
}

.assignment-row--given-pulse {
  border-color: #6d28d9 !important;
  background: linear-gradient(135deg, #ffffff, #f5f3ff) !important;
  animation: assignmentRowPulseV18 1.05s ease-in-out infinite !important;
  will-change: transform, box-shadow;
}

.assignment-select--given-pulse {
  border-color: #5b21b6 !important;
  background: #ffffff !important;
  color: #3b0764 !important;
  animation: assignmentSelectPulseV18 1.05s ease-in-out infinite !important;
  will-change: transform, box-shadow;
}

@keyframes assignmentRowPulseV18 {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 7px 16px rgba(76, 29, 149, 0.10), 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: translateY(-2px) scale(1.035);
    box-shadow: 0 12px 24px rgba(76, 29, 149, 0.20), 0 0 0 7px rgba(124, 58, 237, 0.18);
  }
}

@keyframes assignmentSelectPulseV18 {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: scale(1.045);
    box-shadow: 0 0 0 6px rgba(124, 58, 237, 0.20);
  }
}

.result-feedback-slot {
  display: flex;
  flex-direction: column;
  gap: 10px;
  width: 100%;
  box-sizing: border-box;
}

.result-feedback-slot:empty {
  display: none;
}

.result-feedback-slot .result-banner,
.result-feedback-slot .result-explanation-banner {
  width: 100%;
  box-sizing: border-box;
  margin: 0 0 0 0 !important;
}

.graph-controls-card .result-banner,
.subset-controls-card .result-banner,
.graph-controls-card .result-explanation-banner,
.subset-controls-card .result-explanation-banner {
  margin-top: 0;
}

@media (prefers-reduced-motion: reduce) {
  .formula-pulse,
  .assignment-row--given-pulse,
  .assignment-select--given-pulse {
    animation: none !important;
    transform: none !important;
  }
}

/* v19: softer visible pulses and feedback/explanations above controls. */
.formula-pulse {
  animation: formulaFocusPulseV19 1.25s ease-in-out infinite !important;
  border-color: #2563eb !important;
  background: #dbeafe !important;
  color: #172554 !important;
  box-shadow: 0 6px 14px rgba(37, 99, 235, 0.14), 0 0 0 0 rgba(37, 99, 235, 0) !important;
}

@keyframes formulaFocusPulseV19 {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 6px 14px rgba(37, 99, 235, 0.14), 0 0 0 0 rgba(37, 99, 235, 0);
  }
  50% {
    transform: translateY(-1px) scale(1.018);
    box-shadow: 0 9px 18px rgba(37, 99, 235, 0.20), 0 0 0 4px rgba(37, 99, 235, 0.14);
  }
}

.assignment-row--given-pulse {
  animation: assignmentRowPulseV19 1.25s ease-in-out infinite !important;
  border-color: #7c3aed !important;
  background: linear-gradient(135deg, #ffffff, #f5f3ff) !important;
}

.assignment-select--given-pulse {
  animation: assignmentSelectPulseV19 1.25s ease-in-out infinite !important;
  border-color: #6d28d9 !important;
  background: #ffffff !important;
  color: #3b0764 !important;
}

@keyframes assignmentRowPulseV19 {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 6px 14px rgba(76, 29, 149, 0.10), 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: translateY(-1px) scale(1.018);
    box-shadow: 0 9px 18px rgba(76, 29, 149, 0.17), 0 0 0 4px rgba(124, 58, 237, 0.13);
  }
}

@keyframes assignmentSelectPulseV19 {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: scale(1.018);
    box-shadow: 0 0 0 4px rgba(124, 58, 237, 0.14);
  }
}

#graphResultFeedbackSlot,
#subsetResultFeedbackSlot {
  align-self: stretch;
  margin: 0 0 2px 0;
}

#graphResultFeedbackSlot .result-banner,
#graphResultFeedbackSlot .result-explanation-banner,
#subsetResultFeedbackSlot .result-banner,
#subsetResultFeedbackSlot .result-explanation-banner,
#subsetResultFeedbackSlot #subsetSumMessage {
  width: 100%;
  box-sizing: border-box;
  margin: 0 !important;
}

#subsetResultFeedbackSlot #subsetSumMessage:empty {
  display: none;
}

/* These must never sit visually inside the controls card. */
.graph-controls-card > .result-banner,
.graph-controls-card > .result-explanation-banner,
.subset-controls-card > .result-banner,
.subset-controls-card > .result-explanation-banner,
.subset-controls-card > #subsetSumMessage {
  display: none !important;
}

/* v21: calmer visible assignment pulses + hard practice placeholder reset. */
.assignment-row--given-pulse {
  animation: assignmentRowPulseV21Calm 1.45s ease-in-out infinite !important;
  border-color: #7c3aed !important;
  background: linear-gradient(135deg, #ffffff, #f5f3ff) !important;
  box-shadow: 0 5px 12px rgba(76, 29, 149, 0.10) !important;
}

.assignment-select--given-pulse {
  animation: assignmentSelectPulseV21Calm 1.45s ease-in-out infinite !important;
  border-color: #7c3aed !important;
  background: #ffffff !important;
  color: #3b0764 !important;
}

@keyframes assignmentRowPulseV21Calm {
  0%, 100% {
    transform: translateY(0) scale(1);
    box-shadow: 0 5px 12px rgba(76, 29, 149, 0.10), 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: translateY(-1px) scale(1.01);
    box-shadow: 0 8px 16px rgba(76, 29, 149, 0.15), 0 0 0 3px rgba(124, 58, 237, 0.12);
  }
}

@keyframes assignmentSelectPulseV21Calm {
  0%, 100% {
    transform: scale(1);
    box-shadow: 0 0 0 0 rgba(124, 58, 237, 0);
  }
  50% {
    transform: scale(1.01);
    box-shadow: 0 0 0 3px rgba(124, 58, 237, 0.12);
  }
}

body.practice-mode #assignmentDisplay:empty,
body.practice-mode #subsetAssignmentArea:empty {
  display: block !important;
  min-height: 64px !important;
  border: 1px solid #dbeafe !important;
  background: #ffffff !important;
  box-shadow: none !important;
}

body.practice-mode #assignmentDisplay:empty::before,
body.practice-mode #subsetAssignmentArea:empty::before,
body.practice-mode #graphAssignmentArea:empty::before,
body.practice-mode #subsetAssignmentArea:empty::before {
  content: none !important;
  display: none !important;
}

/* Compact mobile workspace + collapsible info cards */
.workspace-block__title {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
  padding-right: 34px;
}

.workspace-block__title-label {
  min-width: 0;
}

.workspace-collapse-toggle {
  position: absolute;
  top: -4px;
  right: -2px;
  width: 28px;
  height: 28px;
  min-width: 0 !important;
  padding: 0 !important;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  background: #eff6ff !important;
  color: #1e3a8a !important;
  border: 1px solid #bfdbfe !important;
  box-shadow: none !important;
  font-size: 16px;
  line-height: 1;
  transform: none !important;
}

.workspace-collapse-toggle:hover:not(:disabled) {
  background: #dbeafe !important;
  color: #172554 !important;
  border-color: #60a5fa !important;
  box-shadow: 0 4px 10px rgba(37, 99, 235, 0.12) !important;
  transform: none !important;
}

.workspace-block.is-collapsed .workspace-block__content {
  display: none !important;
}

.workspace-block.is-collapsed .workspace-collapse-toggle span {
  transform: rotate(180deg);
}

.workspace-block__content {
  min-width: 0;
}

#assignmentDisplay,
#subsetAssignmentArea {
  scrollbar-width: thin;
  scrollbar-color: #94a3b8 #eef2f7;
}

#assignmentDisplay::-webkit-scrollbar,
#subsetAssignmentArea::-webkit-scrollbar {
  width: 8px;
}

#assignmentDisplay::-webkit-scrollbar-track,
#subsetAssignmentArea::-webkit-scrollbar-track {
  background: #eef2f7;
  border-radius: 999px;
}

#assignmentDisplay::-webkit-scrollbar-thumb,
#subsetAssignmentArea::-webkit-scrollbar-thumb {
  background: #94a3b8;
  border-radius: 999px;
}

@media (max-width: 700px) {
  #graphSection,
  #subsetSumSection {
    padding: 10px;
    margin-top: 12px !important;
  }

  #graphSection > h3,
  #subsetSumSection > h3 {
    margin-bottom: 8px;
    font-size: 16px;
  }

  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    gap: 8px;
    margin-top: 6px;
  }

  #graphSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__right {
    gap: 7px;
  }

  #graphSection .graph-workspace__right {
    grid-template-columns: 1fr 1fr;
  }

  #subsetSumSection .graph-workspace__right {
    display: grid;
    grid-template-columns: 1fr 1fr;
    width: 100%;
    min-width: 0;
  }

  #subsetSumSection .workspace-formula {
    grid-column: 1;
  }

  #subsetSumSection .workspace-block--primary {
    grid-column: 2;
  }

  #subsetSumSection .clause-evaluation-panel {
    grid-column: 1;
  }

  #subsetSumSection .assignment-panel {
    grid-column: 2;
  }

  .workspace-formula,
  .assignment-panel,
  .clause-evaluation-panel,
  .graph-controls-card,
  .subset-controls-card,
  .workspace-block {
    padding: 8px;
    border-radius: 12px;
  }

  .workspace-block__title {
    margin-bottom: 6px !important;
    font-size: 9px !important;
    padding-right: 27px;
  }

  .workspace-collapse-toggle {
    top: -5px;
    right: -4px;
    width: 24px;
    height: 24px;
    font-size: 14px;
  }

  #workspaceFormulaText,
  #subsetWorkspaceFormulaText,
  #messageDisplay,
  #subsetSumStepMessage,
  #assignmentDisplay,
  #subsetAssignmentArea {
    font-size: 11px !important;
    line-height: 1.35;
    padding: 8px !important;
    border-radius: 10px;
  }

  #graphStepCounter,
  #subsetSumStepCounter {
    font-size: 11px;
    padding: 4px 7px;
    margin-bottom: 6px;
  }

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 118px !important;
  }

  #cy {
    height: clamp(220px, 36vh, 300px) !important;
    min-height: 220px !important;
    max-height: 300px !important;
  }

  #subsetSumTable {
    max-height: 300px;
    overflow: auto;
    font-size: 11px;
    margin-top: 6px;
  }

  #subsetSumTable th,
  #subsetSumTable td {
    padding: 6px;
  }

  .formula-variable {
    font-size: 10px;
    padding: 3px 6px;
  }

  .assignment-controls {
    gap: 6px;
  }

  .assignment-row {
    padding: 6px;
    gap: 6px;
  }

  .assignment-select,
  .assignment-row select {
    min-width: 64px;
    padding: 5px 24px 5px 8px;
    font-size: 11px;
  }
}

@media (max-width: 430px) {
  #cy {
    height: 220px !important;
    min-height: 220px !important;
    max-height: 220px !important;
  }

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 105px !important;
  }
}

/* v20: mobile usability polish after phone screenshots */
.workspace-block {
  position: relative;
}

.workspace-block__title {
  min-height: 24px;
  padding-right: 42px !important;
}

.workspace-collapse-toggle {
  top: 8px !important;
  right: 8px !important;
  z-index: 5;
}

.clause-evaluation-panel .workspace-block__content {
  max-height: 250px;
  overflow-y: auto;
  overflow-x: hidden;
  padding-right: 4px;
  scrollbar-width: thin;
  scrollbar-color: #94a3b8 #eef2f7;
}

.clause-evaluation-panel .workspace-block__content::-webkit-scrollbar {
  width: 8px;
}

.clause-evaluation-panel .workspace-block__content::-webkit-scrollbar-track {
  background: #eef2f7;
  border-radius: 999px;
}

.clause-evaluation-panel .workspace-block__content::-webkit-scrollbar-thumb {
  background: #94a3b8;
  border-radius: 999px;
}

#graphAssignmentArea,
#assignmentDisplay,
#subsetAssignmentArea {
  max-height: inherit;
  overflow-y: auto !important;
}

.result-explanation-banner {
  position: relative;
  padding-right: 42px !important;
}

.result-explanation-toggle {
  position: absolute;
  top: 8px;
  right: 8px;
  z-index: 5;
  width: 26px;
  height: 26px;
  min-width: 0 !important;
  padding: 0 !important;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  background: #ecfdf5 !important;
  color: #14532d !important;
  border: 1px solid #86efac !important;
  box-shadow: none !important;
  font-size: 14px;
  line-height: 1;
  transform: none !important;
}

.result-explanation-toggle:hover:not(:disabled) {
  background: #dcfce7 !important;
  border-color: #22c55e !important;
  box-shadow: 0 4px 10px rgba(34, 197, 94, 0.14) !important;
  transform: none !important;
}

.result-explanation-banner.is-collapsed .result-explanation-content {
  display: none !important;
}

.result-explanation-banner.is-collapsed .result-explanation-toggle span {
  transform: rotate(180deg);
}

@media (max-width: 700px) {
  #graphSection,
  #subsetSumSection {
    padding: 8px !important;
    margin-top: 8px !important;
  }

  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    gap: 6px !important;
    margin-top: 4px !important;
  }

  #graphSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__right {
    gap: 6px !important;
  }

  .workspace-formula,
  .assignment-panel,
  .clause-evaluation-panel,
  .workspace-block--primary,
  .graph-controls-card,
  .subset-controls-card,
  .workspace-block {
    padding: 6px 7px !important;
    border-radius: 12px !important;
  }

  .workspace-block__title {
    min-height: 22px;
    margin-bottom: 3px !important;
    padding-right: 32px !important;
    font-size: 8.5px !important;
    letter-spacing: 0.07em !important;
    line-height: 1.15;
  }

  .workspace-collapse-toggle {
    top: 5px !important;
    right: 5px !important;
    width: 22px !important;
    height: 22px !important;
    font-size: 13px !important;
  }

  #assignmentControls,
  #subsetAssignmentControls,
  .assignment-controls {
    gap: 4px !important;
  }

  #assignmentControls .assignment-row,
  #subsetAssignmentControls .assignment-row,
  .assignment-row {
    padding: 4px 5px !important;
    gap: 5px !important;
    border-radius: 10px !important;
    grid-template-columns: auto minmax(58px, 1fr) !important;
  }

  #assignmentControls label,
  #subsetAssignmentControls label,
  .assignment-label,
  .assignment-row label {
    font-size: 11px !important;
  }

  #assignmentControls select,
  #subsetAssignmentControls select,
  .assignment-select,
  .assignment-row select {
    min-width: 58px !important;
    padding: 4px 20px 4px 7px !important;
    font-size: 11px !important;
  }

  #workspaceFormulaText,
  #subsetWorkspaceFormulaText,
  #messageDisplay,
  #subsetSumStepMessage,
  #assignmentDisplay,
  #subsetAssignmentArea {
    font-size: 10.5px !important;
    line-height: 1.25 !important;
    padding: 6px !important;
  }

  #graphStepCounter,
  #subsetSumStepCounter {
    font-size: 10.5px !important;
    padding: 3px 6px !important;
    margin-bottom: 4px !important;
  }

  .clause-evaluation-panel .workspace-block__content {
    max-height: 132px !important;
  }

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 126px !important;
  }

  #cy {
    height: clamp(190px, 31vh, 250px) !important;
    min-height: 190px !important;
    max-height: 250px !important;
  }

  #subsetSumTable {
    max-height: 245px !important;
    overflow: auto !important;
    font-size: 10.5px !important;
  }

  #subsetSumTable th,
  #subsetSumTable td {
    padding: 5px !important;
  }

  .result-explanation-banner {
    padding-right: 34px !important;
  }

  .result-explanation-toggle {
    top: 6px;
    right: 6px;
    width: 22px;
    height: 22px;
    font-size: 13px;
  }
}

@media (max-width: 430px) {
  .clause-evaluation-panel .workspace-block__content {
    max-height: 118px !important;
  }

  #assignmentDisplay,
  #subsetAssignmentArea {
    max-height: 112px !important;
  }

  #cy {
    height: 195px !important;
    min-height: 195px !important;
    max-height: 195px !important;
  }
}

/* v21: final mobile fixes from screenshots - keep assignment/evaluation visible and arrows pinned to card edge */
.workspace-block {
  position: relative !important;
}

.workspace-block > .workspace-block__title {
  position: static !important;
  width: 100% !important;
  max-width: 100% !important;
  box-sizing: border-box !important;
  padding-right: 38px !important;
}

#graphSection .workspace-block--primary > .workspace-block__title,
#subsetSumSection .workspace-block--primary > .workspace-block__title {
  position: static !important;
  width: 100% !important;
  max-width: 100% !important;
  box-sizing: border-box !important;
  padding-right: 38px !important;
}

.workspace-block__title-label {
  display: block !important;
  min-width: 0 !important;
  max-width: calc(100% - 34px) !important;
  overflow: hidden !important;
  text-overflow: ellipsis !important;
  white-space: nowrap !important;
}

.workspace-collapse-toggle {
  position: absolute !important;
  top: 6px !important;
  right: 8px !important;
  z-index: 20 !important;
}

.clause-evaluation-panel > .workspace-block__content {
  max-height: min(260px, 34vh) !important;
  overflow-y: auto !important;
  overflow-x: hidden !important;
  overscroll-behavior: contain !important;
  padding-right: 5px !important;
  scrollbar-width: thin !important;
  scrollbar-color: #94a3b8 #eef2f7 !important;
}

.clause-evaluation-panel > .workspace-block__content::-webkit-scrollbar {
  width: 8px !important;
}

.clause-evaluation-panel > .workspace-block__content::-webkit-scrollbar-track {
  background: #eef2f7 !important;
  border-radius: 999px !important;
}

.clause-evaluation-panel > .workspace-block__content::-webkit-scrollbar-thumb {
  background: #94a3b8 !important;
  border-radius: 999px !important;
}

@media (max-width: 700px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: grid !important;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) !important;
    gap: 8px !important;
    align-items: start !important;
  }

  #graphSection .graph-workspace__right,
  #graphSection .graph-workspace__left,
  #subsetSumSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__left {
    display: contents !important;
  }

  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 2 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection #assignmentPanel,
  #subsetSumSection #subsetAssignmentPanel {
    grid-column: 1 !important;
    grid-row: 2 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    grid-column: 2 !important;
    grid-row: 2 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection #graphResultBanner,
  #subsetSumSection #subsetResultBanner {
    grid-column: 1 / -1 !important;
    grid-row: 3 !important;
    margin-bottom: 0 !important;
  }

  #graphSection #graphResultExplanation,
  #subsetSumSection #subsetResultExplanation {
    grid-column: 1 / -1 !important;
    grid-row: 4 !important;
    margin-bottom: 0 !important;
  }

  #graphSection #cy {
    grid-column: 1 / -1 !important;
    grid-row: 5 !important;
  }

  #subsetSumSection #subsetSumTable {
    grid-column: 1 / -1 !important;
    grid-row: 5 !important;
    display: block !important;
    width: 100% !important;
    max-height: 255px !important;
    overflow: auto !important;
    white-space: nowrap !important;
  }

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    grid-column: 1 / -1 !important;
    grid-row: 6 !important;
    width: 100% !important;
    max-width: 100% !important;
    box-sizing: border-box !important;
    margin-top: 0 !important;
  }

  .workspace-block > .workspace-block__title,
  #graphSection .workspace-block--primary > .workspace-block__title,
  #subsetSumSection .workspace-block--primary > .workspace-block__title {
    padding-right: 30px !important;
  }

  .workspace-collapse-toggle {
    top: 5px !important;
    right: 6px !important;
  }

  .clause-evaluation-panel > .workspace-block__content {
    max-height: 118px !important;
    overflow-y: auto !important;
  }
}

@media (max-width: 430px) {
  .clause-evaluation-panel > .workspace-block__content {
    max-height: 110px !important;
  }
}

/* v22: requested mobile order + matching explanation arrows */
.result-explanation-toggle {
  background: #eff6ff !important;
  color: #1e3a8a !important;
  border: 1px solid #bfdbfe !important;
  box-shadow: none !important;
}

.result-explanation-toggle:hover:not(:disabled) {
  background: #dbeafe !important;
  color: #172554 !important;
  border-color: #60a5fa !important;
  box-shadow: 0 4px 10px rgba(37, 99, 235, 0.12) !important;
  transform: none !important;
}

@media (max-width: 700px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: grid !important;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) !important;
    gap: 8px !important;
    align-items: start !important;
  }

  #graphSection .graph-workspace__right,
  #graphSection .graph-workspace__left,
  #subsetSumSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__left {
    display: contents !important;
  }

  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1 !important;
    grid-row: 1 !important;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 2 !important;
    grid-row: 1 !important;
  }

  #graphSection #cy {
    grid-column: 1 / -1 !important;
    grid-row: 2 !important;
    width: 100% !important;
  }

  #subsetSumSection #subsetSumTable {
    grid-column: 1 / -1 !important;
    grid-row: 2 !important;
    width: 100% !important;
    display: block !important;
    overflow: auto !important;
    white-space: nowrap !important;
    max-height: 255px !important;
  }

  #graphSection #assignmentPanel,
  #subsetSumSection #subsetAssignmentPanel {
    grid-column: 1 !important;
    grid-row: 3 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    grid-column: 2 !important;
    grid-row: 3 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection #graphResultFeedbackSlot,
  #subsetSumSection #subsetResultFeedbackSlot {
    grid-column: 1 / -1 !important;
    grid-row: 4 !important;
    width: 100% !important;
    min-width: 0 !important;
  }

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    grid-column: 1 / -1 !important;
    grid-row: 5 !important;
    width: 100% !important;
    max-width: 100% !important;
    margin-top: 0 !important;
    box-sizing: border-box !important;
  }
}

/* v23: exact requested mobile order
   Row 1: current formula | step explanation
   Row 2: graph / subset table area
   Row 3: controls | result feedback
   Row 4: truth assignment | clause evaluation
*/
@media (max-width: 700px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    display: grid !important;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) !important;
    gap: 8px !important;
    align-items: start !important;
  }

  #graphSection .graph-workspace__right,
  #graphSection .graph-workspace__left,
  #subsetSumSection .graph-workspace__right,
  #subsetSumSection .graph-workspace__left {
    display: contents !important;
  }

  #graphSection .workspace-formula,
  #subsetSumSection .workspace-formula {
    grid-column: 1 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection .workspace-block--primary,
  #subsetSumSection .workspace-block--primary {
    grid-column: 2 !important;
    grid-row: 1 !important;
    min-width: 0 !important;
  }

  #graphSection #cy {
    grid-column: 1 / -1 !important;
    grid-row: 2 !important;
    width: 100% !important;
  }

  #subsetSumSection #subsetSumTable {
    grid-column: 1 / -1 !important;
    grid-row: 2 !important;
    display: block !important;
    width: 100% !important;
    overflow: auto !important;
    white-space: nowrap !important;
    max-height: 255px !important;
  }

  #graphSection .graph-controls-card,
  #subsetSumSection .subset-controls-card {
    grid-column: 1 !important;
    grid-row: 3 !important;
    align-self: stretch !important;
    width: 100% !important;
    max-width: 100% !important;
    box-sizing: border-box !important;
    margin-top: 0 !important;
  }

  #graphSection #graphResultFeedbackSlot,
  #subsetSumSection #subsetResultFeedbackSlot {
    grid-column: 2 !important;
    grid-row: 3 !important;
    align-self: stretch !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
    margin: 0 !important;
  }

  #graphSection #assignmentPanel,
  #subsetSumSection #subsetAssignmentPanel {
    grid-column: 1 !important;
    grid-row: 4 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection .clause-evaluation-panel,
  #subsetSumSection .clause-evaluation-panel {
    grid-column: 2 !important;
    grid-row: 4 !important;
    align-self: start !important;
    width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #graphSection .step-buttons,
  #subsetSumSection .subset-sum-controls {
    display: grid !important;
    grid-template-columns: 1fr 1fr !important;
    gap: 6px !important;
    width: 100% !important;
  }

  #graphSection .step-buttons button,
  #subsetSumSection .subset-sum-controls button {
    width: 100% !important;
    min-width: 0 !important;
    padding-left: 6px !important;
    padding-right: 6px !important;
  }

  #graphResultFeedbackSlot:empty,
  #subsetResultFeedbackSlot:empty {
    display: none !important;
  }
}

@media (max-width: 430px) {
  #graphSection .graph-workspace,
  #subsetSumSection .graph-workspace {
    gap: 7px !important;
  }
}

/* v24: requested practice mobile order + no clear button + compact attempts HUD.
   Practice mobile order:
   Row 1: current formula | step explanation
   Row 2: graph / subset table
   Row 3: new instance | attempts left
   Row 4: truth assignment | clause evaluation
*/
#practiceControls button[onclick="clearSelection()"] {
  display: none !important;
}

@media (max-width: 700px) {
  body.practice-mode #graphSection .graph-controls-card,
  body.practice-mode #subsetSumSection .subset-controls-card,
  body.practice-mode #graphResultFeedbackSlot,
  body.practice-mode #subsetResultFeedbackSlot {
    display: none !important;
  }

  body.practice-mode #graphSection #practiceInstanceControl,
  body.practice-mode #subsetSumSection #practiceInstanceControl {
    grid-column: 1 !important;
    grid-row: 3 !important;
    align-self: stretch !important;
    justify-self: stretch !important;
    width: 100% !important;
    max-width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
    display: flex !important;
    margin: 0 !important;
  }

  body.practice-mode #graphSection #practiceLivesHud,
  body.practice-mode #subsetSumSection #practiceLivesHud {
    grid-column: 2 !important;
    grid-row: 3 !important;
    align-self: stretch !important;
    justify-self: stretch !important;
    width: 100% !important;
    max-width: 100% !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
    margin: 0 !important;
  }

  body.practice-mode #graphSection #assignmentPanel,
  body.practice-mode #subsetSumSection #subsetAssignmentPanel {
    grid-column: 1 !important;
    grid-row: 4 !important;
  }

  body.practice-mode #graphSection .clause-evaluation-panel,
  body.practice-mode #subsetSumSection .clause-evaluation-panel {
    grid-column: 2 !important;
    grid-row: 4 !important;
  }

  body.practice-mode .new-practice-instance-btn {
    width: 100% !important;
    min-width: 0 !important;
    height: 100% !important;
    min-height: 42px !important;
    padding: 8px 7px !important;
    font-size: 11px !important;
    white-space: normal !important;
    line-height: 1.15 !important;
  }

  body.practice-mode .practice-lives-hud.is-visible {
    display: flex !important;
    flex-direction: column !important;
    align-items: flex-start !important;
    justify-content: center !important;
    gap: 5px !important;
    padding: 8px 9px !important;
    border-radius: 12px !important;
    border: 1px solid #dbeafe !important;
    background: rgba(255, 255, 255, 0.95) !important;
    box-shadow: 0 8px 18px rgba(15, 23, 42, 0.06) !important;
    overflow: hidden !important;
  }

  body.practice-mode .practice-lives-hud__meta {
    display: flex !important;
    width: 100% !important;
    min-width: 0 !important;
    flex-direction: column !important;
    align-items: flex-start !important;
    gap: 2px !important;
  }

  body.practice-mode .practice-lives-hud__label {
    display: none !important;
  }

  body.practice-mode .practice-lives-hud__count {
    display: block !important;
    width: 100% !important;
    min-width: 0 !important;
    white-space: normal !important;
    overflow-wrap: anywhere !important;
    font-size: 10.5px !important;
    line-height: 1.15 !important;
    color: #334155 !important;
  }

  body.practice-mode .practice-lives-hud__dots {
    display: flex !important;
    flex-wrap: wrap !important;
    gap: 4px !important;
    max-width: 100% !important;
    min-width: 0 !important;
  }

  body.practice-mode .practice-life-dot {
    width: 9px !important;
    height: 9px !important;
    flex: 0 0 9px !important;
  }
}

@media (max-width: 430px) {
  body.practice-mode .practice-lives-hud__count {
    font-size: 9.5px !important;
  }

  body.practice-mode .new-practice-instance-btn {
    font-size: 10px !important;
    padding: 7px 5px !important;
  }
}


/* v25: cleaner mobile problem/practice choices + stable practice controls layout. */
@media (max-width: 700px) {
  .reduction-actions {
    display: grid !important;
    grid-template-columns: 1fr 1fr !important;
    gap: 8px !important;
    width: 100% !important;
    max-width: 100% !important;
    box-sizing: border-box !important;
    padding: 8px !important;
    border-radius: 16px !important;
    background: linear-gradient(135deg, #ffffff, #f8fbff) !important;
    border: 1px solid #dbeafe !important;
  }

  .reduction-actions > br {
    display: none !important;
  }

  .reduction-actions button[onclick^="buildGraph"],
  .reduction-actions button[onclick="generateSubsetSum()"] {
    width: 100% !important;
    min-width: 0 !important;
    margin: 0 !important;
    padding: 10px 8px !important;
    min-height: 44px !important;
    line-height: 1.15 !important;
    white-space: normal !important;
    text-align: center !important;
  }

  #practiceTypeGroup.practice-type-group {
    display: grid !important;
    grid-template-columns: 1fr 1fr !important;
    gap: 8px !important;
    width: 100% !important;
    max-width: 100% !important;
    padding: 10px !important;
    box-sizing: border-box !important;
    align-items: stretch !important;
  }

  #practiceTypeGroup .mode-label,
  #practiceTypeGroup #practiceTypeHelp.practice-type-help {
    grid-column: 1 / -1 !important;
  }

  #practiceTypeGroup .practice-type-btn {
    width: 100% !important;
    min-width: 0 !important;
    min-height: 44px !important;
    padding: 10px 8px !important;
    line-height: 1.15 !important;
    white-space: normal !important;
  }

  .mode-group:not(#practiceTypeGroup) {
    display: grid !important;
    grid-template-columns: auto 1fr 1fr !important;
    gap: 8px !important;
    width: 100% !important;
    align-items: center !important;
  }

  .mode-group:not(#practiceTypeGroup) .mode-btn {
    width: 100% !important;
    min-width: 0 !important;
  }

  body.practice-mode .practice-lives-hud.is-visible {
    overflow: visible !important;
  }

  body.practice-mode .practice-lives-hud__meta {
    gap: 4px !important;
  }

  body.practice-mode .practice-lives-hud__dots {
    order: 2 !important;
    width: 100% !important;
    justify-content: flex-start !important;
    position: static !important;
  }

  body.practice-mode .practice-lives-hud__count {
    order: 1 !important;
    padding-right: 0 !important;
  }

  #practiceControls,
  #subsetSumPracticeControls {
    display: none !important;
  }
}

@media (max-width: 430px) {
  .reduction-actions,
  #practiceTypeGroup.practice-type-group {
    gap: 7px !important;
    padding: 8px !important;
  }

  .reduction-actions button[onclick^="buildGraph"],
  .reduction-actions button[onclick="generateSubsetSum()"],
  #practiceTypeGroup .practice-type-btn {
    font-size: 11.5px !important;
    min-height: 42px !important;
  }
}


/* v28: mobile choices fill their grid cells cleanly. */
@media (max-width: 700px) {
  .reduction-actions {
    display: grid !important;
    grid-template-columns: repeat(2, minmax(0, 1fr)) !important;
    justify-items: stretch !important;
    align-items: stretch !important;
    column-gap: 8px !important;
    row-gap: 8px !important;
  }

  .reduction-actions button[onclick^="buildGraph"],
  .reduction-actions button[onclick="generateSubsetSum()"] {
    display: flex !important;
    align-items: center !important;
    justify-content: center !important;
    justify-self: stretch !important;
    width: 100% !important;
    max-width: none !important;
    min-width: 0 !important;
    box-sizing: border-box !important;
  }

  #practiceTypeGroup.practice-type-group {
    grid-template-columns: repeat(2, minmax(0, 1fr)) !important;
    justify-items: stretch !important;
  }

  #practiceTypeGroup .practice-type-btn {
    display: flex !important;
    align-items: center !important;
    justify-content: center !important;
    justify-self: stretch !important;
    width: 100% !important;
    max-width: none !important;
    box-sizing: border-box !important;
  }
}


/* v16: hide practice-type choices unless practice mode is active. */
#practiceTypeGroup[hidden],
body:not(.practice-mode) #practiceTypeGroup.practice-type-group,
body.learning-mode #practiceTypeGroup.practice-type-group {
  display: none !important;
}

@media (max-width: 700px) {
  body.practice-mode #practiceTypeGroup.practice-type-group:not([hidden]) {
    display: grid !important;
    grid-template-columns: repeat(2, minmax(0, 1fr)) !important;
  }
}

/* v32: Subset Sum clause evaluation has the same scroll behavior as graph reductions. */
#graphSection #assignmentDisplay,
#subsetSumSection #subsetAssignmentArea {
  max-height: min(260px, 34vh) !important;
  overflow-y: auto !important;
  overflow-x: hidden !important;
  scrollbar-width: thin !important;
  scrollbar-color: #94a3b8 #eef2f7 !important;
}

#graphSection #assignmentDisplay::-webkit-scrollbar,
#subsetSumSection #subsetAssignmentArea::-webkit-scrollbar {
  display: block !important;
  width: 8px !important;
}

#graphSection #assignmentDisplay::-webkit-scrollbar-track,
#subsetSumSection #subsetAssignmentArea::-webkit-scrollbar-track {
  background: #eef2f7 !important;
  border-radius: 999px !important;
}

#graphSection #assignmentDisplay::-webkit-scrollbar-thumb,
#subsetSumSection #subsetAssignmentArea::-webkit-scrollbar-thumb {
  background: #94a3b8 !important;
  border-radius: 999px !important;
}