figure {
	float: right;
	border: 1px solid lightgray;
	padding: 1em;
	margin-right: 0;
}

img.illustration {
	width:20em;
}

/*
dt {
	font-weight: bold;
}

dt::after {
	content: ":";
	font-weight: normal;
}
*/

table {
	border-collapse: collapse;
	margin-left: auto;
	margin-right: auto;
}

td {
	border: 1px solid black;
	padding: 0.2em;
}

span.var {
	font-style: italic;
}

span.var.const {
	font-variant: small-caps;
}

p {
	text-align: justify;
}

body {
	width: 70%;
	margin-left: auto;
	margin-right:auto;
	margin-bottom: 2em;
	margin-top: 2em;
}

h1, h2, .subtitle {
	text-align: center;
}