h1 { margin: 1ex 1ex 1ex 1ex; font-size: 18px; }
h2 { border-bottom: solid 1px; padding-bottom: 1ex; font-size: 18px; }
h3, h4, h5, h6 { margin: 0; font-size: 16px; }
p { margin: 0 0 1.5em 0; }
.board, .board:link { text-decoration: underline; }
.board:visited, .board:hover { text-decoration: underline; }
div.footer { padding: 3pt; text-align: center; }
#menu { line-height: 1; }
#menu p { margin: 0 0 1em 0; line-height: 2; }
table#reference1, table#reference2 { border: 1px solid; }
table#reference1 td, table#reference2 td { border: 1px solid; font-size: x-small; vertical-align: top; }
table#reference1 th, table#reference2 th { font-size: x-small; }
ol { margin-bottom: 2ex; margin-top: 3ex; list-style-type: square; font-weight: bold; }
ol.la { margin: 0 0 2ex 4ex; list-style-type: circle; font-weight: normal; }