body {
  font-family: monospace;
  font-size: 120%;
  margin: 0;
}


header {
  position: sticky;
  top: 0;
  background-color: silver;
  text-align: right;
  padding: 5px 10px;
}

header button {
  font: inherit;
  color: inherit;
  background-color: transparent;
  border: 0;
  cursor: pointer;
}

header a {
  display: inline-block;
  font: inherit;
  font-size: 1.4em;
  color: inherit;
  text-decoration: none;
  padding: 0 4px;
  vertical-align: -0.1em;
}


main {
  padding: 20px;
}

h1 {
  margin: 0 0 1em 0; 
}


dl {
  display: table;
  margin: 0 0 1.5em 0;
  width: 100%;
}

div > dl {
  width: auto;
}

dl > div {
  display: table-row;
}

dt, dd {
  display: table-cell;
}

dt {
  white-space: nowrap;
  width: 20px;
  padding-right: 15px;
}

dt:after {
  content: ':';
}


ol {
  list-style-type: none;
  padding: 0;
  margin: 0;
}


input:not([type="checkbox"]):not([type="color"]) {
  font: inherit;
  width: 100%;
  box-sizing: border-box;
  margin: 2px 0;
}

input[type="checkbox"] {
  margin: 6px 0;
}

input[type="color"] {
  margin: 2px 0;
}