body {
	font-size: small;
}

h1 {
	font-family: serif;
	font-weight: bold;
	font-size: medium;
	text-align: center;
	vertical-align: middle;
	color: #0000C0;
}

h1.subtitle {
	font-weight: normal;
	font-size: small;
	color: #0000FF;
}

h2 {
	font-weight: bold;
	font-size: medium;
	font-variant: small-caps;
	text-align: center;
	margin-top: 10px;
	margin-bottom: 10px;
}

li {
	margin-left: -2em;
}

hr {
	margin-top: 10px;
	margin-bottom: 10px;
}

dt {
	font-weight: bold;
}

dd {
	margin-left: 0px;
}

.medium {
	font-size: medium;
}

p.tailer {
	font-size: small;
}

span {
	font-family: monospace;
}