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