body {
	font-family: Arial, sans-serif;
	background-color: #fefefe;
	max-width: 100ch;
	margin: auto;
	padding: 0 20px 20px 20px;
}

p {
	line-height: 1.5em;
}

.menu {
	text-align: right;
	padding: 1em 0 0 0;
}

.menu-item {
	display: inline-block;
	font-size: larger;
	font-weight: bold;
	color: maroon;
	padding: 0 0 0 20px;
}

	
/* For nicely formatted code blocks. Based off go.googlesource.com */
pre {
	border: 1px solid #ddd;
	padding: 1em;
	background-color: #fafafa;
	overflow-x: auto;
}

/* remove the underline for hyperlinks */
a {
	text-decoration: none;
}