body {
	font-size: 12pt;
	font-family: monospace;
}

h1 {
	width: 100%;
	text-align: center;
}

pre * {
	line-height: 18pt;	
}

a {
	color: #4D90FE;
	text-decoration: none;
}

a:link {
}

a:visited {
}

a:hover {
	color: blueviolet;
}

a:active {

}
