.logic-detail {
  margin-top: 12px;
  border: 1px solid var(--line);
  border-radius: 14px;
  min-height: 44px;
  padding: 12px;
  background: var(--surface);
}

.logic-detail strong {
  display: block;
  margin-bottom: 8px;
  color: var(--ink);
}

.logic-detail ol {
  margin: 0;
  padding-left: 22px;
  display: grid;
  gap: 8px;
}

.logic-detail li {
  color: var(--muted);
  line-height: 1.45;
}

.logic-placement {
  display: inline-block;
  margin-right: 6px;
  color: var(--ink);
  font-weight: 800;
}

.technique-line {
  margin: 0 0 7px;
  color: var(--accent-strong);
  font-size: 0.84rem;
  font-weight: 750;
}

.contradiction-detail {
  margin: 12px 0;
  border: 1px solid #fecaca;
  border-radius: 14px;
  min-height: 44px;
  padding: 12px;
  background: #fff7f7;
  color: var(--bad-ink);
}

.contradiction-detail strong {
  display: block;
  margin-bottom: 6px;
  color: var(--bad-ink);
}

.contradiction-detail p {
  margin: 0 0 8px;
}

.contradiction-detail ul {
  margin: 0;
  padding-left: 18px;
}

.guess-help {
  margin-top: 14px;
  display: grid;
  gap: 14px;
}

.guess-candidates,
.guess-combinations {
  border-top: 1px solid var(--line);
  padding-top: 12px;
}

.guess-candidates strong,
.guess-combinations strong {
  display: block;
  margin-bottom: 8px;
  color: var(--ink);
}

.guess-candidates ul {
  margin: 0;
  padding-left: 18px;
}

.combo-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(96px, 1fr));
  gap: 10px;
  max-height: 360px;
  overflow: auto;
  padding: 2px 2px 6px;
}

.combo-option {
  display: block;
  width: 100%;
  border: 1px solid var(--line);
  border-radius: 12px;
  padding: 8px;
  background: var(--surface);
  color: var(--ink);
  text-align: left;
  cursor: pointer;
}

.combo-option:hover {
  border-color: var(--accent);
  transform: translateY(-1px);
}

.combo-option.is-success {
  border-color: var(--line);
  background: var(--surface);
}

.combo-option.is-success:hover {
  border-color: var(--accent);
  transform: translateY(-1px);
}

.combo-option.is-active-choice {
  border-color: var(--guess-ink);
  background: var(--guess);
  color: var(--guess-ink);
  box-shadow: none;
}

.combo-option.is-active-choice:hover {
  transform: none;
}

.combo-option.is-reviewed,
.combo-option.is-reviewed:hover,
.combo-option:disabled {
  background: var(--surface-soft);
  border-color: var(--line);
  color: var(--muted);
  cursor: not-allowed;
  opacity: 0.72;
  transform: none;
}

.combo-option.is-reviewed .mini-cube,
.combo-option:disabled .mini-cube {
  opacity: 0.72;
}

.combo-option > strong {
  display: block;
  font-size: 0.78rem;
  margin-bottom: 6px;
}

.mini-cell.is-combo,
.mini-cube-cell.is-combo {
  background: var(--guess);
  color: var(--guess-ink);
}

.walkthrough-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 12px;
  align-items: start;
}

.walkthrough-header p:last-child {
  margin: 8px 0 0;
  color: var(--muted);
  line-height: 1.5;
}

.walkthrough-timer {
  align-self: start;
  justify-self: end;
  min-width: 74px;
  padding: 7px 10px;
  border: 1px solid var(--line);
  border-radius: 999px;
  background: var(--surface);
  color: var(--ink);
  font-variant-numeric: tabular-nums;
  font-weight: 750;
  text-align: center;
  letter-spacing: 0.02em;
}

.walkthrough-timer.is-paused {
  color: var(--muted);
  background: var(--surface-soft);
}

.walkthrough-timer.is-step-time {
  border-color: var(--accent);
}

.walkthrough-controls {
  grid-column: 1 / -1;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.walkthrough-controls .button {
  flex: 1 1 auto;
}

.step-detail {
  min-height: 138px;
  margin-top: 16px;
  border: 1px solid var(--line);
  border-radius: 18px;
  padding: 16px;
  background: var(--surface-soft);
}

.step-detail p {
  margin: 10px 0 0;
  line-height: 1.55;
}

.step-detail ul {
  margin: 10px 0 0;
  padding-left: 18px;
  color: var(--muted);
}

.timeline {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  max-height: 230px;
  overflow: auto;
  padding: 16px 2px 2px;
}

.timeline button {
  flex: 0 0 auto;
  min-width: 50px;
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 8px 10px;
  background: var(--surface);
  color: var(--muted);
  font-weight: 900;
}

.timeline button.is-current {
  background: var(--accent);
  border-color: var(--accent);
  color: #fff;
}

.timeline button.is-guess {
  background: var(--guess);
  color: var(--guess-ink);
}

.timeline button.is-rewind,
.timeline button.is-branch_failed,
.timeline button.is-manual_clear {
  background: var(--remove);
  border-color: var(--remove-border);
  color: var(--remove-ink);
}

.timeline button.is-logical_fill,
.timeline button.is-branch_restore,
.timeline button.is-manual_entry {
  background: var(--good);
  color: var(--good-ink);
}

.timeline button.is-manual_start,
.timeline button.is-solved {
  /* Manual replay start and final solved states intentionally use the same neutral/current styling as solver initial-state steps. */
}

.timeline button.is-hint {
  background: var(--guess);
  color: var(--guess-ink);
}