/* Proof page — On the Undecidability of Instruction Boundaries */

.proof-page {
  max-width: 760px;
  margin: 0 auto;
  padding: 2rem 1.5rem 3rem;
}

.proof-kicker {
  font-size: 0.85rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: rgba(0, 0, 0, 0.55);
  margin-bottom: 0.4rem;
}

.proof-text h1 {
  font-size: 1.85rem;
  font-weight: 700;
  margin: 0 0 1rem;
  line-height: 1.25;
}

.proof-meta {
  font-size: 0.85rem;
  color: rgba(0, 0, 0, 0.55);
  margin-bottom: 2rem;
  border-left: 2px solid rgba(0, 0, 0, 0.15);
  padding-left: 0.9rem;
}

.proof-status-note {
  margin-top: 0.6rem;
  font-style: italic;
  line-height: 1.5;
  color: rgba(0, 0, 0, 0.7);
}

.proof-status-note strong {
  font-style: normal;
  color: rgba(0, 0, 0, 0.85);
}

.proof-body {
  font-family: 'Iowan Old Style', 'Palatino Linotype', Palatino, 'Book Antiqua', Georgia, serif;
  font-size: 1.05rem;
  line-height: 1.7;
  margin: 2rem 0;
}

.proof-body h2 {
  font-size: 1.4rem;
  margin-top: 2.5rem;
  margin-bottom: 0.8rem;
  font-weight: 600;
}

.proof-body h3 {
  font-size: 1.15rem;
  margin-top: 1.8rem;
  margin-bottom: 0.6rem;
  font-weight: 600;
}

.proof-body p {
  margin: 0.8rem 0;
}

.proof-body ul,
.proof-body ol {
  margin: 0.8rem 0;
  padding-left: 1.5rem;
}

.proof-body li {
  margin: 0.3rem 0;
}

.proof-body blockquote {
  margin: 1rem 0;
  padding: 0.5rem 1rem;
  border-left: 3px solid rgba(0, 0, 0, 0.2);
  font-style: italic;
  color: rgba(0, 0, 0, 0.75);
  background: rgba(0, 0, 0, 0.02);
}

.proof-equation {
  text-align: center;
  font-size: 1.2rem;
  margin: 1.5rem 0;
  font-family: 'Iowan Old Style', 'Palatino Linotype', Palatino, Georgia, serif;
  font-style: italic;
}

.proof-table {
  width: 100%;
  border-collapse: collapse;
  margin: 1.2rem 0;
  font-size: 0.95rem;
  font-family: system-ui, -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
}

.proof-table th,
.proof-table td {
  border: 1px solid rgba(0, 0, 0, 0.15);
  padding: 0.6rem 0.8rem;
  text-align: left;
  vertical-align: top;
}

.proof-table th {
  background: rgba(0, 0, 0, 0.04);
  font-weight: 600;
  font-size: 0.9rem;
}

.proof-references {
  font-size: 0.95rem;
  list-style: none;
  padding-left: 0;
}

.proof-references li {
  margin-bottom: 0.7rem;
  padding-left: 1.5rem;
  text-indent: -1.5rem;
}

@media (max-width: 640px) {
  .proof-table {
    font-size: 0.85rem;
  }
  .proof-table th,
  .proof-table td {
    padding: 0.4rem 0.5rem;
  }
}

.proof-coda {
  margin-top: 2.5rem;
  padding-top: 1.5rem;
  font-size: 0.95rem;
  color: rgba(0, 0, 0, 0.7);
}

.proof-coda > p:first-child {
  font-style: italic;
  color: rgba(0, 0, 0, 0.6);
}

.proof-invitation {
  margin: 1.5rem 0;
  padding: 1rem 1.2rem;
  background: rgba(76, 125, 74, 0.05);
  border-left: 3px solid rgba(76, 125, 74, 0.3);
}

.proof-invitation strong {
  color: rgba(0, 0, 0, 0.85);
}

.proof-license {
  font-size: 0.85rem;
  color: rgba(0, 0, 0, 0.55);
  margin-top: 1.5rem;
}

.proof-license .note {
  font-style: italic;
  margin-top: 0.3rem;
}

.proof-license a {
  color: rgba(0, 0, 0, 0.7);
  text-decoration: underline;
}