@font-face {
  font-family: JetBrainsMono;
  src: url('fonts/JetBrainsMono-Regular.woff2');
  font-weight: normal;
}

@font-face {
  font-family: JetBrainsMono;
  src: url('fonts/JetBrainsMono-Bold.woff2');
  font-weight: bold;
}

body {
  background-color: #F0F8FF;
  color: #1D3C69;
  display: flex;
  flex-direction: column;
  font-family: "JetBrainsMono";
  margin: 0;
  padding: 0;
}

nav {
  background-color: #1D3C69;
  border-bottom: solid black 1px;
  padding: 1vw 0 1vw 0;
}

nav ol {
  list-style-type: none;
  padding: 0;
}

nav ol li {
  display: inline-block;
  font-size: 1.5vw;
  padding-left: 1.5vw;
}

nav ol li:first-child {
  padding-left: 5vw;
}

nav ol li a {
  color: #F0F8FF;
  font-weight: bold;
}

main {
  font-size: 4vw;
  font-weight: bold;
  padding-left: 5vw;
  margin-top: 10vh;
}

main ol.tech li {
  list-style-type: square;
  padding: 1vw 0;
}