caption {
  font-size: large;
  font-weight: bold;
  text-align: center;
}
table.hoci tr {
  vertical-align: top;
}
table.hoci th {
  padding: 2px 10px;
}
table.hoci td.section {
  padding: 2px 10px;
  border-top: 1px solid #ddd;
}
table.hoci td.section p {
  margin: 0;
  padding-left: 20px;
  font-size: 85%;
}
table.hoci td.tableno, table.hoci td.pageno {
  padding: 2px 10px;
  text-align: right;
  border-top: 1px solid #ddd;
}
ol {
  list-style-type: upper-alpha;
  margin-top: 0;
  margin-bottom: 0;
/*  font-size: 85%; */
}
ol ol {
  list-style-type: decimal;
  font-size: 100%;
}
div#site-content table li {
  font-size: 1em;
}
div.cover {
  float: right;
  border: 2px solid #630;
  width: 201px;
  height: 285px;
}
p.legal {
  margin-left: 2em;
  margin-right: 2em;
  border: 1px dotted #ccc;
  padding: 0.5em 1em;
  font-size: small;
}