body {
	margin: 15px auto;
	color: #111;
	padding: 0 10px;
}

@media (min-width: 800px) {
	body {
		max-width: 85%;
	}
}

tt {
	white-space: pre;
}