
body {
	font-family: Georgia, "Times New Roman", Times, serif;
}

p {
	max-width: 800px;
}

pre {
	background-color: silver;
	padding: 10px;
}
