html {
	margin: 0 auto;
	max-width: 50em;
	font-family: Helvetica;
	font-size: 12pt;
}
h3 {
	margin: 1em 0 1ex 0;
}
p {
	margin: 1ex 0 1ex 0;
}
.figure {
	margin: 0 1em 0 1em;
	border: solid black 1px;
}
.caption {
	margin-left: 1em;
}
.label {
	color: darkred;
	padding-right: 0.5em;
}
.phantom {
	visibility: hidden;
}