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