body {
  margin: 0;
  background-color: black;
  font-family: sans-serif;
  color: white;
}

/* section {} */

/* h1 {} */

/* dl {} */
/* dd {} */
/* dt {} */

/* pre {} */

#properties, #headers, #body { display: none; }