body {
  padding: 2rem;
}
#p0,
#p01,
#p02 {
  background-color: #000000;
  color: white;
  font-size: 1.5rem;
  font-family: Georgia, "Times New Roman", Times, serif;
  width: fit-content;
  max-width: 60rem;
}

main a,
span {
  font-size: 1.2rem;
  font-family: monospace;
}
a {
  font-size: 1.3rem;
  border: 1px solid;
  padding: 2px;
  color: black;
}
main pre {
  width: fit-content;
  display: inline-block;
}
main div {
  display: flex;
  align-items: center;
  gap: 1rem;
}
#pre_code {
  margin-top: 16rem;
}