body { color: black; background-color: white; background-repeat: no-repeat }
p { margin-top: 2ex; margin-bottom: 0 }
p.large { margin-top: 3ex; margin-bottom: 0 }
p.small { margin-top: 1ex; margin-bottom: 0 }
p.tiny { margin-top: 0.5ex; margin-bottom: 0 }
dl { margin-top: 0.5ex }
td { padding: 0 2ex 0 0 }    /* top, right, bottom, left */
td.tall { padding-top: 0.2ex }
td.tall2 { padding-top: 1ex }
td.tall3 { padding-top: 2ex }
td.indent { padding-left: 5ex }
td.indent2 { padding-left: 10ex }
.notop { margin-top: 0 }
/* table { margin-left: 2em } */
tbody { text-align: left; vertical-align: baseline }