/* css styles */

/* Center Alectryon-rendered Lean proofs and keep them within the page. */
.alectryon-center {
  display: flex;
  justify-content: center;
}

.alectryon-center .alectryon-io {
  margin: 1.5rem auto;
  width: fit-content;
  max-width: 100%;
}

/* Let wide proof lines scroll horizontally instead of overflowing the page. */
.alectryon-center .alectryon-io .alectryon-code {
  overflow-x: auto;
}