body {
  text-align: center;
  margin: 0ex;
  padding: 0ex;
}
div.main {
  display: inline-block;
  max-width: 80ex;
  text-align: left;
  margin: 2ex 0ex;
  padding: 1ex;
  line-height: 140%;
}
h1 { font-size: 130%; }
h2 { font-size: 120%; }
h3 { font-size: 110%; }
div.image {
  float: right;
  margin: 1ex 1ex;
}
dl dt {
  margin-top: 1ex;
  margin-left: 1ex;
}
dl dd {
  margin-left: 3ex;
}
table {
  margin-left: 1.5ex;
  border: none;
  border-collapse: collapse;
}
table th,table td {
  padding: 0.1ex 0.5ex;
  border: 1px solid #888888;
  font-size: 95%;
}