h2 {border-bottom: #aaa 1px solid;border-top: #aaa 1px solid;background-color: #eee;}

#contents {
  float: right;
  border: dotted #aaa 1px;
  padding: 5px;
  padding-top: 0;
}
#contents>h2 {
  border: 0;
  margin:0;
}

code {font-weight: bold;}
a>code {font-weight: normal;}
pre {
  margin: 0 0 5px 10pt;
  padding: 5px;
  border: dotted blue 1px;
}

table{border-collapse:collapse;}
td {border: #aaa solid 1px; padding: 3pt;}
td {vertical-align: top;}
td:first-child, tr:first-child {font-family: monospace;}
tr:first-child {font-weight: bold; text-align: center;}