/* I suppose I should put more comments in here some day.
I confess some of the stuff I just copied, e.g. padding.
I am not sure it is really necessary.
*/

body{
	font-family: Arial, sans-serif;
	background: #dddddd;
	margin: 3em;
}

h1 {
	margin: 0;
	padding: 0;
	color: purple;
	line-height: 1.2em;
	border: 1pt solid #000000;
	background: #ffffff;
	text-align: center;
}

h2 {
	margin: 1.5em 0 0 0;
	padding: 0 0 0.3em 0;
	color: olive;
	line-height: 1.2em;
	text-align: center;
}	


pre {
	padding: 0.5em;
	font-family: courier, monospace;
	border: 1pt solid #C0C0C0;
	background: #F0F0F0;
	color: maroon;
}
tt {
	font-family: courier, monospace;
	color: maroon;
}

table
{
	margin-left: auto;
	margin-right: auto;
	margin-top: 1em;
	margin-bottom: 1em;
	border-width: 5px;
	border-style: outset;
	align: center;
}