body {
	margin: 30px 10% 20px 10%;
	font-family: helvetica, arial;
	font-size: 12pt;
}

pre {
	font-family: courier;
	font-size: 10pt;
	display: block;
	background: lightgray;
	margin-top: 10px;
	margin-bottom: 10px;
	margin-left: 5px;
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
}

tt {
	font-size: 10pt;
}

.title {
	text-align: center;
	font-size: 50px;
	margin-bottom: 50px;
}

.title a {
	text-decoration: none;
	color: black;
}

.footer a {
	text-decoration: none;
	color: black;
}