body {
  max-width: 52em;
  font-family: "Inria Sans";
}

table {
  table-layout: fixed;
  border-top: 1px solid;
  border-bottom: 1px solid;
}

td {
  padding: 0.3em 1em 0.3em 0em;
}

pre {
  background-color: WhiteSmoke;
  font-family: "Overpass Mono";
}

li > p {
  margin: 0px;
}

img {
  max-width: 52em;
}

ul.navigation {
  display: flex;
  list-style: none;
  padding-left: 0px;
  font-size: large;
  background-color: AliceBlue;
}