body { background-color: #ffffff; font-family: Georgia, serif; }
h1, h2 { font-family: Arial, sans-serif; color: #000099; }
h3 { color: #000099; font-style: italic; font-family: Arial, sans-serif; }
span.comment { color: #aa0000; }
var { font-style: italic; font-weight: bold; }

div.main-content {
  margin-left: 2em; width: 40em;
}
div.example-code {
/*
  width: 40em;
  background-color: #f4f4f4;
*/
  margin-left: 2em;
/*
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 1em;
  border-style: solid;
  border-width: 2px;
*/
}
div.note {
  margin-left: +2em;
  font-size: smaller;
}