body {
  margin: 0;
  padding: 0;
  overflow: hidden;
  background: white;
  color: black;
  font-family: sans-serif;
}

.container {
  width: 100vw;
  display: flex;
  flex-direction: column;
  align-items: center;
}

#landing {
  position: absolute;
  top: 0;
  left: 0;
  width: 100vw;
  height: 100vh;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  background: #f5f5f5;
  z-index: 000;
}

#landing h1 {
  font-size: 2.8rem;
  margin-bottom: 2rem;
  font-weight: normal;
}

#landing button {
  padding: 1rem 2rem;
  font-size: 1.5rem;
  cursor: pointer;
  background: white;
  color: black;
  border: 1.5px solid black;
  border-radius: 4px;
  margin-top: 1.5rem;
}

#landing .top-border {
  position: absolute;
  top: 80px;
  width: 100%;
  border: none;
  border-top: 1px dashed black;
}

#landing .bottom-border {
  position: absolute;
  bottom: 80px;
  width: 100%;
  border: none;
  border-top: 1px dashed black;
}

#main {
  display: none;
}

#controls {
  width: 100%;
  display: flex;
  justify-content: center;
  flex-wrap: wrap;
  gap: 1rem;
  padding: 1rem 0;
}

#controls button {
  padding: 0.6rem 1.2rem;
  font-size: 1rem;
  border: 1px solid black;
  border-radius: 4px;
  background: white;
  color: black;
  cursor: pointer;
}

#animation-wrapper {
  display: flex;
  flex-direction: column;
  align-items: center;
  width: 100%;
  padding-top: 60px;
}

pre#trace {
  margin: 0;
  white-space: pre;
  display: flex;
  justify-content: center;
  align-items: center;
  height: 70vh;
  width: 100vw;
}

#caption {
    position: absolute;
    bottom: 52px; 
    width: 100%;
    text-align: center;
    font-size: 1.5em;
}

.divider {
    position: absolute;
    top: 72px;
    width: 100%;
    margin: 0.5rem auto 0 auto;
    border: none;
    border-top: 1px dashed black;
}

.caption-divider {
    position: absolute;
    bottom: 20px;
    width: 100%;
    border: none;
    border-top: 1px dashed black;
}