@font-face {
  font-family: "dejavu"; /*a name to be used later*/
  src: url("./fonts/DejaVuSansMono.ttf"); /*URL to font*/
}

body {
  padding: 40px;
  width: 800px;
  margin: 0 auto;
  font-family: "B612 Mono", monospace;
  font-family: "dejavu", monospace;
  font-size: 16px;
  background-color: #073642;
  color: #fdf6e3;
}

a {
  text-decoration: none;
  color: #cb4b16;
}
a:hover {
  text-decoration: underline;
  color: #b58900;
}

h1 {
  font-family: "Oswald";
  font-size: 20px;
}

h2 {
  font-family: "Oswald";
  font-size: 30px;
  text-decoration: underline;
}

h3 {
  font-size: 20px;
}

.infobox {
  width: 800px;
  background-color: #cb4b16;
  padding: 10px;
  margin: 10px;
}