table{
    vertical-align: top;
    border-collapse: collapse;
    height: 80%;
}
td {
    padding-left: 1ex;
    padding-right: 1ex;
    padding-top: 0ex;
    padding-bottom: 0ex;
    vertical-align: top;
}
h1 {
    padding: 1ex;
    margin: 0px;
}
h2 {
    margin-top: 0px;
}
.nobr { white-space: nowrap; }
table.outcomes, table.outcomes td, table.outcomes th {
    border: solid 1px black;
}
ul.incell {
    padding-left: 2ex;
}
.sparse {
    padding-bottom: 1ex
}
div.hr {
    border-top: solid 1px gray;
    margin-top: 2ex;
    padding-top: 1ex;
}
.toc {
    background-color: #eef;
}
div.head {
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
}
html, body {
    padding: 0px;
    margin: 0px;
    height: 100%;
    font-size: 14pt;
}
.bg {
    background: url(header-mini.jpg) no-repeat;
    padding: 0px;
    margin: 0px;
}