/* CSS Document */

body {
	font-family:"Courier New", Courier, mono;
	font-size:12px;
	margin-left:20px;
}
h3 {
	font-size:15px;
	text-decoration:underline;
}
#nav ul {
	display:inline;
	margin:0;
	padding:0;
}
#nav ul li {
	display:inline;
}
#dates {
	margin-top:1ex;
}
#dates ul {
	display:inline;
	margin:0;
	padding:0;
}
#dates ul li {
	display:inline;
	margin-right:1em;
}
ol p {
	margin:0;
	padding:0;
}
ul p {
	margin:0;
	padding:0;
}
ol li ul li {
	margin-bottom:0;
}
ol li {
	margin-bottom:2ex;
}
div.notes ol li {
	margin-bottom:auto;
}
div.notes ol {
	margin:0;
}
div.notes p {
	margin:2ex 0 0 0;
	padding:0;
}
div.notes ul {
	margin:0;
}
#credits {
	float:right;
	font-size:10px;
	margin-top:.5ex;
}