body {
  background-color: #09343f;
  color: #b6b6b6;
  font-family: monospace;
  font-size: 8pt;
}
a {
  color: #c6f4ff;
}
a:visited {
  color: #85b7c3;
}
.box {
  width: fit-content;
}
.box .name {
  width: 15em;
  font-weight: bold;
  text-align: right;
  margin-right: 6pt;
}
.box .value {
  width: fit-content;
}
.flex {
  display: flex;
}
.monospace {
  font-family: monospace;
  font-size: 8pt;
}
svg {
  width: 800px;
}