/* ── Proof checker result highlighting ───────────────────────────── */

.pt-check-error > .proof-conclusion {
  background: rgba(239, 68, 68, 0.08);
}
.pt-check-error > .proof-inference .proof-line {
  background: #ef4444;
  height: 2.5px;
}
.pt-check-incomplete > .proof-conclusion {
  background: rgba(59, 130, 246, 0.08);
}
.pt-check-incomplete > .proof-inference .proof-line {
  background: #3b82f6;
}
.pt-check-valid > .proof-conclusion {
  background: rgba(34, 197, 94, 0.06);
}
.pt-check-valid > .proof-inference .proof-line {
  background: #22c55e;
}

/* ── Inline error/incomplete tooltips (shown below nodes) ────────── */

.pt-check-tooltip {
  position: relative;
  z-index: 10;
  max-width: 400px;
  padding: 5px 10px;
  font-size: 0.78em;
  line-height: 1.4;
  border-radius: 5px;
  white-space: normal;
  text-align: left;
  margin: 2px auto 0;
  animation: pt-tooltip-fade 0.25s ease;
}

.pt-check-tooltip-error {
  background: #fef2f2;
  color: #991b1b;
  border: 1px solid #fecaca;
}

.pt-check-tooltip-incomplete {
  background: #eff6ff;
  color: #1e40af;
  border: 1px solid #bfdbfe;
}

@keyframes pt-tooltip-fade {
  from { opacity: 0; transform: translateY(-3px); }
  to { opacity: 1; transform: translateY(0); }
}

/* ── Summary banner ─────────────────────────────────────────────── */

.pt-check-summary {
  margin: 8px 0 0;
  padding: 8px 16px;
  border-radius: 6px;
  font-size: 0.88em;
  font-weight: 500;
  display: flex;
  align-items: flex-start;
  gap: 8px;
  flex-wrap: wrap;
}
.pt-check-summary-valid {
  background: #f0fdf4;
  color: #166534;
  border: 1px solid #bbf7d0;
}
.pt-check-summary-error {
  background: #fef2f2;
  color: #991b1b;
  border: 1px solid #fecaca;
}
.pt-check-summary-incomplete {
  background: #eff6ff;
  color: #1e40af;
  border: 1px solid #bfdbfe;
}
.pt-check-summary .pt-check-icon {
  font-size: 1.1em;
  flex-shrink: 0;
}

/* Error list in summary when many errors */
.pt-check-error-list {
  margin: 4px 0 2px;
  padding-left: 18px;
  list-style: disc;
  font-weight: 400;
  width: 100%;
}
.pt-check-error-list li {
  margin-bottom: 2px;
}

/* ── Check button ───────────────────────────────────────────────── */

.pt-check-btn {
  display: inline-block;
  padding: 7px 18px;
  font-size: 0.85em;
  font-weight: 500;
  font-family: inherit;
  color: #fff;
  background: #4f46e5;
  border: 1px solid #4f46e5;
  border-radius: 6px;
  cursor: pointer;
  transition: all 0.15s ease;
  margin: 8px 4px 0 0;
}
.pt-check-btn:hover {
  background: #4338ca;
  border-color: #4338ca;
}
.pt-check-btn-loading {
  opacity: 0.7;
  cursor: wait;
}

/* ── Green flash overlay for correct proofs ─────────────────────── */

.pt-success-flash {
  position: fixed;
  inset: 0;
  z-index: 99999;
  background: rgba(34, 197, 94, 0);
  pointer-events: none;
  transition: background 0.35s ease;
}
.pt-success-flash-active {
  background: rgba(34, 197, 94, 0.12);
}
.pt-success-flash-out {
  background: rgba(34, 197, 94, 0);
  transition: background 0.5s ease;
}

/* ── Red flash overlay for error proofs ──────────────────────────── */

.pt-error-flash {
  position: fixed;
  inset: 0;
  z-index: 99999;
  background: rgba(239, 68, 68, 0);
  pointer-events: none;
  transition: background 0.2s ease;
}
.pt-error-flash-active {
  background: rgba(239, 68, 68, 0.10);
}
.pt-error-flash-out {
  background: rgba(239, 68, 68, 0);
  transition: background 0.4s ease;
}