div {
  padding-top: 2px;
  padding-bottom: 2px;
}

.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 50%;
}

.header p {
  text-align: center;
}

.container {
  font-family: "Liberation Mono";
  font-style: normal;
  font-weight: 400;
  font-size: 12px;
  line-height: 13px;
  color: #757685;
}

.instrument-serif-regular {
  font-family: "Instrument Serif", serif;
  font-weight: 400;
  font-style: normal;
}

.instrument-serif-regular-italic {
  font-family: "Instrument Serif", serif;
  font-weight: 400;
  font-style: italic;
}

.body {
  display: -webkit-flex;
  display: flex;
  margin: 10px;
  padding: 10px;
}

.base {
  margin: 5px;
  padding: 5px;
}

.navbar {
  position: static;
  overflow: hidden;
  display: block;
}

.navbar a {
  float: left;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
  font-size: 15px;
}

.navbar a:hover {
  background-color: #ddd;
  color: black;
}

.navbar a.active {
  background-color: #757685;
  color: white;
}

@media screen and (max-width: 600px) {
  .navbar a {
    float: none;
    display: block;
  }
}

body {
  display: block;
  margin: auto;
  background: #0e0e0e;
  padding: 50px;
}

a,
h1,
h2,
h3,
h4,
h5 {
  font-family: "Instrument Serif", serif;
  font-weight: 400;
  font-style: normal;
  color: #757685;
}
p {
  font-family: "Liberation Mono";
  font-style: normal;
  font-weight: 400;
  font-size: 12px;
  line-height: 13px;
  color: #757685;
}

table {
  font-family: "Instrument Serif", serif;
  font-weight: 400;
  font-style: normal;
}

th,
td {
  font-family: "Liberation Mono";
  font-style: normal;
  font-weight: 400;
  font-size: 12px;
  line-height: 13px;
  color: #757685;
  text-align: left;
  padding-right: 10px;
}

th.dotted {
  border-style: dotted;
  border-color: #757685;
}

tr {
  padding-bottom: 15px;
}

li {
  font-family: "Liberation Mono";
  font-style: normal;
  font-weight: 400;
  font-size: 12px;
  line-height: 13px;
  color: #757685;
}

a {
  font-family: "Liberation Mono";
  font-style: normal;
  font-weight: 400;
  font-size: 12px;
  line-height: 13px;
}

a:hover {
  color: #000000;
}

a:visited {
  color: #2471a3;
}

ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  width: 200px;
}

li a {
  display: block;
  text-decoration: none;
  padding: 2px 4px;
}

li a:hover {
  color: #000000;
}

body img {
  height: auto;
  max-width: 50%;
}

footer {
  margin: auto;
  padding: 9px;
}

footer img {
  display: inline-block;
  height: auto;
  max-width: 110px;
  padding: 2px;
}

@media screen and (max-width: 1440px) {
  .column.side,
  .column.middle {
    width: 100%;
  }
}