.preamble {
	font-style: italic;
	margin-left: 2em;
	margin-right:4em;
}
div.foreword p {
	white-space: pre;
	font-family: monospace;
	margin-left: 2em;
}
.contents a {
	text-decoration: none;
}
.contents a:hover {
	text-decoration: underline;
}
.contents ol {
	list-style-type: upper-roman;
}
.contents ol ol > li:first-child {
	margin-top: 1ex;
}
.contents ol ol > li:last-child {
	margin-bottom: 1ex;
}
.contents ol ol {
	list-style-type: disc;
}