body {
  background-color: #ccccff;
  max-width: 800px;
  line-height: 1.5em;
}
div.ver {
  font-style: italic;
}
h2 {
  border-style: none none solid solid;
  border-left: 16px solid #6666cc;
  border-bottom: 2px solid #6666cc;
  background-color: #ccccff;
  padding-left: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
}
p {
  margin-left: 10px;
}
h3 {
  margin-left: 10px;
}
div.src {
  border: 3px double #666666;
  padding: 4px;
  font-family: "Courier New",Courier,monospace;
  font-size: medium;
  margin-left: 10px;
  margin-right: 10px;
  background-color: #cccccc;
}