body {
	padding: 0.25rem;

	/* Fixes incorrect font sizing on headers/footers for mobile devices. */
	-webkit-text-size-adjust: 100%;
	text-size-adjust: 100%;
}

p {
	max-width: 56ch;
}

table {
	border-spacing: 1ch 0;
	margin: -1ch;
}

th.indexcolname {
	min-width: 20ch;
}

td.indexcolsize {
	text-align: right;
}