.box {
  /* border: 1px #eee solid; */
  width: fit-content;
  font-family: sans-serif;
  font-size: 12pt;
}
.box .name {
  width: 12em;
  font-weight: bold;
  text-align: right;
  margin-right: 6pt;
}
.box .value {
  width: fit-content;
  /* border: 0px; */
}
.flex {
  display: flex;
}
.monospace {
  /* border: 0px; */
  font-family: monospace;
  font-size: 11pt;
}