body {
  line-height: 1.2;
}
div.contents {
  margin: 0px 10px;
}
div.command {
  background-color: #f0f0f0;
}
div.header {
  font-size: small;
}
pre {
  padding: 10px;
}