.pgm {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
}
body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
}
pre {
	margin-left:10em;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	background-color: #CCC;
}
h1 {
	font-size: 24px;
	text-align:center;
}