body {
  padding: 1em;;
  margin: auto;
  max-width: 60em;
}

input {
  margin-top: 1em;
  width: 25em;
}

div.config {}

div.option-row-top {}

div.option-name {
  font-family: monospace;
  font-size: x-large;
}

div.option-type {
  font-style: italic;
}

div.option-default {
  font-family: monospace;
  font-size: large;
}

div.option-description {}