body {
	margin: 5% 30%;
	line-height: 1.4em;
}

header {
	text-align: center;
	padding-bottom: 0.6em;
}

header h1 {
	padding-top: 0;
}

header pre {
	line-height: 1.2em;
	font-size: 120%;
}

h1, h2, h3 {
	font-family: monospace;
	padding-top: 0.6em;
}

img {
	width: 20em;
}