body {
  background-color: #0000AA;
  color: #FFFFFF;
  font-family: monospace;
  margin: 0;
  padding: 40px 10vw;
  font-size: 14px;
  box-sizing: border-box;
}

.ascii-art {
  font-size: 2vw;
  line-height: 1.2;
  white-space: pre;
  font-family: monospace;
}

@media (min-width: 768px) {
  .ascii-art {
    font-size: 14px;
  }
}

.menu-text {
  margin: 20px 0;
  white-space: pre;
}

.menu-text span {
  cursor: pointer;
}

.menu-text span:hover {
  text-decoration: underline;
}

#content {
  margin-top: 30px;
  text-align: justify;
  max-width: 100%;
  word-break: break-word;
}

.hidden {
  display: none;
}

.section pre {
  white-space: pre-wrap;
  padding: 10px 0;
  overflow-wrap: break-word;
  word-break: break-word;
}