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

code {
	font-family: "DejaVu Sans Mono", Consolas, monospace;
	font-size: 10pt;
}

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

.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;
}