body {
	font-family: "Helvetica Neue", Helvetica;
	font-size: 11.5pt;
	margin: auto;
	padding: 1em;
	padding-stop: 0.25em;
	max-width: 80ch;
}

footer {
	color: #333;
	font-size: 9pt;
}

.sourceCode {
	font-size: 10pt;
}

.navbar ul {
	display: inline-flex;
	flex-wrap: wrap;
	list-style-type: none;
	margin: 0;
	padding: 0;
}

.navbar ul li {
	display: list-item;
	padding: 6px;
}

.navbar ul li:hover {
	background-color: #eeeeee;
}