#main h2 {
	font-size: 20px;
	font-weight: bold;
	border-left: 8px solid gray;
	padding: 0 0 0 5px;
	margin: 2px 0 10px 0;
}

#main h3 {
	font-size: 120%;
	font-weight: bold;
	margin: 0 0 8px 5px;
	border-bottom: 1px dashed gray;
}

#main pre {
	margin: 0 0 12px 12px;
	font-size: 110%;
}

#main img {
	margin: 0 0 6px 12px;
	border: 1px solid black;
}

#main dl {
	margin: 0 0 5px 12px;
	font-size: 110%;
}

#main dt span {
	font-weight: bold;
}

#main dd {
	margin: 0 0 10px 20px;
}

#main p {
	margin: 0 0 10px 12px;
}