#main h1 {
	margin: 0;
	margin-top: 0.5em;
	padding: 0.3ex 10px;
	font-size: 150%;
}
#main h2 { 
	margin: 0;
	margin-top: 1em;
	padding: 0.3ex 10px;
	font-size: 120%;
}
#main p, #main dl, #main ol, #main ul {
	margin: 0.6em 0;
	padding: 0 20px;
	max-width: 72ex;
}
#main pre {
	margin: 0.6em 0;
	padding: 0 20px;
}

#main dt {
	font-weight: bold;
}
#main dd {
	margin-left: 3ex; margin-bottom: 0.3em;
}
#main ol li {
	margin-left: 5ex; margin-bottom: 0.3em;
}
#main ul li {
	margin-left: 3ex; margin-bottom: 0.3em;
}

div.author { 
	margin-left: 60%;
	font-style: italic;
	font-size: 80%;
}