body {
	padding-left: 15ch;
	padding-right: 3ch;
}

.fl-right {
	float: right;
	margin-right: 1em;
	margin-left: 1em;
	margin-bottom: 1em;
	border-style: solid;
}

.toc {
	font-family: sans-serif;
	font-size: 110%;
	padding-left: 3em;
}