body {
	max-width: 1024px;
	margin-left: 30px;
	margin-right: 30px;
}

pre {
	border: thin #888 solid;
	margin-left: 25px;
	padding: 4px 4px 4px 4px;
}

h1 { text-align: center }

h2 { text-decoration: underline }

h3 { margin-left: 10px; }