body {
  font-family: 'IBM Plex Mono', monospace;
}

.title {
  margin-top: 5vh;
  margin-bottom: 6vh;
  text-align: center;
  font-family: 'IBM Plex Mono', monospace;
}

.title a {
  text-decoration: none;
  color: black;
}

.title a:hover {
  text-decoration: underline;
  color: #AAA;
}

article {
  width: 70vw;
  margin-right: auto;
  margin-left: auto;
}

article p {
  text-align: justify;
}

article h1 {

}

pre {
  background-color: lightgrey;
  border-radius: 0.5em;
  display: flex;
  overflow-x: auto;
}

pre > code {
  margin-left: 2em;
  margin-top: 1em;
  margin-bottom: 1em;
}

article > footer > div {
  height: 25vh;
}

/*
footer {
  width: 70vw;
  margin-top: 6vh;
  margin-right: auto;
  margin-left: auto;
  font-size: 1.3vh;
}

footer span a {
  color: #FF8608;
}
*/