body {
  background-color: #09343f;
  color: #b6b6b6;
  font-family: monospace;
  font-size: 12pt;
  margin: 1em;
}
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;
}
.dim {
  opacity: 0.25;
}
.padded {
  padding: 20px;
}
.top-rail {
  position: sticky;
  top: 0;
  left: 0;
  width: 100%;
  height: 0;
}
.scene-controls {
  position: relative;
  left: 150px;
}
svg {
  width: 800px;
}
th {
  text-align: left;
  padding: 10px;
}
td {
  background-color: #0c2025;
}
.edge > rect {
  fill: #216262 !important;
}
button {
  margin: 5px;
  margin-top: 1em;
  background-color: #c6f4ff;
  border-color: #b6b6b6;
  border-radius: 5px;
}
button:disabled {
  background-color: #2a535e;
  color: #919191;
}
label > input {
  margin-left: 1em;
}
label {
  font-family: monospace;
  font-weight: bold;
  font-size: smaller;
  color: #999999;
}
label > div {
  display: inline-block;
  min-width: 50px;
}
table {
  width: 100%;
}
form {
  min-width: 20em;
}
span.small {
  font-size: smaller;
}