/* Keep the introductory slides' headings above their vertically centered bodies. */
.reveal section[data-state="formalization"],
.reveal section[data-state="lean-mathlib"],
.reveal section[data-state="heine-cantor"],
.reveal section[data-state="annals"],
.reveal section[data-state="trust"] {
  display: flex !important;
  flex-direction: column;
  justify-content: center;
  padding-top: 12vh;
  padding-bottom: 6vh;
}

.reveal section[data-state="formalization"] h2,
.reveal section[data-state="lean-mathlib"] h2,
.reveal section[data-state="heine-cantor"] h2,
.reveal section[data-state="annals"] h2,
.reveal section[data-state="summer"] h2,
.reveal section[data-state="llm-limits"] h2,
.reveal section[data-state="trust"] h2 {
  position: absolute;
  top: 2vh;
  left: 3vw;
  right: 3vw;
  margin: 0;
}

.reveal section[data-state="llm-limits"] {
  display: grid !important;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  align-items: center;
  gap: 4vw;
  padding: 12vh 5vw 6vh;
}

.reveal p.llm-limit {
  display: flex;
  align-items: center;
  justify-content: center;
  box-sizing: border-box;
  min-height: 36vh;
  margin: 0;
  padding: 5vh 4vw;
  border: 1px solid #d7e3e9;
  border-top: 5px solid var(--lean-blue);
  border-radius: 12px;
  background: #f5f9fb;
  color: var(--lean-blue);
  font-size: 1.25em;
  font-weight: 600;
  line-height: 1.35;
  text-align: center;
  text-wrap: balance;
  box-shadow: 0 8px 24px rgb(15 23 42 / 5%);
}

.reveal section[data-state="summer"] {
  display: grid !important;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1.25fr);
  grid-template-rows: auto auto 1fr;
  column-gap: 4vw;
  row-gap: 4vh;
  padding-top: 16vh;
  padding-bottom: 9vh;
}

.reveal .summer-lead {
  grid-column: 1 / -1;
  margin: 0;
  font-size: 1.05em;
  line-height: 1.4;
}

.reveal .summer-examples-heading {
  grid-column: 1 / -1;
  margin: 0;
  font-size: 0.9em;
}

.reveal .summer-examples {
  grid-column: 1;
  grid-row: 3;
  align-self: center;
  margin: 0;
  padding-left: 1.1em;
  font-size: 1.15em;
  font-weight: 500;
  line-height: 1.35;
  color: var(--lean-blue);
}

.reveal .summer-examples li + li {
  margin-top: 1em;
}

.reveal .summer-screenshot {
  grid-column: 2;
  grid-row: 3;
  align-self: center;
  margin: 0;
  line-height: 0;
}

.reveal .summer-screenshot img {
  display: block;
  width: 100%;
  max-width: none;
  max-height: 52vh;
  margin: 0;
  border: 1px solid var(--border-code);
  border-radius: 8px;
  box-shadow: 0 8px 30px rgb(15 23 42 / 8%);
}

.reveal .summer-screenshot a {
  display: block;
  margin-top: 3vh;
  font-size: 0.52em;
  line-height: 1.4;
  text-align: center;
}

.reveal section[data-state="annals"] {
  gap: 3vh;
}

.reveal p.annals-pair {
  display: flex;
  justify-content: center;
  margin: 0;
  line-height: 0;
}

.reveal .annals-pair img {
  display: block;
  width: auto;
  height: 35vh;
  max-width: 90vw;
  max-height: none;
  margin: 0;
  object-fit: contain;
  border: 0;
  border-radius: 0;
  box-shadow: none;
}

.reveal p.annals-retracted {
  position: relative;
  align-self: center;
  width: max-content;
  max-width: 90vw;
}

.reveal .retraction-stamp {
  position: absolute;
  top: 50%;
  right: 2%;
  padding: 0.38em 0.7em;
  border: 3px solid #b92332;
  border-radius: 6px;
  background: #fff5f5;
  color: #b92332;
  font-size: clamp(18px, 3.2vh, 34px);
  font-weight: 800;
  line-height: 1.15;
  letter-spacing: 0.02em;
  white-space: nowrap;
  box-shadow: 0 3px 8px rgb(80 15 20 / 18%);
  transform: rotate(-6deg);
}

.reveal section[data-state="formalization"] .spaced-list,
.reveal section[data-state="lean-mathlib"] .spaced-list,
.reveal section[data-state="trust"] .spaced-list {
  margin-top: 0.8em;
}

.reveal section[data-state="formalization"] .spaced-list li,
.reveal section[data-state="lean-mathlib"] .spaced-list li,
.reveal section[data-state="trust"] .spaced-list li {
  margin-bottom: 1.2em;
}

.reveal section[data-state="formalization"] .spaced-list li:last-child,
.reveal section[data-state="lean-mathlib"] .spaced-list li:last-child,
.reveal section[data-state="trust"] .spaced-list li:last-child {
  margin-bottom: 0;
}

.reveal .math-proof {
  font-size: 0.8em;
}

.reveal .math-proof p,
.reveal .math-proof ul {
  font-size: 1em;
  line-height: 1.45;
  margin-top: 0.4em;
  margin-bottom: 0.4em;
}

.reveal .math-proof li {
  margin-bottom: 0.65em;
}

.reveal .math-proof code.math.display .katex-display {
  margin: 0.6em 0;
}

.reveal .math-proof p.mathlib-context {
  margin-top: 0.8em;
  color: var(--text-muted);
  font-size: 0.85em;
}