#maincontent {
	/* 
    width: 730px;
	overflow: auto;
     */
}


#maincontent h1 {
	margin: 1ex 1ex 1ex 1ex;
	font-size: 16px;
}

#maincontent h2 {
	border-bottom: solid 1px;
	padding-bottom: 1ex;
	font-size: 16px;
}

#maincontent h3, #maincontent h4, #maincontent h5, #maincontent h6 {
	margin: 0;
	font-size: 14px;
}

#maincontent p {
	margin: 0 0 1.5em 0;
}

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;
}

#maincontent ol {
	margin-bottom: 2ex;
	margin-top: 3ex;
	list-style-type: square;
	font-weight: bold;
}

#maincontent ol.la {
	margin: 0 0 2ex 4ex;
	list-style-type: circle;
	font-weight: normal;
}

#maincontent .board, #maincontent .board:link, #maincontent .board:visited, #maincontent .board:hover {
	text-decoration: underline;
}