body {
  background-color: white;
}

code {
  font-weight: bold;
}

div.code {
  white-space: pre;
  font: 9pt monospace;
}

div.example {
  padding: 1em;
}

div.box {
  border: solid thin;
  background: #eee;
}