body { font-size: 76%; font-family: verdana, arial, helvetica, sans-serif; margin: 1em; }
h1 { line-height: 1em; font-size: 180%; }
h2 { font-size: 140%; }
table { font-size: 100%; border-collapse: collapse; }
tr { vertical-align: top }
dl { font-size:80%; line-height: 1.1; }
dt { font-weight: bold; }
#top {
  border-top: solid 10px #822;
  border-bottom: solid 4px #822;
}
#top td {
  padding: 2ex;
  border-right: dotted 1px #822;
  border-left: dotted 1px #822;
  line-height: 1.6;
}