body {
  font-family: "Arial";
  margin: 1em 5%;
  max-width: 80em;
}

pre {
  font-family: "Arial";
}

span.maintitle {
  font-weight: bold;
  font-size: 150%;
  color: #000;
}

span.heading {
  font-weight: bold;
  font-size: 125%;
  color: #000;
}

span.note {
  font-weight: bold;
}

span.action {
	color: #00f;
}

span.commandline {
  font-family: "Courier New";
	color: #f00;
}